]> andersk Git - splint.git/commitdiff
Put .c and .expect files for new test cases into the extra dist in test/Makefile...
authordrl7x <drl7x>
Mon, 11 Feb 2002 20:04:18 +0000 (20:04 +0000)
committerdrl7x <drl7x>
Mon, 11 Feb 2002 20:04:18 +0000 (20:04 +0000)
Include index.html in release tar balls.

Makefile.am
Makefile.in
src/Makefile.in
test/Makefile
test/Makefile.am
test/Makefile.in
test/null6.lcd
test/tests2.5/newlint.lcd

index f4ea95c122aa4c25f886ea59f0f6ede5b7f3c507..0dffad866d34673ef42e71c77ee8333f93f52ad8 100644 (file)
@@ -48,7 +48,7 @@ Makefile.binary.in:Makefile.binary.am
 $(binaryDir)/Makefile.in: $(binaryDir)/Makefile.am
        -automake $(binaryDir)/Makefile
 
-EXTRA_DIST = $(binaryfixscript) $(binaryBuiltFiles) $(binaryDerivedFiles) $(binaryDirFiles)
+EXTRA_DIST = $(binaryfixscript) $(binaryBuiltFiles) $(binaryDerivedFiles) $(binaryDirFiles) install.html
 
 preDist:  $(binaryDir)/Makefile.in  $(binaryDerivedFiles) 
 
index 080bb3efb28d256b9fe01b14cc7244f524661815..ece7f17419056c97f890273925490a4742aa9e74 100644 (file)
@@ -99,7 +99,7 @@ binaryBuiltFiles = Makefile.binary.am configure.binary.ac
 #without the bleeding edge versions of automake and autoconf
 binaryDerivedFiles = Makefile.binary.in configure.binary
 
-EXTRA_DIST = $(binaryfixscript) $(binaryBuiltFiles) $(binaryDerivedFiles) $(binaryDirFiles)
+EXTRA_DIST = $(binaryfixscript) $(binaryBuiltFiles) $(binaryDerivedFiles) $(binaryDirFiles) install.html
 subdir = .
 ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
 mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
@@ -111,10 +111,10 @@ RECURSIVE_TARGETS = info-recursive dvi-recursive install-info-recursive \
        uninstall-info-recursive all-recursive install-data-recursive \
        install-exec-recursive installdirs-recursive install-recursive \
        uninstall-recursive check-recursive installcheck-recursive
-DIST_COMMON = README ./stamp-h.in Makefile.am Makefile.in acinclude.m4 \
-       aclocal.m4 config.hin config/config.guess config/config.sub \
-       config/depcomp config/install-sh config/missing \
-       config/mkinstalldirs configure configure.ac
+DIST_COMMON = README ./stamp-h.in ChangeLog Makefile.am Makefile.in \
+       acinclude.m4 aclocal.m4 config.hin config/config.guess \
+       config/config.sub config/depcomp config/install-sh \
+       config/missing config/mkinstalldirs configure configure.ac
 DIST_SUBDIRS = $(SUBDIRS)
 all: config.h
        $(MAKE) $(AM_MAKEFLAGS) all-recursive
index 7f4070a44b00fed42352c52212bff6293afb1e32..7cd206af97b63edd53a777fd1373cfab14cbd8a3 100644 (file)
@@ -581,7 +581,7 @@ CCLD = $(CC)
 LINK = $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
 CFLAGS = @CFLAGS@
 DIST_SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
-DIST_COMMON = ChangeLog Makefile.am Makefile.in
+DIST_COMMON = Makefile.am Makefile.in
 SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
 
 all: $(BUILT_SOURCES)
index 6b37f5c965cc9b261e0d0cdacfe2355c19d20d1a..6345bd035d2f544824f6a4ee90a5827fa117bf25 100644 (file)
@@ -80,7 +80,7 @@ MV = mv
 OBJEXT = o
 PACKAGE = splint
 RM = rm
-VERSION = 3.0.1.5
+VERSION = 3.0.1.6
 am__include = include
 am__quote = 
 install_sh = /net/af9/drl7x/reTmp/LCLintDev/config/install-sh
@@ -116,12 +116,12 @@ UNITTESTS = \
   abstptr abstract alias alttypes ansireserved argorder \
   args arraydims blocks break cases cast charlit clauses commentchar compdestroy \
   constannot controldepth csyntax czechnames czechoslovaknames deadparam \
-  decl enum exports external fields flags forbody format freearray \
+  decl divzero enum exports external fields flags forbody format freearray \
   funcpointer functionmacro glob globals impabstract info init inparam internal iter keep libs \
   linked lintcomments list loopexec \
   macros macrosef merge mergenull modifies modtest moduncon \
   mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \
-  postnotnull preds prefixes printflike rc refcounts release repexpose \
+  parentype postnotnull preds prefixes printflike rc refcounts release repexpose \
   returned sharing shifts slovaknames \
   specclauses \
   special stack staticarray strings \
@@ -775,7 +775,9 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs  \
                 ./manual/annotglobs.c  ./manual/bool.c  ./manual/bool.h  ./manual/clauses.c  ./manual/employee.h  ./manual/exposure.c  ./manual/globals.c  ./manual/ignore.c  ./manual/implicit.c  ./manual/intSet.h  ./manual/list.c  ./manual/loop.c  ./manual/macros.c  ./manual/modify.c  ./manual/mstring.c  ./manual/mstring.h  ./manual/mstringnn.c  ./manual/multiError.c  ./manual/names.c  ./manual/noeffect.c  ./manual/null.c  ./manual/only.c  ./manual/order.c  ./manual/palindrome.c  ./manual/palindrome.h  ./manual/refs.c  ./manual/returned.c  ./manual/rgb.c  ./manual/rstring.c  ./manual/rstring.h  ./manual/sample.c  ./manual/setChar.c  ./manual/setname.c  ./manual/setname.h  ./manual/special.c  ./manual/stack.c  ./manual/sumsquares.c  ./manual/switch.c  ./manual/testpal.c  ./manual/types.c  ./manual/unique.c  ./manual/usedef.c  ./manual/bounds.c \
                   arraydims.expect arraydims.c \
                   moreBufferTests2/fixedArrayType.c oldstyle2.c \
-                  stringliteral.expect  stringliteral.c
+                  divzero.expect parentype.expect \
+                  divzero.c parentype.c \
+stringliteral.expect  stringliteral.c
 
 subdir = test
 mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
@@ -1152,6 +1154,10 @@ decl:
        -$(SPLINTRN) decl.c +strict -exportlocal -expect 5
        -$(SPLINTR) decl2 -expect 4
 
+.PHONY: divzero
+divzero:
+       -$(SPLINTR) divzero.c -varuse -expect 0
+
 .PHONY: enum
 enum:
        -$(SPLINTR) enum -expect 16
@@ -1407,6 +1413,12 @@ outparam:
 .PHONY: postnotnull
 postnotnull:
        ${SPLINTR} postnotnull.c -expect 1
+
+### evans 2002-02-09: added parentype.c
+.PHONY: parentype
+parentype:
+       ${SPLINTR} parentype.c 
+
 #
 # Four new +fcnuse errors for -strict (evans 2001-07-22)
 # 
index 1c343c6a353a2380808050ef236348922b745b1f..86108be14da82a8a3a83b88c7b5b8273fdd00ea8 100644 (file)
@@ -1501,4 +1501,6 @@ EXTRA_DIST =  ./abst_t.lcl ./abst_t.lcs  \
                 ./manual/annotglobs.c  ./manual/bool.c  ./manual/bool.h  ./manual/clauses.c  ./manual/employee.h  ./manual/exposure.c  ./manual/globals.c  ./manual/ignore.c  ./manual/implicit.c  ./manual/intSet.h  ./manual/list.c  ./manual/loop.c  ./manual/macros.c  ./manual/modify.c  ./manual/mstring.c  ./manual/mstring.h  ./manual/mstringnn.c  ./manual/multiError.c  ./manual/names.c  ./manual/noeffect.c  ./manual/null.c  ./manual/only.c  ./manual/order.c  ./manual/palindrome.c  ./manual/palindrome.h  ./manual/refs.c  ./manual/returned.c  ./manual/rgb.c  ./manual/rstring.c  ./manual/rstring.h  ./manual/sample.c  ./manual/setChar.c  ./manual/setname.c  ./manual/setname.h  ./manual/special.c  ./manual/stack.c  ./manual/sumsquares.c  ./manual/switch.c  ./manual/testpal.c  ./manual/types.c  ./manual/unique.c  ./manual/usedef.c  ./manual/bounds.c \
                   arraydims.expect arraydims.c \
                   moreBufferTests2/fixedArrayType.c oldstyle2.c \
