From 0feddd049c24a34791b6ce7a0eacb1474893272d Mon Sep 17 00:00:00 2001 From: drl7x Date: Mon, 11 Feb 2002 20:04:18 +0000 Subject: [PATCH] Put .c and .expect files for new test cases into the extra dist in test/Makefile.am so they'll get included in the distributions. Include index.html in release tar balls. --- Makefile.am | 2 +- Makefile.in | 10 +- src/Makefile.in | 2 +- test/Makefile | 20 +- test/Makefile.am | 4 +- test/Makefile.in | 4 +- test/null6.lcd | 1848 ------------------------------------- test/tests2.5/newlint.lcd | 2 +- 8 files changed, 30 insertions(+), 1862 deletions(-) diff --git a/Makefile.am b/Makefile.am index f4ea95c..0dffad8 100644 --- a/Makefile.am +++ b/Makefile.am @@ -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) diff --git a/Makefile.in b/Makefile.in index 080bb3e..ece7f17 100644 --- a/Makefile.in +++ b/Makefile.in @@ -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 diff --git a/src/Makefile.in b/src/Makefile.in index 7f4070a..7cd206a 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -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) diff --git a/test/Makefile b/test/Makefile index 6b37f5c..6345bd0 100644 --- a/test/Makefile +++ b/test/Makefile @@ -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) # diff --git a/test/Makefile.am b/test/Makefile.am index 1c343c6..86108be 100644 --- a/test/Makefile.am +++ b/test/Makefile.am @@ -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 diff --git a/test/Makefile.in b/test/Makefile.in index 47302ed..ce4accc 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -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 diff --git a/test/null6.lcd b/test/null6.lcd index adba6a7..e69de29 100644 --- a/test/null6.lcd +++ b/test/null6.lcd @@ -1,1848 +0,0 @@ -;;; 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 diff --git a/test/tests2.5/newlint.lcd b/test/tests2.5/newlint.lcd index 417ade1..f3ecb91 100644 --- a/test/tests2.5/newlint.lcd +++ b/test/tests2.5/newlint.lcd @@ -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 -- 2.45.2