-                  stringliteral.expect  stringliteral.c
+                  divzero.expect parentype.expect \
+                  divzero.c parentype.c \
+stringliteral.expect  stringliteral.c
index 47302eda1a6b420b40ed3a83a05f43a49d398362..ce4acccb2e1d14069eb3357d87cc4c5de4981fe8 100644 (file)
@@ -775,7 +775,9 @@ EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs  \
                 ./manual/annotglobs.c  ./manual/bool.c  ./manual/bool.h  ./manual/clauses.c  ./manual/employee.h  ./manual/exposure.c  ./manual/globals.c  ./manual/ignore.c  ./manual/implicit.c  ./manual/intSet.h  ./manual/list.c  ./manual/loop.c  ./manual/macros.c  ./manual/modify.c  ./manual/mstring.c  ./manual/mstring.h  ./manual/mstringnn.c  ./manual/multiError.c  ./manual/names.c  ./manual/noeffect.c  ./manual/null.c  ./manual/only.c  ./manual/order.c  ./manual/palindrome.c  ./manual/palindrome.h  ./manual/refs.c  ./manual/returned.c  ./manual/rgb.c  ./manual/rstring.c  ./manual/rstring.h  ./manual/sample.c  ./manual/setChar.c  ./manual/setname.c  ./manual/setname.h  ./manual/special.c  ./manual/stack.c  ./manual/sumsquares.c  ./manual/switch.c  ./manual/testpal.c  ./manual/types.c  ./manual/unique.c  ./manual/usedef.c  ./manual/bounds.c \
                   arraydims.expect arraydims.c \
                   moreBufferTests2/fixedArrayType.c oldstyle2.c \
-                  stringliteral.expect  stringliteral.c
+                  divzero.expect parentype.expect \
+                  divzero.c parentype.c \
+stringliteral.expect  stringliteral.c
 
 subdir = test
 mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
index adba6a7285cfe8058e82945d7ec8700c19b0eda1..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644 (file)
-;;; Splint Library  null6.lcd
-;;Splint 3.0.1.5 --- 04 Feb 2002
-;;lib:299
-;;ctTable
-0 u-2 19 38
-0 p1|-2 20 39
-0 b-2 21 40
-0 p3|-2 22 41
-0 p4|-2 23 42
-0 p5|-2 24 43
-0 p6|-2 25 44
-0 p7|-2 26 45
-0 p8|-2 27 46
-0 p9|-2 28 47
-0 p10|-2 29 48
-0 p11|-2 30 49
-0 p12|-2 31 50
-0 p13|-2 32 51
-0 p14|-2 33 52
-0 p15|-2 34 53
-0 p16|-2 35 54
-0 p17|-2 36 55
-0 p18|-2 37 56
-1 t0|0 315 -1
-1 t1|1&
-1 t2|2&
-1 t3|3&
-1 t4|4 316 -1
-1 t5|5&
-1 t6|6&
-1 t7|7&
-1 t8|8&
-1 t9|9&
-1 t10|10&
-1 t11|11&
-1 t12|12&
-1 t13|13&
-1 t14|14&
-1 t15|15&
-1 t16|16&
-1 t17|17&
-1 t18|18&
-2 y0|0&
-2 y1|1&
-2 y2|2&
-2 y3|3&
-2 y4|4&
-2 y5|5&
-2 y6|6&
-2 y7|7&
-2 y8|8&
-2 y9|9&
-2 y10|10&
-2 y11|11&
-2 y12|12&
-2 y13|13&
-2 y14|14&
-2 y15|15&
-2 y16|16&
-2 y17|17&
-2 y18|18&
--2 ?!
-0 a0|&
-0 s10|&
-0 s11|&
-0 s12|&
-0 s25|&
-0 s26|&
-0 s27|&
-0 s28|-1 384 -1
-0 s29|&
-0 a30|-1 402 -1
-3 C0.5/20|!
-3 C0.68/2|!
-3 C0.2/5|!
-3 f0 (70|@7|$#,)!
-3 f1 (70|@7|$#,)!
-3 C0.4/3|!
-3 C0.5/73|!
-3 f0 (74|$#,)!
-3 f2 (74|$#,)!
-3 f70 (74|$#,)!
-3 f0 (74|$#,)!
-3 f2 (74|$#,)!
-3 f70 (74|$#,)!
-3 f0 (74|$#,)!
-3 f2 (74|$#,)!
-3 f70 (74|$#,)!
-3 f0 (74|$#,)!
-3 f2 (74|$#,)!
-3 f70 (74|$#,)!
-3 C0.2/5|!
-3 f0 (74|$#,)!
-3 f2 (74|$#,)!
-3 f87 (74|$#,)!
-3 C0.5/73|!
-3 f0 (91|$#,)!
-3 f2 (91|$#,)!
-3 f87 (91|$#,)!
-3 f0 (91|$#,)!
-3 f2 (91|$#,)!
-3 f87 (91|$#,)!
-3 f0 (91|$#,)!
-3 f2 (91|$#,)!
-3 f87 (91|$#,)!
-3 f0 (91|$#,)!
-3 f2 (91|$#,)!
-3 f87 (91|$#,)!
-3 C0.2/5|!
-3 f0 (91|$#,)!
-3 f2 (91|$#,)!
-3 f104 (91|$#,)!
-3 C0.5/73|!
-3 f0 (108|$#,)!
-3 f2 (108|$#,)!
-3 f104 (108|$#,)!
-3 C0.4/5|!
-3 f0 (108|$#,)!
-3 f4 (108|$#,)!
-3 f112 (108|$#,)!
-3 f0 (108|$#,)!
-3 f4 (108|$#,)!
-3 f112 (108|$#,)!
-3 Slconv{23|@1|0@0@3&#decimal_point,23|@1|0@0@3&#thousands_sep,23|@1|0@0@3&#grouping,23|@1|0@0@3&#int_curr_symbol,23|@1|0@0@3&#currency_symbol,23|@1|0@0@3&#mon_decimal_point,23|@1|0@0@3&#mon_thousands_sep,23|@1|0@0@3&#mon_grouping,23|@1|0@0@3&#positive_sign,23|@1|0@0@3&#negative_sign,4|@1|$#int_frac_digits,4|@1|$#frac_digits,4|@1|$#p_cs_precedes,4|@1|$#p_sep_by_space,4|@1|$#n_cs_precedes,4|@1|$#n_sep_by_space,4|@1|$#p_sign_posn,4|@1|$#n_sign_posn,}!
-0 s47|-1 126 -1
-3 f0 (5|$#,23|0@5@7&#,)!
-3 f19 (5|$#,23|0@5@7&#,)!
-3 f23 (5|$#,23|0@5@7&#,)!
-3 f0 ()!
-3 f19 ()!
-1 t120|120&
-3 f126 ()!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,17|$#,)!
-3 f17 (17|$#,17|$#,)!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,5|$#,)!
-3 f17 (17|$#,5|$#,)!
-3 f0 (17|$#,24|4@0@7&#,)!
-3 f17 (17|$#,24|4@0@7&#,)!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,17|$#,)!
-3 f17 (17|$#,17|$#,)!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,)!
-3 f17 (17|$#,)!
-3 f0 (17|$#,36|4@0@7&#,)!
-3 f17 (17|$#,36|4@0@7&#,)!
-3 f0 (17|$#,17|$#,)!
-3 f17 (17|$#,17|$#,)!
-0 a125|&
-3 f0 (172|4@0@7&#,)!
-3 f5 (172|4@0@7&#,)!
-3 f0 (172|$#,5|$#,)!
-3 f1 (172|$#,5|$#,)!
-0 s134|&
-3 ?!
-3 f178 (5|$#,)!
-3 f1 (5|$#,)^181
-1 t180|180&
-3 ?!
-3 f182 (5|$#,)!
-3 f1 (5|$#,)^185
-1 t184|184&
-3 ?!
-3 f186 (5|$#,)!
-3 f1 (5|$#,)^189
-1 t188|188&
-3 ?!
-3 f190 (5|$#,)!
-3 f1 (5|$#,)^193
-1 t192|192&
-3 f0 (5|$#,193|0@5@7&#,)!
-3 f19 (5|$#,193|0@5@7&#,)^196
-1 t195|195&
-3 ?!
-3 f197 (5|$#,)!
-3 f19 (5|$#,)!
-3 f1 (5|$#,193|0@5@7&#,)!
-3 f1 (5|$#,)!
-3 f201 (5|$#,193|0@5@7&#,)!
-3 f0 (5|$#,)!
-3 f5 (5|$#,)!
-0 a140|&
-3 f0 (205|4@0@7&#,!.,)!
-3 f1 (205|4@0@7&#,!.,)!
-3 f0 (205|$#,)!
-3 f1 (205|$#,)!
-0 a143|-1 212 -1
-0 a144|-1 290 -1
-1 t210|210&
-3 f0 (23|$#,)!
-3 f5 (23|$#,)!
-3 f0 (23|$#,23|$#,)!
-3 f5 (23|$#,23|$#,)!
-3 f0 ()!
-3 f19 ()!
-3 f212 ()!
-3 f0 (23|@5|4@5@7&#,)!
-3 f19 (23|@5|4@5@7&#,)!
-3 f23 (23|@5|4@5@7&#,)!
-3 f0 (212|$#,)!
-3 f5 (212|$#,)!
-3 f0 (212|0@5@7&#,)!
-3 f5 (212|0@5@7&#,)!
-3 f0 (23|$#,23|$#,)!
-3 f19 (23|$#,23|$#,)!
-3 f212 (23|$#,23|$#,)!
-3 f0 (23|$#,23|$#,212|$#,)!
-3 f19 (23|$#,23|$#,212|$#,)!
-3 f212 (23|$#,23|$#,212|$#,)!
-3 f0 (212|$#,23|4@5@19@2@0#,)!
-3 f1 (212|$#,23|4@5@19@2@0#,)!
-3 f0 (212|$#,23|4@5@19@2@0#,5|$#,63|$#,)!
-3 f5 (212|$#,23|4@5@19@2@0#,5|$#,63|$#,)!
-3 C0.5/1|!
-3 f0 (212|$#,23|$#,!.,)!
-3 f5 (212|$#,23|$#,!.,)!
-3 f237 (212|$#,23|$#,!.,)!
-3 f0 (212|$#,23|$#,!.,)!
-3 f5 (212|$#,23|$#,!.,)!
-3 f0 (23|$#,!.,)!
-3 f5 (23|$#,!.,)!
-3 f237 (23|$#,!.,)!
-3 f0 (23|$#,!.,)!
-3 f5 (23|$#,!.,)!
-3 f0 (23|4@0@7&#,23|$#,!.,)!
-3 f5 (23|4@0@7&#,23|$#,!.,)!
-3 f237 (23|4@0@7&#,23|$#,!.,)!
-3 f0 (23|4@0@7&#,23|$#,!.,)!
-3 f5 (23|4@0@7&#,23|$#,!.,)!
-3 f0 (23|$#,205|$#,)!
-3 f5 (23|$#,205|$#,)!
-3 f0 (212|$#,23|$#,205|$#,)!
-3 f5 (212|$#,23|$#,205|$#,)!
-3 f0 (23|4@0@7&#,23|$#,205|$#,)!
-3 f5 (23|4@0@7&#,23|$#,205|$#,)!
-3 f0 (23|4@0@7&#,63|$#,23|$#,205|$#,)!
-3 f5 (23|4@0@7&#,63|$#,23|$#,205|$#,)!
-3 f0 (212|$#,)!
-3 f5 (212|$#,)!
-3 f0 (23|@5|4@0@7&#,5|$#,212|$#,)!
-3 f19 (23|@5|4@0@7&#,5|$#,212|$#,)!
-3 f23 (23|@5|4@0@7&#,5|$#,212|$#,)!
-3 C0.5/4|!
-3 f0 (266|$#,212|$#,)!
-3 f5 (266|$#,212|$#,)!
-3 f0 (23|$#,212|$#,)!
-3 f5 (23|$#,212|$#,)!
-3 f0 (212|@7|$#,)!
-3 f5 (212|@7|$#,)!
-3 f0 ()!
-3 f5 ()!
-3 f0 (23|4@0@7&#,)!
-3 f19 (23|4@0@7&#,)!
-3 f23 (23|4@0@7&#,)!
-3 f0 (266|$#,212|@7|$#,)!
-3 f5 (266|$#,212|@7|$#,)!
-3 f0 (266|$#,)!
-3 f5 (266|$#,)!
-3 f0 (23|$#,)!
-3 f5 (23|$#,)!
-3 f0 (266|$#,212|$#,)!
-3 f5 (266|$#,212|$#,)!
-3 f0 (20|4@0@7&#,63|$#,63|$#,212|$#,)!
-3 f63 (20|4@0@7&#,63|$#,63|$#,212|$#,)!
-3 f0 (20|$#,63|$#,63|$#,212|$#,)!
-3 f63 (20|$#,63|$#,63|$#,212|$#,)!
-1 t211|211&
-3 f0 (212|$#,290|4@0@7&#,)!
-3 f5 (212|$#,290|4@0@7&#,)!
-3 f0 (212|$#,9|$#,5|$#,)!
-3 f5 (212|$#,9|$#,5|$#,)!
-3 f0 (212|$#,290|$#,)!
-3 f5 (212|$#,290|$#,)!
-3 f0 (212|$#,)!
-3 f9 (212|$#,)!
-3 f0 (212|$#,)!
-3 f1 (212|$#,)!
-3 f0 (212|$#,)!
-3 f1 (212|$#,)!
-3 f0 (212|$#,)!
-3 f5 (212|$#,)!
-3 f0 (212|$#,)!
-3 f5 (212|$#,)!
-3 f0 (23|0@5@7&#,)!
-3 f1 (23|0@5@7&#,)!
-3 f0 (23|$#,)!
-3 f17 (23|$#,)!
-3 f0 (23|$#,)!
-3 f5 (23|$#,)!
-3 f0 (23|$#,)!
-3 f9 (23|$#,)!
-1 t19|19&
-1 t23|23&
-3 f0 (23|$#,316|4@5@7&#,)!
-3 f17 (23|$#,316|4@5@7&#,)!
-3 f0 (23|$#,316|4@5@7&#,5|$#,)!
-3 f9 (23|$#,316|4@5@7&#,5|$#,)!
-3 f0 (23|$#,316|4@5@7&#,5|$#,)!
-3 f10 (23|$#,316|4@5@7&#,5|$#,)!
-3 f0 ()!
-3 f5 ()!
-3 f0 (6|$#,)!
-3 f1 (6|$#,)!
-3 f0 (63|$#,63|$#,)!
-3 f19 (63|$#,63|$#,)!
-3 f20 (63|$#,63|$#,)!
-3 f0 (63|$#,)!
-3 f19 (63|$#,)!
-3 f20 (63|$#,)!
-3 f0 (20|@5|4@5@2&#,63|$#,)!
-3 f19 (20|@5|4@5@2&#,63|$#,)!
-3 f20 (20|@5|4@5@2&#,63|$#,)!
-3 f0 (20|4@5@2&#,)!
-3 f1 (20|4@5@2&#,)!
-3 f0 ()!
-3 f1 ()!
-3 f0 (5|$#,)!
-3 f1 (5|$#,)!
-3 ?!
-3 f342 ()!
-3 f1 ()^345
-1 t344|344&
-3 f0 (345|$#,)!
-3 f5 (345|$#,)!
-3 f0 (23|$#,)!
-3 f19 (23|$#,)!
-3 f23 (23|$#,)!
-3 f0 (23|0@5@7&#,)!
-3 f5 (23|0@5@7&#,)!
-3 ?!
-3 f353 (20|$#,20|$#,)!
-3 f5 (20|$#,20|$#,)^356
-1 t355|355&
-3 f0 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
-3 f19 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
-3 f20 (20|$#,20|$#,63|$#,63|$#,356|$#,)!
-3 ?!
-3 f360 (20|$#,20|$#,)!
-3 f5 (20|$#,20|$#,)^363
-1 t362|362&
-3 f0 (20|$#,63|$#,63|$#,363|$#,)!
-3 f1 (20|$#,63|$#,63|$#,363|$#,)!
-3 f0 (5|$#,)!
-3 f5 (5|$#,)!
-3 S!2{5|@1|$#quot,5|@1|$#rem,}!
-0 s223|&
-0 s224|&
-3 f0 (5|$#,5|$#,)!
-3 f370 (5|$#,5|$#,)!
-3 f0 (9|$#,)!
-3 f9 (9|$#,)!
-3 S!3{9|@1|$#quot,9|@1|$#rem,}!
-0 s227|&
-0 s228|&
-3 f0 (9|$#,9|$#,)!
-3 f377 (9|$#,9|$#,)!
-3 f0 (5|$#,)!
-3 f66 (5|$#,)!
-3 f0 (212|$#,)!
-3 f66 (212|$#,)!
-1 t65|65 466 -1
-3 f0 (384|@5|$#,5|$#,212|$#,)!
-3 f19 (384|@5|$#,5|$#,212|$#,)!
-3 f384 (384|@5|$#,5|$#,212|$#,)!
-3 f0 (65|$#,212|$#,)!
-3 f66 (65|$#,212|$#,)!
-3 f0 (384|$#,212|$#,)!
-3 f5 (384|$#,212|$#,)!
-3 f0 (212|$#,5|$#,)!
-3 f5 (212|$#,5|$#,)!
-3 f0 (212|$#,384|$#,!.,)!
-3 f5 (212|$#,384|$#,!.,)!
-3 f0 (212|$#,384|$#,!.,)!
-3 f5 (212|$#,384|$#,!.,)!
-3 f0 (212|@7|$#,)!
-3 f66 (212|@7|$#,)!
-3 f0 ()!
-3 f66 ()!
-1 t67|67&
-3 f0 (23|$#,63|$#,402|0@5@7&#,)!
-3 f63 (23|$#,63|$#,402|0@5@7&#,)!
-3 f0 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)!
-3 f63 (384|0@5@7&#,23|$#,63|$#,402|0@5@7&#,)!
-3 f0 (402|0@5@7&#,)!
-3 f5 (402|0@5@7&#,)!
-3 f0 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)!
-3 f63 (384|0@5@7&#,316|$#,63|$#,402|0@5@7&#,)!
-3 f0 (65|$#,212|@7|$#,)!
-3 f66 (65|$#,212|@7|$#,)!
-3 f0 (65|$#,)!
-3 f66 (65|$#,)!
-3 f0 (384|$#,63|$#,384|$#,!.,)!
-3 f5 (384|$#,63|$#,384|$#,!.,)!
-3 f0 (384|$#,384|$#,!.,)!
-3 f5 (384|$#,384|$#,!.,)!
-3 f0 (66|$#,212|$#,)!
-3 f66 (66|$#,212|$#,)!
-3 f0 (212|$#,384|$#,205|$#,)!
-3 f5 (212|$#,384|$#,205|$#,)!
-3 f0 (384|$#,63|$#,384|$#,205|$#,)!
-3 f5 (384|$#,63|$#,384|$#,205|$#,)!
-3 f0 (384|$#,205|$#,)!
-3 f5 (384|$#,205|$#,)!
-3 f0 (23|4@5@7&#,65|$#,402|0@5@7&#,)!
-3 f63 (23|4@5@7&#,65|$#,402|0@5@7&#,)!
-3 C0.1/384|!
-3 f0 (384|@5|4@0@9&#,384|$#,)!
-3 f1 (384|@5|4@0@9&#,384|$#,)!
-3 f429 (384|@5|4@0@9&#,384|$#,)!
-3 f0 (384|@5|$#,65|$#,)!
-3 f19 (384|@5|$#,65|$#,)!
-3 f384 (384|@5|$#,65|$#,)!
-3 f0 (384|$#,384|$#,)!
-3 f5 (384|$#,384|$#,)!
-3 f0 (384|$#,384|$#,)!
-3 f5 (384|$#,384|$#,)!
-3 f0 (384|@5|4@0@9&#,384|$#,)!
-3 f1 (384|@5|4@0@9&#,384|$#,)!
-3 f429 (384|@5|4@0@9&#,384|$#,)!
-3 f0 (384|$#,384|$#,)!
-3 f63 (384|$#,384|$#,)!
-0 s263|-1 446 -1
-1 t445|445&
-3 f0 (384|4@0@7&#,63|$#,384|$#,446|$#,)!
-3 f63 (384|4@0@7&#,63|$#,384|$#,446|$#,)!
-3 f0 (384|$#,)!
-3 f63 (384|$#,)!
-3 C0.1/384|!
-3 f0 (384|@5|4@0@9&#,384|$#,63|$#,)!
-3 f1 (384|@5|4@0@9&#,384|$#,63|$#,)!
-3 f451 (384|@5|4@0@9&#,384|$#,63|$#,)!
-3 f0 (384|$#,384|$#,63|$#,)!
-3 f5 (384|$#,384|$#,63|$#,)!
-3 f0 (384|@5|4@0@9&#,384|$#,63|$#,)!
-3 f1 (384|@5|4@0@9&#,384|$#,63|$#,)!
-3 f451 (384|@5|4@0@9&#,384|$#,63|$#,)!
-3 f0 (384|@5|$#,384|$#,)!
-3 f19 (384|@5|$#,384|$#,)!
-3 f384 (384|@5|$#,384|$#,)!
-3 f0 (384|@5|$#,65|$#,)!
-3 f19 (384|@5|$#,65|$#,)!
-3 f384 (384|@5|$#,65|$#,)!
-1 t384|384&
-3 f0 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)!
-3 f63 (23|0@5@7&#,466|$#,63|$#,402|0@5@7&#,)!
-3 f0 (384|$#,384|$#,)!
-3 f63 (384|$#,384|$#,)!
-3 f0 (384|$#,384|$#,)!
-3 f19 (384|$#,384|$#,)!
-3 f384 (384|$#,384|$#,)!
-3 f0 (384|$#,466|0@5@7&#,)!
-3 f17 (384|$#,466|0@5@7&#,)!
-3 f0 (384|0@5@7&#,384|$#,466|$#,)!
-3 f19 (384|0@5@7&#,384|$#,466|$#,)!
-3 f384 (384|0@5@7&#,384|$#,466|$#,)!
-3 f0 (384|$#,466|0@5@7&#,5|$#,)!
-3 f9 (384|$#,466|0@5@7&#,5|$#,)!
-3 f0 (384|$#,466|0@5@7&#,5|$#,)!
-3 f10 (384|$#,466|0@5@7&#,5|$#,)!
-3 f0 (384|0@5@7&#,384|$#,63|$#,)!
-3 f63 (384|0@5@7&#,384|$#,63|$#,)!
-3 f0 (66|$#,)!
-3 f5 (66|$#,)!
-3 f0 (384|$#,65|$#,63|$#,)!
-3 f19 (384|$#,65|$#,63|$#,)!
-3 f384 (384|$#,65|$#,63|$#,)!
-3 f0 (384|$#,384|$#,63|$#,)!
-3 f5 (384|$#,384|$#,63|$#,)!
-3 f0 (384|@5|$#,384|$#,63|$#,)!
-3 f19 (384|@5|$#,384|$#,63|$#,)!
-3 f384 (384|@5|$#,384|$#,63|$#,)!
-3 f0 (384|@5|$#,384|$#,63|$#,)!
-3 f19 (384|@5|$#,384|$#,63|$#,)!
-3 f384 (384|@5|$#,384|$#,63|$#,)!
-3 f0 (384|@5|$#,65|$#,63|$#,)!
-3 f19 (384|@5|$#,65|$#,63|$#,)!
-3 f384 (384|@5|$#,65|$#,63|$#,)!
-3 f0 (384|$#,!.,)!
-3 f5 (384|$#,!.,)!
-3 f0 (384|$#,!.,)!
-3 f5 (384|$#,!.,)!
-0 s287|&
-0 s288|&
-3 C0.2/5|!
-3 f0 (66|$#,)!
-3 f2 (66|$#,)!
-3 f507 (66|$#,)!
-3 f0 (66|$#,)!
-3 f2 (66|$#,)!
-3 f507 (66|$#,)!
-3 f0 (66|$#,)!
-3 f2 (66|$#,)!
-3 f507 (66|$#,)!
-3 f0 (66|$#,505|$#,)!
-3 f2 (66|$#,505|$#,)!
-3 f507 (66|$#,505|$#,)!
-3 f0 (66|$#,)!
-3 f2 (66|$#,)!
-3 f507 (66|$#,)!
-3 f0 (66|$#,)!
-3 f2 (66|$#,)!
-3 C0.2/5|!
-3 f525 (66|$#,)!
-3 f0 (66|$#,)!
-3 f2 (66|$#,)!
-3 f525 (66|$#,)!
-3 f0 (66|$#,)!
-3 f2 (66|$#,)!
-3 f525 (66|$#,)!
-3 f0 (66|$#,)!
-3 f2 (66|$#,)!
-3 f525 (66|$#,)!
-3 f0 (66|$#,)!
-3 f2 (66|$#,)!
-3 f525 (66|$#,)!
-3 f0 (66|$#,)!
-3 f2 (66|$#,)!
-3 f525 (66|$#,)!
-3 C0.2/5|!
-3 f0 (66|$#,)!
-3 f2 (66|$#,)!
-3 f542 (66|$#,)!
-3 C0.66/5|!
-3 f0 (66|$#,506|$#,)!
-3 f66 (66|$#,506|$#,)!
-3 f546 (66|$#,506|$#,)!
-3 f0 (66|$#,)!
-3 f66 (66|$#,)!
-3 f546 (66|$#,)!
-3 f0 (66|$#,)!
-3 f66 (66|$#,)!
-3 f546 (66|$#,)!
-3 f0 (23|$#,)!
-3 f506 (23|$#,)!
-3 f0 (23|$#,)!
-3 f505 (23|$#,)!
-3 f0 (23|$#,63|$#,)!
-3 f5 (23|$#,63|$#,)!
-3 f0 (384|0@5@7&#,23|0@5@7&#,63|$#,)!
-3 f5 (384|0@5@7&#,23|0@5@7&#,63|$#,)!
-3 f0 (23|4@5@7&#,65|$#,)!
-3 f5 (23|4@5@7&#,65|$#,)!
-3 f0 (384|4@0@7&#,23|$#,63|$#,)!
-3 f63 (384|4@0@7&#,23|$#,63|$#,)!
-3 f0 (23|4@0@7&#,384|$#,63|$#,)!
-3 f63 (23|4@0@7&#,384|$#,63|$#,)!
-3 C0.1/20|!
-3 f0 (20|@5|4@0@9&#,20|$#,63|$#,)!
-3 f1 (20|@5|4@0@9&#,20|$#,63|$#,)!
-3 f570 (20|@5|4@0@9&#,20|$#,63|$#,)!
-3 f0 (20|@5|4@0@7&#,20|$#,63|$#,)!
-3 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
-3 f570 (20|@5|4@0@7&#,20|$#,63|$#,)!
-3 C0.1/23|!
-3 f0 (23|@5|4@0@9&#,23|$#,)!
-3 f1 (23|@5|4@0@9&#,23|$#,)!
-3 f577 (23|@5|4@0@9&#,23|$#,)!
-3 f0 (23|@5|4@0@9&#,23|$#,63|$#,)!
-3 f1 (23|@5|4@0@9&#,23|$#,63|$#,)!
-3 f577 (23|@5|4@0@9&#,23|$#,63|$#,)!
-3 f0 (23|@5|0@0@9&#,23|$#,)!
-3 f1 (23|@5|0@0@9&#,23|$#,)!
-3 f577 (23|@5|0@0@9&#,23|$#,)!
-3 f0 (23|@5|0@0@9&#,23|$#,63|$#,)!
-3 f1 (23|@5|0@0@9&#,23|$#,63|$#,)!
-3 f577 (23|@5|0@0@9&#,23|$#,63|$#,)!
-3 f0 (20|$#,20|$#,63|$#,)!
-3 f5 (20|$#,20|$#,63|$#,)!
-3 f0 (23|$#,23|$#,)!
-3 f5 (23|$#,23|$#,)!
-3 f0 (23|$#,23|$#,)!
-3 f5 (23|$#,23|$#,)!
-3 f0 (23|$#,23|$#,63|$#,)!
-3 f5 (23|$#,23|$#,63|$#,)!
-3 f0 (23|4@5@7&#,23|$#,63|$#,)!
-3 f63 (23|4@5@7&#,23|$#,63|$#,)!
-3 f0 (20|$#,5|$#,63|$#,)!
-3 f19 (20|$#,5|$#,63|$#,)!
-3 f20 (20|$#,5|$#,63|$#,)!
-3 f0 (23|@5|$#,266|$#,)!
-3 f19 (23|@5|$#,266|$#,)!
-3 f23 (23|@5|$#,266|$#,)!
-3 f0 (23|$#,23|$#,)!
-3 f63 (23|$#,23|$#,)!
-3 f0 (23|@5|$#,23|$#,)!
-3 f19 (23|@5|$#,23|$#,)!
-3 f23 (23|@5|$#,23|$#,)!
-3 f0 (23|@5|$#,266|$#,)!
-3 f19 (23|@5|$#,266|$#,)!
-3 f23 (23|@5|$#,266|$#,)!
-3 f0 (23|$#,23|$#,)!
-3 f63 (23|$#,23|$#,)!
-3 f0 (23|@5|0@0@9&#,23|$#,)!
-3 f19 (23|@5|0@0@9&#,23|$#,)!
-3 f23 (23|@5|0@0@9&#,23|$#,)!
-3 f0 (23|@5|0@5@7&#,23|$#,)!
-3 f19 (23|@5|0@5@7&#,23|$#,)!
-3 f23 (23|@5|0@5@7&#,23|$#,)!
-3 C0.1/20|!
-3 f0 (20|@5|4@0@7&#,5|$#,63|$#,)!
-3 f1 (20|@5|4@0@7&#,5|$#,63|$#,)!
-3 f622 (20|@5|4@0@7&#,5|$#,63|$#,)!
-3 f0 (5|$#,)!
-3 f19 (5|$#,)!
-3 f23 (5|$#,)!
-3 f0 (23|$#,)!
-3 f63 (23|$#,)!
-0 s334|&
-0 s335|-1 640 -1
-3 Stm{5|@1|$#tm_sec,5|@1|$#tm_min,5|@1|$#tm_hour,5|@1|$#tm_mday,5|@1|$#tm_mon,5|@1|$#tm_year,5|@1|$#tm_wday,5|@1|$#tm_yday,5|@1|$#tm_isdst,}!
-3 f0 ()!
-3 f631 ()!
-3 f0 (632|$#,632|$#,)!
-3 f17 (632|$#,632|$#,)!
-3 f0 (446|$#,)!
-3 f632 (446|$#,)!
-1 t632|632&
-3 f0 (640|4@5@7&#,)!
-3 f632 (640|4@5@7&#,)!
-3 f0 (446|$#,)!
-3 f19 (446|$#,)!
-3 f23 (446|$#,)!
-3 f0 (640|$#,)!
-3 f19 (640|$#,)!
-3 f23 (640|$#,)!
-3 f0 (640|$#,)!
-3 f19 (640|$#,)!
-3 f446 (640|$#,)!
-3 f0 (640|$#,)!
-3 f19 (640|$#,)!
-3 f446 (640|$#,)!
-3 f0 (23|4@0@7&#,63|$#,23|$#,446|$#,)!
-3 f63 (23|4@0@7&#,63|$#,23|$#,446|$#,)!
-0 s345|&
-0 s346|&
-0 s347|&
-0 s348|&
-0 s349|&
-0 s350|&
-0 s351|&
-0 s352|&
-0 s353|&
-0 s354|&
-0 s355|&
-0 s356|&
-0 s357|&
-0 s358|&
-0 s359|&
-0 s360|&
-0 s361|&
-0 s362|&
-0 s363|&
-0 s364|&
-0 s365|&
-0 s366|&
-0 s367|&
-0 s368|&
-0 s369|&
-0 s370|&
-0 s371|&
-0 s372|&
-0 a411|&
-;;tistable
-0
-30
-30,125
-125
-30,125,140
-140
-30,125,140,143
-143
-30,125,140,143,144
-144
-411
-;;symTable
-*0 (Datatype)
-^0 2@+@-@0@0@0@0@2#lltX_bool
-*1 (Constant)
-^1 2@i0@0@6#FALSE
-^2 2@i1@0@0#TRUE
-*11 (GlobalMarker)
-*1 (Constant)
-^4 5$#__LINE__
-^5 23$#__DATE__#__FILE__#__BASE_FILE__
-^8 5$#__INCLUDE_LEVEL__
-^9 23$#__VERSION__
-*0 (Datatype)
-^10 13@-@-@0@0@0@0@59#__SIZE_TYPE__
-^11 13@-@-@0@0@0@0@60#__PTRDIFF_TYPE__
-^12 13@-@-@0@0@0@0@61#__WCHAR_TYPE__
-*1 (Constant)
-^13 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__
-^16 5$#S_SPLINT_S#__LCLINT__#__i686
-*3 (Variable)
-^19 212|@1|6@0@0@0@1#stdin#stdout
-*1 (Constant)
-^21 5$#EDOM#ERANGE#EILSEQ
-*3 (Variable)
-^24 5|@1|6@0@0@0@1#errno
-*0 (Datatype)
-^25 13@-@-@0@0@0@0@62#ptrdiff_t
-^26 14@-@-@0@0@0@0@63#size_t
-^27 15@-@-@0@0@0@0@64#ssize_t
-^28 13@-@-@0@0@0@0@65#wchar_t
-^29 13@-@-@0@0@0@0@66#wint_t
-^30 0@+@=@0@7@0@0@67#mbstate_t
-*1 (Constant)
-^31 0@i0@0@6#NULL
-^32 2$#NDEBUG
-*4 (Function)
-^33 72@6@0@8@0@0^$@0#assert
-^34 77$^$@0#isalnum
-^35 80$^$@0#isalpha
-^36 83$^$@0#iscntrl
-^37 86$^$@0#isdigit
-^38 90$^$@0#isgraph
-^39 94$^$@0#islower
-^40 97$^$@0#isprint
-^41 100$^$@0#ispunct
-^42 103$^$@0#isspace
-^43 107$^$@0#isupper
-^44 111$^$@0#isxdigit
-^45 115$^$@0#tolower
-^46 118$^$@0#toupper
-*7 (Struct tag)
-^47 119@120#@lconv
-*1 (Constant)
-^48 5$#LC_ALL#LC_COLLATE#LC_CTYPE#LC_MONETARY#LC_NUMERIC#LC_TIME
-*4 (Function)
-^54 123@6@5@1@0@0@0@s1,g24@6@0@1@s1,g24@19@3@0#setlocale
-^55 127$^@3@0@0#localeconv
-*3 (Variable)
-^56 5|@1|6@0@0@0@1#DBL_DIG
-^57 17|@1|6@0@0@0@1#DBL_EPSILON
-^58 5|@1|6@0@0@0@1#DBL_MANT_DIG
-^59 17|@1|6@0@0@0@1#DBL_MAX
-^60 5|@1|6@0@0@0@1#DBL_MAX_10_EXP#DBL_MAX_EXP
-^62 17|@1|6@0@0@0@1#DBL_MIN
-^63 5|@1|6@0@0@0@1#DBL_MIN_10_EXP#DBL_MIN_EXP#FLT_DIG
-^66 16|@1|6@0@0@0@1#FLT_EPSILON
-^67 5|@1|6@0@0@0@1#FLT_MANT_DIG
-^68 16|@1|6@0@0@0@1#FLT_MAX
-^69 5|@1|6@0@0@0@1#FLT_MAX_10_EXP#FLT_MAX_EXP
-^71 16|@1|6@0@0@0@1#FLT_MIN
-^72 5|@1|6@0@0@0@1#FLT_MIN_10_EXP#FLT_MIN_EXP
-*1 (Constant)
-^74 5$#FLT_RADIX
-*3 (Variable)
-^75 5|@1|6@0@0@0@1#FLT_ROUNDS#LDBL_DIG
-^77 18|@1|6@0@0@0@1#LDBL_EPSILON
-^78 5|@1|6@0@0@0@1#LDBL_MANT_DIG
-^79 18|@1|6@0@0@0@1#LDBL_MAX
-^80 5|@1|6@0@0@0@1#LDBL_MAX_10_EXP#LDBL_MAX_EXP
-^82 18|@1|6@0@0@0@1#LDBL_MIN
-^83 5|@1|6@0@0@0@1#LDBL_MIN_10_EXP#LDBL_MIN_EXP
-*1 (Constant)
-^85 5$#CHAR_BIT
-^86 4$#CHAR_MAX#CHAR_MIN
-^88 5$#INT_MAX#INT_MIN
-^90 9$#LONG_MAX#LONG_MIN#MB_LEN_MAX
-^93 4$#SCHAR_MAX#SCHAR_MIN
-^95 7$#SHRT_MAX#SHRT_MIN
-^97 3$#UCHAR_MAX#UCHAR_MIN
-^99 6$#UINT_MAX
-^100 10$#ULONG_MAX
-^101 8$#USHRT_MAX
-^102 17$#HUGE_VAL
-*4 (Function)
-^103 129$^$@0#sin
-^104 131$^$@0#cos
-^105 133$^$@0#tan
-^106 135$@0@g24@6@0@1@g24$@0#asin
-^107 137$@0@g24@6@0@1@g24$@0#acos
-^108 139$^$@0#atan
-^109 141$^$@0#atan2
-^110 143$^$@0#sinh
-^111 145$@0@g24@6@0@1@g24$@0#cosh
-^112 147$^$@0#tanh
-^113 149$@0@g24@6@0@1@g24$@0#exp
-^114 151$@0@g24@6@0@1@g24$@0#ldexp
-^115 153$@0@@1@tp1$@0#frexp
-^116 155$@0@g24@6@0@1@g24$@0#log
-^117 157$@0@g24@6@0@1@g24$@0#log10
-^118 159$@0@g24@6@0@1@g24$@0#pow
-^119 161$@0@g24@6@0@1@g24$@0#sqrt
-^120 163$^$@0#ceil
-^121 165$^$@0#floor
-^122 167$^$@0#fabs
-^123 169$@0@@1@tp1$@0#modf
-^124 171$^$@0#fmod
-*0 (Datatype)
-^125 20@+@+@0@0@0@0@172#jmp_buf
-*4 (Function)
-^126 174$@0@@1@p0$@0#setjmp
-^127 176@6@0@5@0@0^$@0#longjmp
-*1 (Constant)
-^128 5$#SIGABRT#SIGFPE#SIGILL#SIGINT#SIGSEGV#SIGTERM
-*0 (Datatype)
-^134 13@-@-@0@0@0@0@177#sig_atomic_t
-*1 (Constant)
-^135 181$#SIG_DFL
-^136 185$#SIG_ERR
-^137 189$#SIG_IGN
-*4 (Function)
-^138 202@6@5@1@0@0@0@s1,g24@6@0@1@s1,g24$@0#signal
-^139 204@6@0@5@0@0$$@0#raise
-*0 (Datatype)
-^140 20@+@+@0@0@0@0@205#va_list
-*4 (Function)
-^141 207$@0@@1@p0$@0#va_start
-^142 209$@0@@1@p0$@0#va_end
-*0 (Datatype)
-^143 20@+@+@0@0@0@0@210#FILE
-^144 20@+@+@0@0@0@0@211#fpos_t
-*1 (Constant)
-^145 5$#_IOFBF#_IOLBF#_IONBF#BUFSIZ#EOF#FOPEN_MAX#FILENAME_MAX#L_tmpnam#SEEK_CUR#SEEK_END#SEEK_SET#TMP_MAX
-*3 (Variable)
-^157 212|@1|6@0@0@0@1#stderr
-*4 (Function)
-^158 214$@0@s3,g24@6@0@1@s3,g24$@0#remove
-^159 216$@0@s3,g24@6@0@1@s3,g24$@0#rename
-^160 219@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
-^161 222$@0@s1@1@tp0,s1@19@3@0#tmpnam
-^162 224$@0@g24@6@0,s3@1@tp0,g24,s3$@0#fclose
-^163 226$@0@g24@6@0,s3@1@tp0,g24,s3$@0#fflush
-^164 229@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
-^165 232@6@5@1@0@0@0@s3,g24@6@0@1@tp2,s3,g24@3@0@0#freopen
-^166 234$@0@s3@1@s3,tp0,tp1$@0#setbuf
-^167 236$@0@s3@1@s3,tp0,tp1$@0#setvbuf
-^168 240@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
-^169 242@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
-^170 245@6@0@1@1@0@1@g20@6@0,s3@1@s3,tg20$@0#printf
-^171 247@6@0@1@2@0@1@g19@6@0,s3@1@s3,tg19$@0#scanf
-^172 250@6@0@1@1@0@0@@1@tp0$@0#sprintf
-^173 252@6@0@1@2@0^$@0#sscanf
-^174 254$@1@g20@6@0,s3@1@s3,tg20$@0#vprintf
-^175 256$@0@s3,g24@6@0@1@s3,tp0,p2,g24$@0#vfprintf
-^176 258$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
-^177 260$@0@@1@p0$@0#vsnprintf
-^178 262$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fgetc
-^179 265@6@5@1@0@0@0@s3,g24@6@0@1@s3,tp0,tp2,g24$@0#fgets
-^180 268$@0@s3,g24@6@0@1@s3,tp1,g24$@0#fputc
-^181 270$@0@s3@1@s3,tp1$@0#fputs
-^182 272$@0@s3@1@s3,tp0$@0#getc
-^183 274$@1@g19@6@0,s3@1@s3,tg19$@0#getchar
-^184 277@6@5@1@0@0@1@g19@6@0,s3,g24@6@0@1@s3,tp0,tg19,g24@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability.  Use fgets instead##gets
-^185 279$@0@s3@1@s3,tp1$@0#putc
-^186 281$@1@g20@6@0,s3@1@s3,tg20$@0#putchar
-^187 283$@1@g20@6@0,s3@1@s3,tg20$@0#puts
-^188 285$@0@s3,g24@6@0@1@s3,tp1,g24$@0#ungetc
-^189 287$@0@s3,g24@6@0@1@s3,tp0,tp3,g24$@0#fread
-^190 289$@0@s3,g24@6@0@1@s3,tp3,g24$@0#fwrite
-^191 292$@0@g24@6@0@1@tp1,g24$@0#fgetpos
-^192 294$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fseek
-^193 296$@0@s3,g24@6@0@1@s3,tp0,g24$@0#fsetpos
-^194 298$@0@g24@6@0@1@g24$@0#ftell
-^195 300$@0@@1@tp0$@0#rewind
-^196 302$@0@@1@tp0$@0#clearerr
-^197 304$@0@g24@6@0@1@g24$@0#feof
-^198 306$@0@g24@6@0@1@g24$@0#ferror
-^199 308$@1@g24@6@0,g157@6@0,s3@1@s3,tg157$@0#perror
-^200 310$^$@0#atof
-^201 312$^$@0#atoi
-^202 314$^$@0#atol
-^203 318$@0@g24@6@0@1@tp1,g24$@0#strtod
-^204 320$@0@g24@6@0@1@tp1,g24$@0#strtol
-^205 322$@0@g24@6@0@1@tp1,g24$@0#strtoul
-*1 (Constant)
-^206 5$#RAND_MAX
-*4 (Function)
-^207 324$@0@s1@1@s1$@0#rand
-^208 326$@0@s1@1@s1$@0#srand
-^209 329@6@5@1@0@0^@2@0@0#calloc
-^210 332@4@5@1@0@0^@2@0@0#malloc
-^211 335@6@5@1@0@0@0@@1@tp0@2@0@0#realloc
-^212 337$@0@@1@p0$@0#free
-*1 (Constant)
-^213 5$#EXIT_FAILURE#EXIT_SUCCESS
-*4 (Function)
-^215 339@6@0@6@0@0^$@0#abort
-^216 341@6@0@6@0@0^$@0#exit
-^217 347$@0@s1@1@s1$@0#atexit
-^218 350@6@5@1@0@0^@19@3@0#getenv
-^219 352$@0@s3@1@s3$@0#system
-^220 359@6@5@1@0@0^@18@0@0#bsearch
-^221 365$@0@g24@6@0@1@tp0,g24$@0#qsort
-^222 367$^$@0#abs
-*7 (Struct tag)
-^223 368@369#@!2
-*0 (Datatype)
-^224 368@-@-@0@0@0@0@370#div_t
-*4 (Function)
-^225 372$^$@0#div
-^226 374$^$@0#labs
-*7 (Struct tag)
-^227 375@376#@!3
-*0 (Datatype)
-^228 375@-@-@0@0@0@0@377#ldiv_t
-*4 (Function)
-^229 379$^$@0#ldiv
-*1 (Constant)
-^230 63$#MB_CUR_MAX
-^231 5$#WCHAR_MAX#WCHAR_MIN
-^233 66$#WEOF
-*4 (Function)
-^234 381$^$@0#btowc
-^235 383$@0@s3@1@s3,tp0$@0#fgetwc
-^236 387@6@5@1@0@0@0@s3@1@s3,tp0,tp2$@0#fgetws
-^237 389$@0@s3@1@s3,tp1$@0#fputwc
-^238 391$@0@s3@1@s3,tp1$@0#fputws
-^239 393$^$@0#fwide
-^240 395@6@0@1@1@0@0@s3@1@tp0,s3$@0#fwprintf
-^241 397@6@0@1@2@0@0@s3@1@tp0,s3$@0#fwscanf
-^242 399$@0@s3@1@s3,tp0$@0#getwc
-^243 401$@0@s3,g19@6@0@1@s3,tg19$@0#getwchar
-^244 404$^$@0#mbrlen
-^245 406$@0@@1@tp0$@0#mbrtowc
-^246 408$^$@0#mbsinit
-^247 410$@0@@1@tp0$@0#mbsrtowcs
-^248 412$@0@s3@1@s3,tp1$@0#putwc
-^249 414$@0@s3,g20@6@0@1@s3,tg20$@0#putwchar
-^250 416@6@0@1@1@0@0@@1@tp0$@0#swprintf
-^251 418@6@0@1@2@0@0@g19@6@0@1@tg19$@0#swscanf
-^252 420$@0@s3@1@s3,tp1$@0#ungetwc
-^253 422$@0@s3@1@s3,tp0$@0#vfwprintf
-^254 424$@0@@1@tp0$@0#vswprintf
-^255 426$@0@s3,g20@6@0@1@s3,tg20$@0#vwprintf
-^256 428$@0@@1@tp0$@0#wcrtomb
-^257 432$@0@@1@tp0$@0#wcscat
-^258 435@6@5@1@0@0^@19@2@0#wcschr
-^259 437$^$@0#wcscmp
-^260 439$^$@0#wcscoll
-^261 442$@0@@1@tp0$@0#wcscpy
-^262 444$^$@0#wcscspn
-*7 (Struct tag)
-^263 633@445#@tm
-*4 (Function)
-^264 448$@0@@1@tp0$@0#wcsftime
-^265 450$^$@0#wcslen
-^266 454$@0@@1@tp0$@0#wcsncat
-^267 456$^$@0#wcsncmp
-^268 459$@0@@1@tp0$@0#wcsncpy
-^269 462@6@5@1@0@0^$@0#wcspbrk
-^270 465@6@5@1@0@0^$@0#wcsrchr
-^271 468$@0@@1@tp1$@0#wcsrtombs
-^272 470$^$@0#wcsspn
-^273 473@6@5@1@0@0^@3@0@0#wcsstr
-^274 475$@0@@1@tp1$@0#wcstod
-^275 478@6@5@1@0@0@0@@1@tp2@3@0@0#wcstok
-^276 480$@0@@1@tp1$@0#wcstol
-^277 482$@0@@1@tp1$@0#wcstoul
-^278 484$@0@@1@tp0$@0#wcsxfrm
-^279 486$^$@0#wctob
-^280 489@6@5@1@0@0^@3@0@0#wmemchr
-^281 491$^$@0#wmemcmp
-^282 494$@0@@1@tp0$@0#wmemcpy
-^283 497$@0@@1@tp0$@0#wmemmove
-^284 500$@0@@1@tp0$@0#wmemset
-^285 502@6@0@1@1@0@1@g20@6@0,g24@6@0@1@g24,tg20$@0#wprintf
-^286 504@6@0@1@2@0@1@g19@6@0,g24@6@0@1@g24,tg19$@0#wscanf
-*0 (Datatype)
-^287 13@-@-@0@0@0@0@505#wctype_t
-^288 13@-@-@0@0@0@0@506#wctrans_t
-*4 (Function)
-^289 510$^$@0#iswalnum
-^290 513$^$@0#iswalpha
-^291 516$^$@0#iswcntrl
-^292 519$^$@0#iswctype
-^293 522$^$@0#iswdigit
-^294 526$^$@0#iswgraph
-^295 529$^$@0#iswlower
-^296 532$^$@0#iswprint
-^297 535$^$@0#iswpunct
-^298 538$^$@0#iswspace
-^299 541$^$@0#iswupper
-^300 545$^$@0#iswxdigit
-^301 549$^$@0#towctrans
-^302 552$^$@0#towlower
-^303 555$^$@0#towupper
-^304 557$^$@0#wctrans
-^305 559$^$@0#wctype
-^306 561$^$@0#mblen
-^307 563$@0@@1@tp0$@0#mbtowc
-^308 565$@0@@1@tp0$@0#wctomb
-^309 567$@0@@1@tp0$@0#mbstowcs
-^310 569$@0@@1@tp0$@0#wcstombs
-^311 573$@0@@1@tp0$@0#memcpy
-^312 576$@0@@1@tp0$@0#memmove
-^313 580$@0@@1@tp0$@0#strcpy
-^314 583$@0@@1@tp0$@0#strncpy
-^315 586$@0@@1@tp0$@0#strcat
-^316 589$@0@@1@tp0$@0#strncat
-^317 591$^$@0#memcmp
-^318 593$^$@0#strcmp
-^319 595$^$@0#strcoll
-^320 597$^$@0#strncmp
-^321 599$@0@@1@tp0$@0#strxfrm
-^322 602@6@5@1@0@0^@3@0@0#memchr
-^323 605@6@5@1@0@0^@19@2@0#strchr
-^324 607$^$@0#strcspn
-^325 610@6@5@1@0@0^@19@2@0#strpbrk
-^326 613@6@5@1@0@0^@19@2@0#strrchr
-^327 615$^$@0#strspn
-^328 618@6@5@1@0@0^@19@2@0#strstr
-^329 621@6@5@1@0@0@0@s1,g24@6@0@1@tp0,s1,g24@19@2@0#strtok
-^330 625$@0@@1@tp0$@0#memset
-^331 628$^@19@3@0#strerror
-^332 630$^$@0#strlen
-*1 (Constant)
-^333 5$#CLOCKS_PER_SEC
-*0 (Datatype)
-^334 13@-@-@0@0@0@0@631#clock_t
-^335 13@-@-@0@0@0@0@632#time_t
-*4 (Function)
-^336 635$@0@s1@1@s1$@0#clock
-^337 637$^$@0#difftime
-^338 639$^$@0#mktime
-^339 642$@0@@1@tp0$@0#time
-^340 645$@0@g24@6@0@1@g24@19@3@0#asctime
-^341 648$^@19@3@0#ctime
-^342 651@6@5@1@0@0^@19@3@0#gmtime
-^343 654@6@5@1@0@0@0@g24@6@0@1@g24@19@3@0#localtime
-^344 656$@0@@1@tp0$@0#strftime
-*0 (Datatype)
-^345 13@-@-@0@0@0@0@657#int8_t
-^346 13@-@-@0@0@0@0@658#int16_t
-^347 13@-@-@0@0@0@0@659#int32_t
-^348 13@-@-@0@0@0@0@660#int64_t
-^349 14@-@-@0@0@0@0@661#uint8_t
-^350 14@-@-@0@0@0@0@662#uint16_t
-^351 14@-@-@0@0@0@0@663#uint32_t
-^352 14@-@-@0@0@0@0@664#uint64_t
-^353 13@-@-@0@0@0@0@665#int_least8_t
-^354 13@-@-@0@0@0@0@666#int_least16_t
-^355 13@-@-@0@0@0@0@667#int_least32_t
-^356 13@-@-@0@0@0@0@668#int_least64_t
-^357 14@-@-@0@0@0@0@669#uint_least8_t
-^358 14@-@-@0@0@0@0@670#uint_least16_t
-^359 14@-@-@0@0@0@0@671#uint_least32_t
-^360 14@-@-@0@0@0@0@672#uint_least64_t
-^361 13@-@-@0@0@0@0@673#int_fast8_t
-^362 13@-@-@0@0@0@0@674#int_fast16_t
-^363 13@-@-@0@0@0@0@675#int_fast32_t
-^364 13@-@-@0@0@0@0@676#int_fast64_t
-^365 14@-@-@0@0@0@0@677#uint_fast8_t
-^366 14@-@-@0@0@0@0@678#uint_fast16_t
-^367 14@-@-@0@0@0@0@679#uint_fast32_t
-^368 14@-@-@0@0@0@0@680#uint_fast64_t
-^369 24@-@+@0@0@0@0@681#intptr_t
-^370 25@-@+@0@0@0@0@682#uintptr_t
-^371 15@-@-@0@0@0@0@683#intmax_t
-^372 14@-@-@0@0@0@0@684#uintmax_t
-*1 (Constant)
-^373 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX
-^409 63$#INTPTR_MIN#INTPTR_MAX
-*0 (Datatype)
-^411 0@+@+@0@7@0@0@685#mnull
-;; Library constraints
-vsnprintf
-pre:
-C
-0@1@3
-l
-1
-1
-2
-2
-Param 23 0
-r
-2
-2
-Param 63 1
-;; end precondition constraints
-post:
-;; end precondition constraints
-fgets
-pre:
-C
-0@1@3
-l
-1
-1
-2
-2
-Param 23 0
-r
-0
-1
-e1
-2
-2
-Param 5 1
-e2
-2
-3
--1
-;; end precondition constraints
-post:
-C
-0@1@3
-l
-1
-3
-2
-2
-Param 23 0
-r
-2
-3
-0
-C
-0@1@1
-l
-1
-3
-2
-2
-Param 23 0
-r
-0
-1
-e1
-2
-2
-Param 5 1
-e2
-2
-3
--1
-;; end precondition constraints
-calloc
-pre:
-;; end precondition constraints
-post:
-C
-0@1@4
-l
-1
-1
-2
-2
-Result
-r
-0
-1
-e1
-2
-2
-Param 63 0
-e2
-2
-3
--1
-;; end precondition constraints
-malloc
-pre:
-;; end precondition constraints
-post:
-C
-0@1@4
-l
-1
-1
-2
-2
-Result
-r
-0
-1
-e1
-2
-2
-Param 63 0
-e2
-2
-3
--1
-;; end precondition constraints
-realloc
-pre:
-;; end precondition constraints
-post:
-C
-0@1@3
-l
-1
-1
-2
-2
-Result
-r
-0
-1
-e1
-2
-2
-Param 63 1
-e2
-2
-3
--1
-;; end precondition constraints
-memcpy
-pre:
-C
-0@1@3
-l
-1
-1
-2
-2
-Param 20 0
-r
-0
-1
-e1
-2
-2
-Param 63 2
-e2
-2
-3
--1
-C
-0@1@3
-l
-1
-3
-2
-2
-Param 20 1
-r
-0
-1
-e1
-2
-2
-Param 63 2
-e2
-2
-3
--1
-;; end precondition constraints
-post:
-;; end precondition constraints
-memmove
-pre:
-C
-0@1@3
-l
-1
-1
-2
-2
-Param 20 0
-r
-0
-1
-e1
-2
-2
-Param 63 2
-e2
-2
-3
--1
-C
-0@1@3
-l
-1
-3
-2
-2
-Param 20 1
-r
-0
-1
-e1
-2
-2
-Param 63 2
-e2
-2
-3
--1
-;; end precondition constraints
-post:
-;; end precondition constraints
-strcpy
-pre:
-C
-0@1@3
-l
-1
-1
-2
-2
-Param 23 0
-r
-1
-3
-2
-2
-Param 23 1
-;; end precondition constraints
-post:
-C
-0@1@4
-l
-1
-1
-2
-2
-Result
-r
-1
-1
-2
-2
-Param 23 0
-C
-0@1@4
-l
-1
-3
-2
-2
-Result
-r
-1
-3
-2
-2
-Param 23 1
-C
-0@1@4
-l
-1
-3
-2
-2
-Param 23 0
-r
-1
-3
-2
-2
-Param 23 1
-;; end precondition constraints
-strncpy
-pre:
-C
-0@1@3
-l
-1
-1
-2
-2
-Param 23 0
-r
-0
-1
-e1
-2
-2
-Param 63 2
-e2
-2
-3
--1
-;; end precondition constraints
-post:
-C
-0@1@1
-l
-1
-3
-2
-2
-Param 23 0
-r
-2
-2
-Param 63 2
-C
-0@1@3
-l
-1
-3
-2
-2
-Param 23 1
-r
-1
-3
-2
-2
-Param 23 0
-;; end precondition constraints
-strcat
-pre:
-C
-0@1@3
-l
-1
-1
-2
-2
-Param 23 0
-r
-0
-1
-e1
-1
-3
-2
-2
-Param 23 0
-e2
-1
-3
-2
-2
-Param 23 1
-;; end precondition constraints
-post:
-C
-0@1@4
-l
-1
-3
-2
-2
-Result
-r
-0
-1
-e1
-1
-3
-2
-2
-Param 23 0
-e2
-1
-3
-2
-2
-Param 23 1
-;; end precondition constraints
-strncat
-pre:
-C
-0@1@3
-l
-1
-1
-2
-2
-Param 23 0
-r
-0
-1
-e1
-1
-3
-2
-2
-Param 23 0
-e2
-2
-2
-Param 63 2
-;; end precondition constraints
-post:
-C
-0@1@3
-l
-1
-3
-2
-2
-Param 23 0
-r
-0
-1
-e1
-1
-3
-2
-2
-Param 23 0
-e2
-2
-2
-Param 63 2
-;; end precondition constraints
-strchr
-pre:
-;; end precondition constraints
-post:
-C
-0@1@3
-l
-1
-3
-2
-2
-Result
-r
-2
-3
-0
-C
-0@1@1
-l
-1
-3
-2
-2
-Result
-r
-1
-3
-2
-2
-Param 23 0
-C
-0@1@1
-l
-1
-1
-2
-2
-Result
-r
-1
-1
-2
-2
-Param 23 0
-C
-0@1@3
-l
-1
-1
-2
-2
-Result
-r
-2
-3
-0
-;; end precondition constraints
-strrchr
-pre:
-;; end precondition constraints
-post:
-C
-0@1@3
-l
-1
-3
-2
-2
-Result
-r
-2
-3
-0
-C
-0@1@1
-l
-1
-3
-2
-2
-Result
-r
-1
-3
-2
-2
-Param 23 0
-C
-0@1@1
-l
-1
-1
-2
-2
-Result
-r
-1
-1
-2
-2
-Param 23 0
-C
-0@1@3
-l
-1
-1
-2
-2
-Result
-r
-2
-3
-0
-;; end precondition constraints
-strstr
-pre:
-;; end precondition constraints
-post:
-C
-0@1@3
-l
-1
-1
-2
-2
-Result
-r
-1
-3
-2
-2
-Param 23 1
-C
-0@1@3
-l
-1
-3
-2
-2
-Result
-r
-1
-3
-2
-2
-Param 23 1
-C
-0@1@3
-l
-1
-3
-2
-2
-Result
-r
-2
-3
-0
-C
-0@1@1
-l
-1
-3
-2
-2
-Result
-r
-1
-3
-2
-2
-Param 23 0
-C
-0@1@1
-l
-1
-1
-2
-2
-Result
-r
-1
-1
-2
-2
-Param 23 0
-C
-0@1@3
-l
-1
-1
-2
-2
-Result
-r
-2
-3
-0
-;; end precondition constraints
-memset
-pre:
-C
-0@1@3
-l
-1
-1
-2
-2
-Param 20 0
-r
-0
-1
-e1
-2
-2
-Param 63 2
-e2
-2
-3
--1
-;; end precondition constraints
-post:
-C
-0@1@3
-l
-1
-3
-2
-2
-Param 20 0
-r
-0
-1
-e1
-2
-2
-Param 63 2
-e2
-2
-3
--1
-;; end precondition constraints
-strlen
-pre:
-;; end precondition constraints
-post:
-C
-0@1@4
-l
-2
-2
-Result
-r
-1
-3
-2
-2
-Param 23 0
-;; end precondition constraints
-asctime
-pre:
-;; end precondition constraints
-post:
-C
-0@1@4
-l
-1
-3
-2
-2
-Result
-r
-2
-3
-25
-C
-0@1@4
-l
-1
-1
-2
-2
-Result
-r
-2
-3
-25
-;; end precondition constraints
-ctime
-pre:
-;; end precondition constraints
-post:
-C
-0@1@4
-l
-1
-3
-2
-2
-Result
-r
-2
-3
-25
-C
-0@1@4
-l
-1
-1
-2
-2
-Result
-r
-2
-3
-25
-;; end precondition constraints
-;; Modules access
-lltX_bool#1@
-types#1@
-standard#9@
-null6#11@
-;;End
index 417ade1ef5118c4a460f4f66228fb7c55d7722f6..f3ecb91838223ba5870f6e0ba6f365821526156e 100644 (file)
@@ -1,5 +1,5 @@
 ;;; Splint Library  newlint.lcd
-;;Splint 3.0.1.5 --- 04 Feb 2002
+;;Splint 3.0.1.6 --- 11 Feb 2002
 ;;lib:299
 ;;ctTable
 0 u-2 19 38
This page took 0.153271 seconds and 5 git commands to generate.