From 6c9a3167fcc078f8ffe6b5302f6a6dde871e8933 Mon Sep 17 00:00:00 2001 From: drl7x Date: Wed, 5 Dec 2001 03:48:51 +0000 Subject: [PATCH] *** empty log message *** --- config.h | 6 +- imports/Makefile | 12 +- lib/Makefile.am | 4 +- lib/Makefile.in | 4 +- lib/stdlib.h | 8 +- lib/unix.lcd | 1020 +++++++++++++++++++++++++++++++++++++---- test/Makefile.am | 651 +++++++++++++++++++++++++- test/Makefile.in | 652 +++++++++++++++++++++++++- test/tests2.5/boolbad | Bin 0 -> 13535 bytes 9 files changed, 2231 insertions(+), 126 deletions(-) diff --git a/config.h b/config.h index 6df6b6c..12b2a4f 100644 --- a/config.h +++ b/config.h @@ -4,10 +4,10 @@ /*@-constmacros@*/ /* The directory where LCLint's library files live */ -#define DEFAULT_LARCHPATH ".:/usr/local/share/lclint/lib:/home/drl7x/LCLintDev/lib:" +#define DEFAULT_LARCHPATH ".:/usr/local/share/lclint/lib:/af9/drl7x/reQuickFix/LCLintDev/lib:" /* LCLint's imports directory */ -#define DEFAULT_LCLIMPORTDIR ".:/usr/local/share/lclint/imports:/home/drl7x/LCLintDev/imports" +#define DEFAULT_LCLIMPORTDIR ".:/usr/local/share/lclint/imports:/af9/drl7x/reQuickFix/LCLintDev/imports" /* gcc's private include directory */ #define GCC_INCLUDE_DIR "/usr/lib/gcc-lib/i386-linux/2.7.2.1/include" @@ -16,7 +16,7 @@ #define GCC_INCLUDE_DIR2 "/usr/local/include" /* String describing who compiled this binary and how */ -#define LCL_COMPILE "Compiled using gcc -g -O2 on Linux localhost.localdomain 2.4.7-10 #1 Thu Sep 6 17:27:27 EDT 2001 i686 unknown by drl7x" +#define LCL_COMPILE "Compiled using gcc -g -O2 on Linux paisley 2.4.3-12 #1 Fri Jun 8 13:35:30 EDT 2001 i686 unknown by drl7x" /* LCLint's version number */ #define LCL_PARSE_VERSION "LCLint 3.0.0.19" diff --git a/imports/Makefile b/imports/Makefile index d8cde40..ac7a87e 100644 --- a/imports/Makefile +++ b/imports/Makefile @@ -38,10 +38,10 @@ pkglibdir = $(libdir)/lclint pkgincludedir = $(includedir)/lclint top_builddir = .. -ACLOCAL = ${SHELL} /home/drl7x/LCLintDev/config/missing --run aclocal -AUTOCONF = ${SHELL} /home/drl7x/LCLintDev/config/missing --run autoconf -AUTOMAKE = ${SHELL} /home/drl7x/LCLintDev/config/missing --run automake -AUTOHEADER = ${SHELL} /home/drl7x/LCLintDev/config/missing --run autoheader +ACLOCAL = ${SHELL} /net/af9/drl7x/reQuickFix/LCLintDev/config/missing --run aclocal +AUTOCONF = ${SHELL} /net/af9/drl7x/reQuickFix/LCLintDev/config/missing --run autoconf +AUTOMAKE = ${SHELL} /net/af9/drl7x/reQuickFix/LCLintDev/config/missing --run automake +AUTOHEADER = ${SHELL} /net/af9/drl7x/reQuickFix/LCLintDev/config/missing --run autoheader INSTALL = /usr/bin/install -c INSTALL_PROGRAM = ${INSTALL} @@ -57,7 +57,7 @@ PRE_UNINSTALL = : POST_UNINSTALL = : host_alias = host_triplet = i686-pc-linux-gnu -AMTAR = ${SHELL} /home/drl7x/LCLintDev/config/missing --run tar +AMTAR = ${SHELL} /net/af9/drl7x/reQuickFix/LCLintDev/config/missing --run tar AWK = gawk BISON = bison CAT = cat @@ -80,7 +80,7 @@ RM = rm VERSION = 3.0.0.19 am__include = include am__quote = -install_sh = /home/drl7x/LCLintDev/config/install-sh +install_sh = /net/af9/drl7x/reQuickFix/LCLintDev/config/install-sh AUTOMAKE_OPTIONS = 1.5 foreign diff --git a/lib/Makefile.am b/lib/Makefile.am index 0b0c7cb..a52f155 100644 --- a/lib/Makefile.am +++ b/lib/Makefile.am @@ -39,9 +39,9 @@ posixstrict.lcd: ansi.h posix.h $(LCLINT) @touch $@ unix.lcd: ansi.h posix.h unix.h $(LCLINT) - -$(LCLINT) -nolib +impconj ansi.h posix.h unix.h -dump unix + -$(LCLINT) -nolib +impconj ansi.h posix.h unix.h stdio.h stdlib.h -dump unix @touch $@ unixstrict.lcd: ansi.h posix.h unix.h $(LCLINT) - -$(LCLINT) -nolib +impconj -DSTRICT ansi.h posix.h unix.h -dump unixstrict + -$(LCLINT) -nolib +impconj -DSTRICT ansi.h posix.h unix.h stdio.h stdlib.h -dump unixstrict @touch $@ diff --git a/lib/Makefile.in b/lib/Makefile.in index 5c46e79..ade91dd 100644 --- a/lib/Makefile.in +++ b/lib/Makefile.in @@ -254,11 +254,11 @@ posixstrict.lcd: ansi.h posix.h $(LCLINT) @touch $@ unix.lcd: ansi.h posix.h unix.h $(LCLINT) - -$(LCLINT) -nolib +impconj ansi.h posix.h unix.h -dump unix + -$(LCLINT) -nolib +impconj ansi.h posix.h unix.h stdio.h stdlib.h -dump unix @touch $@ unixstrict.lcd: ansi.h posix.h unix.h $(LCLINT) - -$(LCLINT) -nolib +impconj -DSTRICT ansi.h posix.h unix.h -dump unixstrict + -$(LCLINT) -nolib +impconj -DSTRICT ansi.h posix.h unix.h stdio.h stdlib.h -dump unixstrict @touch $@ # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded. diff --git a/lib/stdlib.h b/lib/stdlib.h index 809988a..372e93a 100644 --- a/lib/stdlib.h +++ b/lib/stdlib.h @@ -75,12 +75,12 @@ extern ldiv_t ldiv (long num, long denom) /*@*/ ; long int lrand48 (void) /*@modifies internalState@*/ ; -extern /*@null@*/ /*@out@*/ /*@only@*/ void *malloc (size_t size) /*@modifes errno@*/ +extern /*@null@*/ /*@out@*/ /*@only@*/ void *malloc (size_t size) /*@modifies errno@*/ /*drl 09-20-001 added errno*/ /*@ensures MaxSet(result) == (size - 1); @*/ ; extern int mblen (char *s, size_t n) - /*@modifes errno@*/ + /*@modifies errno@*/ /*@requires maxRead(s) >= (n - 1) @*/ /*drl 09-20-001 added errno*/ ; @@ -179,11 +179,11 @@ extern long strtol (char *s, /*@null@*/ /*@out@*/ char **endp, int base) extern int unlockpt(int fildes) - /*@modifes fileSystem, internalState @*/ + /*@modifies fileSystem, internalState @*/ /*drl added 09-20-001 */ ; -extern void *valloc(size_t size)/*@modifes errno@*/ +extern void *valloc(size_t size)/*@modifies errno@*/ /*drl 09-20-001 */ /*@ensures MaxSet(result) == (size - 1); @*/ /*legacy*/ ; diff --git a/lib/unix.lcd b/lib/unix.lcd index 599f3dd..e4e52d9 100644 --- a/lib/unix.lcd +++ b/lib/unix.lcd @@ -563,12 +563,12 @@ 3 f504 (23|$#,)! 3 f0 (23|$#,63|$#,)! 3 f5 (23|$#,63|$#,)! -3 f0 (383|0@5@7&#,23|0@5@7&#,63|$#,)! -3 f5 (383|0@5@7&#,23|0@5@7&#,63|$#,)! +3 f0 (383|4@5@7&#,23|0@5@7&#,63|$#,)! +3 f5 (383|4@5@7&#,23|0@5@7&#,63|$#,)! 3 f0 (23|4@5@7&#,65|$#,)! 3 f5 (23|4@5@7&#,65|$#,)! -3 f0 (383|4@0@7&#,23|$#,63|$#,)! -3 f63 (383|4@0@7&#,23|$#,63|$#,)! +3 f0 (383|4@5@7&#,23|$#,63|$#,)! +3 f63 (383|4@5@7&#,23|$#,63|$#,)! 3 f0 (23|4@0@7&#,383|$#,63|$#,)! 3 f63 (23|4@0@7&#,383|$#,63|$#,)! 3 C0.1/20|! @@ -1583,6 +1583,301 @@ 3 f17 (17|$#,)! 3 f0 (17|$#,)! 3 f17 (17|$#,)! +3 f0 (211|$#,)! +3 f1 (211|$#,)! +3 f0 (23|@5|4@5@7&#,)! +3 f19 (23|@5|4@5@7&#,)! +3 f23 (23|@5|4@5@7&#,)! +3 f0 (23|4@5@7&#,)! +3 f19 (23|4@5@7&#,)! +3 f23 (23|4@5@7&#,)! +3 f0 (211|$#,)! +3 f5 (211|$#,)! +3 f0 (5|$#,23|$#,)! +3 f19 (5|$#,23|$#,)! +3 f211 (5|$#,23|$#,)! +3 f0 (211|$#,)! +3 f5 (211|$#,)! +3 f0 (211|$#,)! +3 f5 (211|$#,)! +3 f0 (211|0@5@7&#,)! +3 f5 (211|0@5@7&#,)! +3 f0 (211|$#,)! +3 f5 (211|$#,)! +3 f0 (211|$#,289|4@0@7&#,)! +3 f5 (211|$#,289|4@0@7&#,)! +3 f0 (23|@5|4@0@7&#,5|$#,211|$#,)! +3 f19 (23|@5|4@0@7&#,5|$#,211|$#,)! +3 f23 (23|@5|4@0@7&#,5|$#,211|$#,)! +3 f0 (211|$#,)! +3 f5 (211|$#,)! +3 f0 (211|$#,)! +3 f1 (211|$#,)! +3 f0 (23|$#,23|$#,)! +3 f19 (23|$#,23|$#,)! +3 f211 (23|$#,23|$#,)! +3 C0.5/1|! +3 f0 (211|$#,23|$#,!.,)! +3 f5 (211|$#,23|$#,!.,)! +3 f1614 (211|$#,23|$#,!.,)! +3 f236 (211|$#,23|$#,!.,)! +3 f0 (265|$#,211|$#,)! +3 f5 (265|$#,211|$#,)! +3 f0 (23|$#,211|$#,)! +3 f5 (23|$#,211|$#,)! +3 f0 (20|4@0@7&#,63|$#,63|$#,211|$#,)! +3 f63 (20|4@0@7&#,63|$#,63|$#,211|$#,)! +3 f0 (23|$#,23|$#,211|$#,)! +3 f19 (23|$#,23|$#,211|$#,)! +3 f211 (23|$#,23|$#,211|$#,)! +3 f0 (211|$#,23|$#,!.,)! +3 f5 (211|$#,23|$#,!.,)! +3 f0 (211|$#,9|$#,5|$#,)! +3 f5 (211|$#,9|$#,5|$#,)! +3 f0 (211|$#,689|$#,5|$#,)! +3 f5 (211|$#,689|$#,5|$#,)! +3 f0 (211|$#,289|$#,)! +3 f5 (211|$#,289|$#,)! +3 f0 (211|$#,)! +3 f9 (211|$#,)! +3 f0 (211|$#,)! +3 f689 (211|$#,)! +3 f0 (211|$#,)! +3 f1 (211|$#,)! +3 f0 (211|$#,)! +3 f1 (211|$#,)! +3 f0 (20|$#,63|$#,63|$#,211|$#,)! +3 f63 (20|$#,63|$#,63|$#,211|$#,)! +3 f0 (211|@7|$#,)! +3 f5 (211|@7|$#,)! +3 f0 ()! +3 f5 ()! +3 f0 (211|@7|$#,)! +3 f5 (211|@7|$#,)! +3 f0 ()! +3 f5 ()! +3 f0 (5|$#,315|$#,23|$#,)! +3 f5 (5|$#,315|$#,23|$#,)! +3 f0 (23|4@0@7&#,)! +3 f19 (23|4@0@7&#,)! +3 f23 (23|4@0@7&#,)! +3 f0 (211|$#,)! +3 f5 (211|$#,)! +3 f0 (211|$#,)! +3 f5 (211|$#,)! +3 f0 (23|0@5@7&#,)! +3 f1 (23|0@5@7&#,)! +3 f0 (23|$#,23|$#,)! +3 f19 (23|$#,23|$#,)! +3 f211 (23|$#,23|$#,)! +3 C0.5/1|! +3 f0 (23|$#,!.,)! +3 f5 (23|$#,!.,)! +3 f1668 (23|$#,!.,)! +3 f236 (23|$#,!.,)! +3 f0 (265|$#,211|@7|$#,)! +3 f5 (265|$#,211|@7|$#,)! +3 f0 (265|$#,)! +3 f5 (265|$#,)! +3 f0 (265|$#,211|@7|$#,)! +3 f5 (265|$#,211|@7|$#,)! +3 f0 (265|$#,)! +3 f5 (265|$#,)! +3 f0 (23|$#,)! +3 f5 (23|$#,)! +3 f0 (5|$#,211|$#,)! +3 f5 (5|$#,211|$#,)! +3 f0 (23|$#,)! +3 f5 (23|$#,)! +3 f0 (23|$#,23|$#,)! +3 f5 (23|$#,23|$#,)! +3 f0 (211|$#,)! +3 f1 (211|$#,)! +3 f0 (23|$#,!.,)! +3 f5 (23|$#,!.,)! +3 f0 (211|$#,23|0@5@19@2@0#,)! +3 f1 (211|$#,23|0@5@19@2@0#,)! +3 f0 (211|$#,23|0@5@19@2@0#,5|$#,63|$#,)! +3 f5 (211|$#,23|0@5@19@2@0#,5|$#,63|$#,)! +3 C0.5/1|! +3 f0 (23|4@0@7&#,63|$#,23|$#,!.,)! +3 f5 (23|4@0@7&#,63|$#,23|$#,!.,)! +3 f1697 (23|4@0@7&#,63|$#,23|$#,!.,)! +3 f0 (23|4@0@7&#,23|$#,!.,)! +3 f5 (23|4@0@7&#,23|$#,!.,)! +3 f1697 (23|4@0@7&#,23|$#,!.,)! +3 f236 (23|4@0@7&#,23|$#,!.,)! +3 f0 (23|4@0@7&#,23|$#,!.,)! +3 f5 (23|4@0@7&#,23|$#,!.,)! +3 f0 (23|$#,23|0@5@7&#,)! +3 f19 (23|$#,23|0@5@7&#,)! +3 f23 (23|$#,23|0@5@7&#,)! +3 f0 ()! +3 f19 ()! +3 f211 ()! +3 f0 (23|@5|4@5@7&#,)! +3 f19 (23|@5|4@5@7&#,)! +3 f23 (23|@5|4@5@7&#,)! +3 f0 (265|$#,211|$#,)! +3 f5 (265|$#,211|$#,)! +3 f0 (211|$#,23|$#,204|$#,)! +3 f5 (211|$#,23|$#,204|$#,)! +3 f0 (23|$#,204|$#,)! +3 f5 (23|$#,204|$#,)! +3 f0 (23|4@0@7&#,63|$#,23|$#,204|$#,)! +3 f5 (23|4@0@7&#,63|$#,23|$#,204|$#,)! +3 f0 (23|4@0@7&#,23|$#,204|$#,)! +3 f5 (23|4@0@7&#,23|$#,204|$#,)! +3 f0 (23|$#,)! +3 f9 (23|$#,)! +3 f0 ()! +3 f1 ()! +3 f0 (5|$#,)! +3 f5 (5|$#,)! +3 ?! +3 f1732 ()! +3 f1 ()^1735 +1 t1734|1734& +3 f0 (1735|$#,)! +3 f5 (1735|$#,)! +3 f0 (23|$#,)! +3 f17 (23|$#,)! +3 f0 (23|$#,)! +3 f5 (23|$#,)! +3 f0 (23|$#,)! +3 f9 (23|$#,)! +3 ?! +3 f1744 (20|$#,20|$#,)! +3 f5 (20|$#,20|$#,)^1747 +1 t1746|1746& +3 f0 (20|$#,20|$#,63|$#,63|$#,1747|$#,)! +3 f19 (20|$#,20|$#,63|$#,63|$#,1747|$#,)! +3 f20 (20|$#,20|$#,63|$#,63|$#,1747|$#,)! +3 f0 (63|$#,63|$#,)! +3 f19 (63|$#,63|$#,)! +3 f20 (63|$#,63|$#,)! +3 S!5{5|@1|^#quot,5|@1|^#rem,}! +0 s1595|& +3 f0 (5|$#,5|$#,)! +3 f369 (5|$#,5|$#,)! +3 f0 ()! +3 f17 ()! +3 f0 (17|$#,5|$#,24|4@0@7&#,24|4@0@7&#,)! +3 f19 (17|$#,5|$#,24|4@0@7&#,24|4@0@7&#,)! +3 f23 (17|$#,5|$#,24|4@0@7&#,24|4@0@7&#,)! +3 f0 (17|$#,5|$#,24|4@0@7&#,24|4@0@7&#,)! +3 f19 (17|$#,5|$#,24|4@0@7&#,24|4@0@7&#,)! +3 f23 (17|$#,5|$#,24|4@0@7&#,24|4@0@7&#,)! +3 f0 (17|$#,5|$#,23|$#,)! +3 f19 (17|$#,5|$#,23|$#,)! +3 f23 (17|$#,5|$#,23|$#,)! +3 f0 (23|$#,)! +3 f19 (23|$#,)! +3 f23 (23|$#,)! +3 f0 (315|$#,315|$#,315|4@0@7&#,)! +3 f5 (315|$#,315|$#,315|4@0@7&#,)! +3 f0 (5|$#,)! +3 f5 (5|$#,)! +3 f0 (6|$#,23|$#,63|$#,)! +3 f19 (6|$#,23|$#,63|$#,)! +3 f23 (6|$#,23|$#,63|$#,)! +2 F0/3|0& +2 F8/3|8& +3 f0 (1780|$#,)! +3 f9 (1780|$#,)! +3 f0 (9|$#,)! +3 f19 (9|$#,)! +3 f23 (9|$#,)! +3 f0 (9|$#,)! +3 f9 (9|$#,)! +2 F0/7|0& +2 F8/7|8& +3 f0 (1789|$#,)! +3 f1 (1789|$#,)! +3 S!6{9|@1|^#quot,9|@1|^#rem,}! +0 s1605|& +3 f0 (9|$#,9|$#,)! +3 f376 (9|$#,9|$#,)! +3 f0 ()! +3 f9 ()! +3 f0 (63|$#,)! +3 f19 (63|$#,)! +3 f20 (63|$#,)! +3 f0 (23|$#,63|$#,)! +3 f5 (23|$#,63|$#,)! +3 f0 (383|4@5@7&#,23|$#,63|$#,)! +3 f63 (383|4@5@7&#,23|$#,63|$#,)! +3 f0 (383|4@5@7&#,23|0@5@7&#,63|$#,)! +3 f5 (383|4@5@7&#,23|0@5@7&#,63|$#,)! +3 f0 (23|$#,)! +3 f19 (23|$#,)! +3 f23 (23|$#,)! +3 f0 (23|$#,)! +3 f5 (23|$#,)! +3 f0 ()! +3 f9 ()! +2 F0/3|0& +2 F8/3|8& +3 f0 (1815|$#,)! +3 f9 (1815|$#,)! +3 f0 (5|$#,)! +3 f19 (5|$#,)! +3 f23 (5|$#,)! +3 f0 (23|0@0@5&#,)! +3 f5 (23|0@0@5&#,)! +3 ?! +3 f1823 (20|$#,20|$#,)! +3 f5 (20|$#,20|$#,)^1826 +1 t1825|1825& +3 f0 (20|$#,63|$#,63|$#,1826|$#,)! +3 f1 (20|$#,63|$#,63|$#,1826|$#,)! +3 f0 ()! +3 f5 ()! +3 f0 (25|$#,)! +3 f5 (25|$#,)! +3 f0 ()! +3 f9 ()! +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 (23|$#,23|4@0@7&#,)! +3 f19 (23|$#,23|4@0@7&#,)! +3 f23 (23|$#,23|4@0@7&#,)! +2 F0/3|0& +2 F8/3|8& +3 f0 (1842|$#,)! +3 f19 (1842|$#,)! +3 f27 (1842|$#,)! +3 f0 (23|$#,)! +3 f1 (23|$#,)! +3 f0 (23|0@0@5&#,)! +3 f19 (23|0@0@5&#,)! +3 f23 (23|0@0@5&#,)! +3 f0 (6|$#,)! +3 f1 (6|$#,)! +3 f0 (9|$#,)! +3 f1 (9|$#,)! +3 f0 (6|$#,)! +3 f1 (6|$#,)! +3 f0 (23|$#,315|4@5@7&#,)! +3 f17 (23|$#,315|4@5@7&#,)! +3 f0 (23|$#,315|4@5@7&#,5|$#,)! +3 f9 (23|$#,315|4@5@7&#,5|$#,)! +3 f0 (23|$#,315|4@5@7&#,5|$#,)! +3 f10 (23|$#,315|4@5@7&#,5|$#,)! +3 f0 (23|0@5@7&#,)! +3 f5 (23|0@5@7&#,)! +3 f0 ()! +3 f5 ()! +3 f0 (5|$#,)! +3 f5 (5|$#,)! +3 f0 (63|$#,)! +3 f19 (63|$#,)! +3 f20 (63|$#,)! +3 f0 (23|4@0@7&#,383|$#,63|$#,)! +3 f63 (23|4@0@7&#,383|$#,63|$#,)! +3 f0 (23|4@5@7&#,65|$#,)! +3 f5 (23|4@5@7&#,65|$#,)! ;;tistable 0 28 @@ -1747,87 +2042,87 @@ *3 (Variable) ^155 211|@1|6@0@0@0@1#stderr *4 (Function) -^156 213$@0@s3,g22@6@0@1@s3,g22$@0#remove -^157 215$@0@s3,g22@6@0@1@s3,g22$@0#rename -^158 218@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile -^159 221$@0@s1@1@tp0,s1@19@3@0#tmpnam -^160 223$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose -^161 225$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush -^162 228@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen -^163 231@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen -^164 233$@0@s3@1@s3,tp0,tp1$@0#setbuf -^165 235$@0@s3@1@s3,tp0,tp1$@0#setvbuf -^166 239@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf -^167 241@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf -^168 244@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf -^169 246@6@0@1@2@0@1@g17@6@0,s3@1@s3,tg17$@0#scanf -^170 249@6@0@1@1@0@0@@1@tp0$@0#sprintf -^171 251@6@0@1@2@0^$@0#sscanf -^172 253$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf -^173 255$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf -^174 257$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf -^175 259$@0@@1@p0$@0#vsnprintf -^176 261$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc -^177 264@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets -^178 267$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc -^179 269$@0@s3@1@s3,tp1$@0#fputs -^180 271$@0@s3@1@s3,tp0$@0#getc -^181 273$@1@g17@6@0,s3@1@s3,tg17$@0#getchar -^182 276@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability. Use fgets instead##gets -^183 278$@0@s3@1@s3,tp1$@0#putc -^184 280$@1@g18@6@0,s3@1@s3,tg18$@0#putchar -^185 282$@1@g18@6@0,s3@1@s3,tg18$@0#puts -^186 284$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc -^187 286$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread -^188 288$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite -^189 291$@0@g22@6@0@1@tp1,g22$@0#fgetpos -^190 293$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek -^191 295$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos -^192 297$@0@g22@6@0@1@g22$@0#ftell -^193 299$@0@@1@tp0$@0#rewind -^194 301$@0@@1@tp0$@0#clearerr -^195 303$@0@g22@6@0@1@g22$@0#feof -^196 305$@0@g22@6@0@1@g22$@0#ferror -^197 307$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror -^198 309$^$@0#atof -^199 311$^$@0#atoi -^200 313$^$@0#atol -^201 317$@0@g22@6@0@1@tp1,g22$@0#strtod -^202 319$@0@g22@6@0@1@tp1,g22$@0#strtol -^203 321$@0@g22@6@0@1@tp1,g22$@0#strtoul +^156 1686$@0@s3,g22@6@0@1@s3,g22$@0#remove +^157 1688$@0@s3,g22@6@0@1@s3,g22$@0#rename +^158 1712@6@5@1@0@0@0@s3,g22@6@0@1@s3,g22@3@0@0#tmpfile +^159 1715$@0@s1@1@tp0,s1@19@3@0#tmpnam +^160 1590$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose +^161 1599$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush +^162 1613@6@5@1@0@0@0@s3,g22@6@0@1@s3,g22@18@0@0#fopen +^163 1627@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen +^164 1694$@0@s3@1@s3,tp0,tp1$@0#setbuf +^165 1696$@0@s3@1@s3,tp0,tp1$@0#setvbuf +^166 1618@6@0@1@1@0@0@s3,g22@6@0@1@s3,tp0,g22$@0#fprintf +^167 1629@6@0@1@2@0@0@s3,g22@6@0@1@s3,tp0,g22$@0#fscanf +^168 1672@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf +^169 1692@6@0@1@2@0@1@g17@6@0,s3,g22@6@0@1@s3,tg17,g22$@0#scanf +^170 1704@6@0@1@1@0@0@@1@tp0$@0#sprintf +^171 1706@6@0@1@2@0@1@g22@6@0@1@g22$@0#sscanf +^172 1721$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf +^173 1719$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf +^174 1725$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf +^175 1723$@0@@1@p0$@0#vsnprintf +^176 1601$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc +^177 1606@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets +^178 1620$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc +^179 1622$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputs +^180 1647$@0@s3,g22@6@0@1@s3,tp0,g22$@0#getc +^181 1649$@1@g17@6@0,s3,g22@6@0@1@s3,tg17,g22$@0#getchar +^182 1658@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability. Use fgets instead##gets +^183 1674$@0@s3,g22@6@0@1@s3,tp1,g22$@0#putc +^184 1676$@1@g18@6@0,s3,g22@6@0@1@s3,tg18,g22$@0#putchar +^185 1682$@1@g18@6@0,s3,g22@6@0@1@s3,tg18,g22$@0#puts +^186 1717$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc +^187 1624$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread +^188 1645$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite +^189 1603$@0@g22@6@0@1@tp1,g22$@0#fgetpos +^190 1631$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek +^191 1635$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos +^192 1637$@0@g22@6@0@1@g22$@0#ftell +^193 1690$@0@s3,g22@6@0@1@tp0,g22$@0#rewind +^194 1582$@0@@1@tp0$@0#clearerr +^195 1595$@0@g22@6@0@1@g22$@0#feof +^196 1597$@0@g22@6@0@1@g22$@0#ferror +^197 1664$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror +^198 1739$^$@0#atof +^199 1741$^$@0#atoi +^200 1743$^$@0#atol +^201 1858$@0@g22@6@0@1@tp1,g22$@0#strtod +^202 1860$@0@g22@6@0@1@tp1,g22$@0#strtol +^203 1862$@0@g22@6@0@1@tp1,g22$@0#strtoul *1 (Constant) ^204 5$#RAND_MAX *4 (Function) -^205 323$@0@s1@1@s1$@0#rand -^206 325$@0@s1@1@s1$@0#srand -^207 328@6@5@1@0@0^@2@0@0#calloc -^208 331@4@5@1@0@0^@2@0@0#malloc -^209 334@6@5@1@0@0@0@@1@tp0@2@0@0#realloc +^205 1830$@0@s1@1@s1$@0#rand +^206 1852$@0@s1@1@s1$@0#srand +^207 1753@6@5@1@0@0^@2@0@0#calloc +^208 1800@4@5@1@0@0@1@g22@6@0@1@g22@2@0@0#malloc +^209 1837@6@5@1@0@0@0@g22@6@0@1@tp0,g22@2@0@0#realloc ^210 1108$@0@@1@p0,tp0$@0#free *1 (Constant) ^211 5$#EXIT_FAILURE#EXIT_SUCCESS *4 (Function) -^213 338@6@0@6@0@0^$@0#abort +^213 1729@6@0@6@0@0^$@0#abort ^214 340@6@0@6@0@0^$@0#exit -^215 346$@0@s1@1@s1$@0#atexit -^216 349@6@5@1@0@0^@19@3@0#getenv -^217 351$@0@s3@1@s3$@0#system -^218 358@6@5@1@0@0^@18@0@0#bsearch -^219 364$@0@g22@6@0@1@tp0,g22$@0#qsort -^220 366$^$@0#abs +^215 1737$@0@s1@1@s1$@0#atexit +^216 1771@6@5@1@0@0^@19@3@0#getenv +^217 1864$@0@s3,g22@6@0@1@s3,g22$@0#system +^218 1750@6@5@1@0@0^@18@0@0#bsearch +^219 1828$@0@g22@6@0@1@tp0,g22$@0#qsort +^220 1731$^$@0#abs *7 (Struct tag) ^221 367@368#@!2 *0 (Datatype) ^222 367@-@-@0@0@0@0@369#div_t *4 (Function) -^223 371$^$@0#div -^224 373$^$@0#labs +^223 1757$^$@0#div +^224 1787$^$@0#labs *7 (Struct tag) ^225 374@375#@!3 *0 (Datatype) ^226 374@-@-@0@0@0@0@376#ldiv_t *4 (Function) -^227 378$^$@0#ldiv +^227 1795$^$@0#ldiv *1 (Constant) ^228 63$#MB_CUR_MAX ^229 5$#WCHAR_MAX#WCHAR_MIN @@ -1909,11 +2204,11 @@ ^301 554$^$@0#towupper ^302 556$^$@0#wctrans ^303 558$^$@0#wctype -^304 560$^$@0#mblen -^305 562$@0@@1@tp0$@0#mbtowc -^306 564$@0@@1@tp0$@0#wctomb -^307 566$@0@@1@tp0$@0#mbstowcs -^308 568$@0@@1@tp0$@0#wcstombs +^304 1802$@1@g22@6@0@1@g22$@0#mblen +^305 1806$@0@g22@6@0@1@tp0,g22$@0#mbtowc +^306 1875$@0@@1@tp0$@0#wctomb +^307 1804$@0@@1@tp0$@0#mbstowcs +^308 1873$@0@g22@6@0@1@tp0,g22$@0#wcstombs ^309 572$@0@@1@tp0$@0#memcpy ^310 575$@0@@1@tp0$@0#memmove ^311 579$@0@@1@tp0$@0#strcpy @@ -2049,8 +2344,8 @@ *1 (Constant) ^562 5$#L_ctermid#L_cuserid *4 (Function) -^564 769@6@5@1@0@0@0@g22@6@0,s3@1@g22,s3@18@0@0#fdopen -^565 771$@0@g22@6@0@1@g22$@0#fileno +^564 1593@6@5@1@0@0@0@g22@6@0,s3@1@g22,s3@18@0@0#fdopen +^565 1608$@0@g22@6@0@1@g22$@0#fileno *7 (Struct tag) ^566 1346@773#@stat *4 (Function) @@ -2118,8 +2413,8 @@ ^710 862$@0@g22@6@0@1@g22$@0#chdir ^711 864$@0@s3,g22@6@0@1@s3,g22$@0#chown ^712 866$@0@s3,g22@6@0@1@s3,g22$@0#close -^713 869$@0@s3@1@tp0,s3$@0#ctermid -^714 872$@0@@1@tp0@3@0@0#cuserid +^713 1585$@0@s3@1@tp0,s3$@0#ctermid +^714 1588$@0@@1@tp0@3@0@0#cuserid ^715 874$@0@g22@6@0,s3@1@g22,s3$@0#dup2 ^716 876$@0@g22@6@0,s3@1@g22,s3$@0#dup ^717 878@6@0@5@0@0@0@g22@6@0@1@g22$@0#execl @@ -2516,9 +2811,9 @@ ^1532 1493$$$@0#toascii ^1533 1497$$$@0#_toupper ^1534 1500$$$@0#_tolower -^1535 1502$@0@s1@1@s1$@0#drand48 +^1535 1759$@0@s1@1@s1$@0#drand48 ^1536 1506$@0@s1@1@s1$@0#erand48 -^1537 1508$@0@s1@1@s1$@0#srand48 +^1537 1854$@0@s1@1@s1$@0#srand48 *0 (Datatype) ^1538 14@-@-@0@0@0@0@1509#in_port_t ^1539 14@-@-@0@0@0@0@1510#in_addr_t @@ -2554,7 +2849,83 @@ ^1570 1576$@0@g22@6@0@1@g22$@0#lgamma ^1571 1578$@0@g22@6@0@1@g22$@0#erf ^1572 1580$@0@g22@6@0@1@g22$@0#erfc +^1573 1610$@0@s3@1@tp0,s3$@0#flockfile +^1574 1633$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseeko +^1575 1639$@0@g22@6@0@1@g22$@0#ftello +^1576 1641$@0@s3@1@tp0,s3$@0#ftrylockfile +^1577 1643$@0@s3@1@tp0,s3$@0#funlockfile +^1578 1651$@0@s3,g22@6@0@1@s3,tp0,g22$@0#getc_unlocked +^1579 1653$@1@g17@6@0,s3,g22@6@0@1@s3,tg17,g22$@0#getchar_unlocked +*3 (Variable) +^1580 23|@1|6@0@0@0@1#optarg +^1581 5|@1|6@0@0@0@1#optind#optopt#opterr#optreset +*4 (Function) +^1585 1655$@1@g1580@6@0,g1581@6@0,g1582@6@0,g1583@6@0,g1584@6@0@1@g1580,g1581,g1582$@0#getopt +^1586 1660$@0@s3,g22@6@0@1@s3,tp0,g22$@0#getw +^1587 1662$@0@s3,g22@6@0@1@s3,tp0,g22$@0#pclose +^1588 1667@6@5@1@0@0@0@s3,g22@6@0@1@s3,g22@18@0@0#popen +^1589 1678$@0@s3,g22@6@0@1@s3,tp1,g22$@0#putc_unlocked +^1590 1680$@1@g18@6@0,s3,g22@6@0@1@s3,tg18,g22$@0#putchar_unlocked +^1591 1684$@0@s3,g22@6@0@1@s3,tp1,g22$@0#putw +^1592 1700@6@0@1@1@0@0@@1@tp0$@0#snprintf +^1593 1709@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22@3@0@0#tempnam +^1594 1727$$$@0#a64l +*7 (Struct tag) +^1595 1754@1755#@!5 +*4 (Function) +^1596 1762$$@3@0@0#ecvt +^1597 1765$$@3@0@0#fcvt +^1598 1768$$@3@0@0#gcvt +^1599 1773$@0@@1@p0,p2$@0#getsubopt +^1600 1775$@0@s3,g22@6@0@1@s3,g22$@0#grantpt +^1601 1778$@0@@1@-,p1@3@0@0#initstate +^1602 1782$@0@s1@1@s1$@0#jrand48 +^1603 1785$$@3@0@0#l64a +^1604 1791$@0@s1@1@s1$@0#lcong48 +*7 (Struct tag) +^1605 1792@1793#@!6 +*4 (Function) +^1606 1797$@0@s1@1@s1$@0#lrand48 +^1607 1809$@0@@1@p0@3@0@0#mktemp +^1608 1811$@0@s3@1@p0,s3$@0#mkstemp +^1609 1813$@0@s1@1@s1$@0#mrand48 +^1610 1817$@0@s1@1@s1,p0$@0#nrand48 +^1611 1820$$@18@0@0#ptsname +^1612 1822$@1@g673@6@0,g22@6@0@1@tg673,g22$@0#putenv +^1613 1832$@0@@1@p0$@0#rand_r +^1614 1834$@0@s1@1@s1$@0#random +^1615 1840$$@3@0@0#realpath +^1616 1845$@0@s1@1@s1@3@0@0#seed48 +^1617 1847$@0@s1,g22@6@0@1@s1,g22$@0#setkey +^1618 1850$@0@s1,g22@6@0@1@s1,g22@2@0@0#setstate +^1619 1856$@0@s1@1@s1$@0#srandom +^1620 1866$^$@0#ttyslot +^1621 1868$@0@s3,s1@1@s3,s1$@0#unlockpt +^1622 1871$@0@g22@6@0@1@g22@3@0@0#valloc ;; Library constraints +setvbuf +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 23 1 +r +0 +1 +e1 +2 +2 +Param 63 3 +e2 +2 +3 +-1 +;; end precondition constraints +post:EMPTY vsnprintf pre: C @@ -2566,9 +2937,16 @@ l 2 Param 23 0 r +0 +1 +e1 2 2 Param 63 1 +e2 +2 +3 +-1 ;; end precondition constraints post:EMPTY fgets @@ -2626,6 +3004,74 @@ e2 3 -1 ;; end precondition constraints +fread +pre:EMPTY +post: +C +0@1@4 +l +1 +3 +2 +2 +Param 20 0 +r +0 +1 +e1 +2 +2 +Param 63 1 +e2 +2 +3 +-1 +;; end precondition constraints +fwrite +pre: +C +0@1@3 +l +1 +3 +2 +2 +Param 20 0 +r +2 +2 +Param 63 1 +;; end precondition constraints +post:EMPTY +fgetpos +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 289 1 +r +2 +3 +0 +;; end precondition constraints +post: +C +0@1@3 +l +1 +3 +2 +2 +Param 289 1 +r +2 +3 +0 +;; end precondition constraints calloc pre:EMPTY post: @@ -2643,38 +3089,175 @@ r e1 2 2 -Param 63 0 +Param 63 0 +e2 +2 +3 +-1 +;; end precondition constraints +malloc +pre:EMPTY +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:EMPTY +post: +C +0@1@4 +l +1 +1 +2 +2 +Result +r +0 +1 +e1 +2 +2 +Param 63 1 +e2 +2 +3 +-1 +;; end precondition constraints +bsearch +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 20 1 +r +0 +1 +e1 +2 +2 +Param 63 2 +e2 +2 +3 +-1 +;; end precondition constraints +post:EMPTY +qsort +pre: +C +0@1@3 +l +1 +3 +2 +2 +Param 20 0 +r +0 +1 +e1 +2 +2 +Param 63 1 +e2 +2 +3 +-1 +;; end precondition constraints +post:EMPTY +mblen +pre: +C +0@1@3 +l +1 +3 +2 +2 +Param 23 0 +r +0 +1 +e1 +2 +2 +Param 63 1 +e2 +2 +3 +-1 +;; end precondition constraints +post:EMPTY +mbtowc +pre: +C +0@1@3 +l +1 +3 +2 +2 +Param 23 1 +r +0 +1 +e1 +2 +2 +Param 63 2 e2 2 3 -1 ;; end precondition constraints -malloc -pre:EMPTY -post: +post:EMPTY +mbstowcs +pre: C -0@1@4 +0@1@3 l 1 1 2 2 -Result +Param 383 0 r 0 1 e1 2 2 -Param 63 0 +Param 63 2 e2 2 3 -1 ;; end precondition constraints -realloc -pre:EMPTY -post: +post:EMPTY +wcstombs +pre: C 0@1@3 l @@ -2682,19 +3265,20 @@ l 1 2 2 -Result +Param 23 0 r 0 1 e1 2 2 -Param 63 1 +Param 63 2 e2 2 3 -1 ;; end precondition constraints +post:EMPTY memcpy pre: C @@ -3726,6 +4310,262 @@ r 3 15 ;; end precondition constraints +getopt +pre: +C +0@1@3 +l +1 +3 +2 +2 +Param 315 1 +r +0 +1 +e1 +2 +2 +Param 5 0 +e2 +2 +3 +-1 +;; end precondition constraints +post:EMPTY +snprintf +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 23 0 +r +0 +1 +e1 +2 +2 +Param 63 1 +e2 +2 +3 +-1 +;; end precondition constraints +post:EMPTY +tempnam +pre:EMPTY +post: +C +0@1@3 +l +1 +3 +2 +2 +Result +r +2 +3 +0 +C +0@1@3 +l +1 +1 +2 +2 +Result +r +2 +3 +0 +;; end precondition constraints +gcvt +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 23 2 +r +2 +2 +Param 5 1 +;; end precondition constraints +post:EMPTY +initstate +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 23 1 +r +0 +1 +e1 +2 +2 +Param 63 2 +e2 +2 +3 +-1 +;; end precondition constraints +post:EMPTY +jrand48 +pre: +C +0@1@3 +l +1 +1 +2 +2 +Param 1780 0 +r +2 +3 +2 +;; end precondition constraints +post:EMPTY +l64a +pre:EMPTY +post: +C +0@1@1 +l +1 +1 +2 +2 +Result +r +2 +3 +5 +C +0@1@1 +l +1 +3 +2 +2 +Result +r +2 +3 +5 +;; end precondition constraints +lcong48 +pre: +C +0@1@3 +l +1 +3 +2 +2 +Param 1789 0 +r +2 +3 +6 +;; end precondition constraints +post:EMPTY +nrand48 +pre: +C +0@1@3 +l +1 +3 +2 +2 +Param 1815 0 +r +2 +3 +2 +C +0@1@3 +l +1 +1 +2 +2 +Param 1815 0 +r +2 +3 +2 +;; end precondition constraints +post:EMPTY +seed48 +pre: +C +0@1@3 +l +1 +3 +2 +2 +Param 1842 0 +r +2 +3 +2 +;; end precondition constraints +post:EMPTY +setkey +pre: +C +0@1@3 +l +1 +3 +2 +2 +Param 23 0 +r +2 +3 +63 +;; end precondition constraints +post:EMPTY +valloc +pre:EMPTY +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 ;; Modules access lltX_bool#1@ types#1@ diff --git a/test/Makefile.am b/test/Makefile.am index df0bdec..46d23cd 100644 --- a/test/Makefile.am +++ b/test/Makefile.am @@ -10,6 +10,10 @@ DIFFFLAGS = -u LCLINT = $(top_builddir)/src/lclint$(EXEEXT) +unexport LARCH_PATH +unexport LCLIMPORTDIR + + ### This is horrible! Can't we make top_builddir absolute? LCLINTNEST = ../$(top_builddir)/src/lclint$(EXEEXT) @@ -110,15 +114,16 @@ CLEANOUTPUT = $(GREP) -v "LCLint 3." | $(GREP) -v "$(LCLINT)" | $(GREP) -v "^mak .c.diff: $(MAKE) $* |& $(CLEANOUTPUT) >$*.out && diff $*.expect $*.out -.PHONY: expects -expects: - @echo "Saving old expects..."; \ - cat *.expect >expects-`date +"%y-%m-%d-%H"` - @for TEST in $(UNITTESTS) $(INTEGTESTS); do \ - echo "Making $$TEST.expect..."; \ - $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.expect; \ - cat $$TEST.expect; \ - done +#drl temporally take this out. +#.PHONY: expects +#expects: +# @echo "Saving old expects..."; \ +# cat *.expect >expects-`date +"%y-%m-%d-%H"` +# @for TEST in $(UNITTESTS) $(INTEGTESTS); do \ +# echo "Making $$TEST.expect..."; \ +# $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.expect; \ +# cat $$TEST.expect; \ +# done .PHONY: quicktest quicktest: @@ -767,4 +772,630 @@ SUBDIRTESTS += db1 db2 db3 $(SUBDIRTESTS): cd $@; $(MAKE) LCLINT="$(LCLINTRNNEST)" - +#drl 11/29/2001 This is a very ugly hack to get make dist to work +EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ + ./abstptr.lcl ./abstptr.lcs \ + ./alias.lcl ./alias.lcs \ + ./alias2.lcl ./alias2.lcs \ + ./alias3.lcl \ + ./db1/erc.lcl \ + ./db1/bool.lcl \ + ./db1/dbase.lcl \ + ./db1/employee.lcl \ + ./db1/empset.lcl \ + ./db1/eref.lcl \ + ./db1/ereftab.lcl \ + ./alias3.lcs \ + ./alias3.lh \ + ./alias4.lcl \ + ./alias4.lcs \ + ./alias4.lh \ + ./alias5.lcl \ + ./alias5.lcs \ + ./alias5.lh \ + ./argorder2.lcl \ + ./argorder2.lcs \ + ./argorder4.lcl \ + ./argorder4.lcs \ + ./args.lcl \ + ./args.lcs \ + ./cast.lcl \ + ./cast.lcs \ + ./decl2.lcl \ + ./decl2.lcs \ + ./empty.lcl \ + ./enum.lcl \ + ./enum.lcs \ + ./glob.lcl \ + ./glob.lcs \ + ./impabstract.lcl \ + ./impabstract.lcs \ + ./iter.lcl \ + ./iter.lcs \ + ./macros.lcl \ + ./macros.lcs \ + ./macrosef.lcl \ + ./macrosef.lcs \ + ./modtest.lcl \ + ./modtest.lcs \ + ./mut.lcl \ + ./mut.lcs \ + ./mut.lh \ + ./mut.lh.expect \ + ./db2/dbase.lcl \ + ./db2/employee.lcl \ + ./db2/empset.lcl \ + ./db2/erc.lcl \ + ./db2/eref.lcl \ + ./db2/ereftab.lcl \ + ./db2/etest.lcl \ + ./null6.lcd \ + ./null6.lcl \ + ./null6.lcs \ + ./observer.lcl \ + ./observer.lcs \ + ./oldstyle.lcl \ + ./oldstyle.lcs \ + ./outglob.lcl \ + ./outglob.lcs \ + ./outparam.lcl \ + ./outparam.lcs \ + ./rc1.lclintrc \ + ./rc2.lclintrc \ + ./rc3.lclintrc \ + ./rc3.lclintrc.os2 \ + ./repexpose.lcl \ + ./repexpose.lcs \ + ./repexpose.lh \ + ./repexpose.lh.expect \ + ./special.lcl \ + ./special.lcs \ + ./db3/.lclintrc \ + ./db3/bool.lcl \ + ./db3/check.lcl \ + ./db3/dbase.lcl \ + ./db3/employee.lcl \ + ./db3/empset.lcl \ + ./db3/erc.lcl \ + ./db3/eref.lcl \ + ./db3/ereftab.lcl \ + ./tq.lcl \ + ./tq.lcs \ + ./ud2.lcl \ + ./ud2.lcs \ + ./for/.lclintrc \ + ./globalbufferannotation/.lclintrc \ + ./maxset/.lclintrc \ + ./strchr/.lclintrc \ + ./tests2.2/bool.lcl \ + ./tests2.2/bool.lcs \ + ./tests2.2/libraries.lcd \ + ./tests2.2/obsolete.lcd \ + ./tests2.2/oldversion.lcd \ + ./tests2.4/subdir/main.lcl \ + ./tests2.4/subdir/main.lcs \ + ./tests2.5/newlint.lcd \ + ./warnuse/warnuse.lcd \ + ./empty.lcs \ + ./abstptr.c \ + ./alias.c \ + ./alias2.c \ + ./alias3.c \ + ./db1/dbase.c \ + ./db1/drive.c \ + ./db1/employee.c \ + ./db1/empset.c \ + ./db1/erc.c \ + ./db1/eref.c \ + ./db1/ereftab.c \ + ./alias4.c \ + ./alias5.c \ + ./alttypes.c \ + ./ansireserved.c \ + ./ansireserved2.c \ + ./argorder.c \ + ./argorder2.c \ + ./argorder3.c \ + ./argorder4.c \ + ./argorder5.c \ + ./args.c \ + ./arrayinit.c \ + ./blocks.c \ + ./branchstate.c \ + ./break.c \ + ./cases.c \ + ./buffertest1.c \ + ./cases2.c \ + ./cast.c \ + ./cast2.c \ + ./charlit.c \ + ./clauses.c \ + ./clauses2.c \ + ./clauses3.c \ + ./commentchar.c \ + ./commentcmd.c \ + ./compdestroy.c \ + ./csyntax.c \ + ./constannot.c \ + ./controldepth.c \ + ./csyntax10.c \ + ./csyntax11.c \ + ./csyntax12.c \ + ./csyntax13.c \ + ./csyntax14.c \ + ./csyntax15.c \ + ./csyntax16.c \ + ./csyntax17.c \ + ./csyntax2.c \ + ./csyntax3.c \ + ./csyntax4.c \ + ./csyntax5.c \ + ./csyntax6.c \ + ./csyntax7.c \ + ./csyntax8.c \ + ./csyntax9.c \ + ./czechnames.c \ + ./czechoslovaknames.c \ + ./deadparam.c \ + ./decl.c \ + ./decl2.c \ + ./dkf5kEnum.c \ + ./dkf5kRange.c \ + ./dkf5kSprintf.c \ + ./ensures.c \ + ./enum.c \ + ./exports.c \ + ./external.c \ + ./fields.c \ + ./fields2.c \ + ./fields3.c \ + ./flags.c \ + ./glob.c \ + ./forbody.c \ + ./format.c \ + ./freearray.c \ + ./funcpointer.c \ + ./globals.c \ + ./globals2.c \ + ./impabstract.c \ + ./init.c \ + ./innerfree.c \ + ./inparam.c \ + ./internal.c \ + ./iter.c \ + ./iter2.c \ + ./keep.c \ + ./libs.c \ + ./linked.c \ + ./linked2.c \ + ./linked3.c \ + ./linked4.c \ + ./linked5.c \ + ./linked6.c \ + ./lintcomments.c \ + ./list.c \ + ./longconstants.c \ + ./macros.c \ + ./macrosef.c \ + ./merge.c \ + ./modclient.c \ + ./modifies.c \ + ./modtest.c \ + ./moduncon.c \ + ./mongoincludes.c \ + ./mparen.c \ + ./mut.c \ + ./mystrncat.c \ + ./noeffect.c \ + ./null1.c \ + ./null2.c \ + ./null3.c \ + ./null4.c \ + ./null5.c \ + ./db2/dbase.c \ + ./db2/drive.c \ + ./db2/employee.c \ + ./db2/empset.c \ + ./db2/erc.c \ + ./db2/eref.c \ + ./db2/ereftab.c \ + ./db2/etest.c \ + ./null6.c \ + ./nullassign.c \ + ./nullret.c \ + ./observer.c \ + ./oldstyle.c \ + ./outglob.c \ + ./outparam.c \ + ./postnotnull.c \ + ./preds.c \ + ./prefixes.c \ + ./printflike.c \ + ./rc.c \ + ./refcounts.c \ + ./release.c \ + ./repexpose.c \ + ./returned.c \ + ./sharing1.c \ + ./sharing2.c \ + ./sharing3.c \ + ./sharing4.c \ + ./sharing5.c \ + ./sizeof.c \ + ./slovaknames.c \ + ./specclauses.c \ + ./specclauses2.c \ + ./specclauses3.c \ + ./specclauses4.c \ + ./specclauses5.c \ + ./specclauses6.c \ + ./special.c \ + ./stack.c \ + ./staticarray.c \ + ./strings.c \ + ./structassign.c \ + ./switch.c \ + ./t1.c \ + ./test.c \ + ./db3/dbase.c \ + ./db3/drive.c \ + ./db3/employee.c \ + ./db3/empset.c \ + ./db3/erc.c \ + ./db3/eref.c \ + ./db3/ereftab.c \ + ./typequals.c \ + ./ud.c \ + ./ud2.c \ + ./ullint.c \ + ./ulstypes.c \ + ./union.c \ + ./unreachable.c \ + ./unsignedcompare.c \ + ./unused.c \ + ./void.c \ + ./conditions/miroslaw.c \ + ./conditions/releases.c \ + ./fileio/file.c \ + ./fileio/filebranch.c \ + ./fileio/filerw.c \ + ./for/for.c \ + ./globalbufferannotation/globalvariable.c \ + ./maxset/maxsetannotations.c \ + ./maxset/maxsetnoannotations.c \ + ./mergestate/taintednm.c \ + ./metastate/file.c \ + ./metastate/file1.c \ + ./metastate/file2.c \ + ./metastate/file3.c \ + ./metastate/file4.c \ + ./metastate/file5.c \ + ./metastate/file6.c \ + ./metastate/file7.c \ + ./metastate/filebad.c \ + ./metastate/global.c \ + ./metastate/nullbranch.c \ + ./metastate/nullbranch2.c \ + ./metastate/nullret.c \ + ./metastate/osd.c \ + ./metastate/sockets.c \ + ./metastate/sockets2.c \ + ./metastate/struct.c \ + ./metastate/test.c \ + ./metastate/voidptr.c \ + ./moreBufferTests/initialization.c \ + ./moreBufferTests/simplifyTest.c \ + ./moreBufferTests/strncatNotReallyGood.c \ + ./moreBufferTests/strncatReallyGood.c \ + ./moreBufferTests/strrchr.c \ + ./moreBufferTests/unrecogCall.c \ + ./nullterminatedtest/buggy1.c \ + ./nullterminatedtest/buggy_support1.c \ + ./nullterminatedtest/buggy_support_fmakeword.c \ + ./nullterminatedtest/test1.c \ + ./nullterminatedtest/test3.c \ + ./simplebufferConstraintTests/m.c \ + ./simplebufferConstraintTests/sizeof.c \ + ./simplebufferConstraintTests/test3.c \ + ./simplebufferConstraintTests/test7.c \ + ./sizeoftest/sizeof.c \ + ./strchr/strchr.c \ + ./suppressfile/test.c \ + ./tainted/sprintf.c \ + ./tainted/t1.c \ + ./tainted/tainted.c \ + ./tainted/tainted2.c \ + ./tainted/tainted3.c \ + ./tainted/tainted4.c \ + ./tainted/tainted5.c \ + ./tainted/taintedimplicit.c \ + ./tainted/taintedmerge.c \ + ./tainted/taintedx.c \ + ./tainted/test.c \ + ./tclauses/globals.c \ + ./tclauses/gt.c \ + ./tclauses/modifies.c \ + ./tclauses/struct.c \ + ./tclauses/undef.c \ + ./tests2.2/arbints.c \ + ./tests2.2/arrayfcn.c \ + ./tests2.2/booldef.c \ + ./tests2.2/boolenum.c \ + ./tests2.2/boolops.c \ + ./tests2.2/break.c \ + ./tests2.2/bstring.c \ + ./tests2.2/decl.c \ + ./tests2.2/enumbool.c \ + ./tests2.2/extension.c \ + ./tests2.2/libraries.c \ + ./tests2.2/modarray.c \ + ./tests2.2/nestext.c \ + ./tests2.2/offsetof.c \ + ./tests2.2/posix.c \ + ./tests2.2/realloc.c \ + ./tests2.2/rex.c \ + ./tests2.2/sizeofarray.c \ + ./tests2.2/struct.c \ + ./tests2.2a/addassign.c \ + ./tests2.2a/arrayparam.c \ + ./tests2.2a/bitops.c \ + ./tests2.2a/boolcomp.c \ + ./tests2.2a/boolenum.c \ + ./tests2.2a/dobb.c \ + ./tests2.2a/duff.c \ + ./tests2.2a/erik.c \ + ./tests2.2a/floatdouble.c \ + ./tests2.2a/florian.c \ + ./tests2.2a/fred.c \ + ./tests2.2a/isalpha.c \ + ./tests2.2a/notreached.c \ + ./tests2.2a/obviousloop.c \ + ./tests2.2a/popik.c \ + ./tests2.2a/sizeof.c \ + ./tests2.2a/toralf.c \ + ./tests2.4/subdir/main.c \ + ./tests2.4/alignof.c \ + ./tests2.4/array.c \ + ./tests2.4/bitfields.c \ + ./tests2.4/bug1.c \ + ./tests2.4/bug2.c \ + ./tests2.4/bug3.c \ + ./tests2.4/chin.c \ + ./tests2.4/cpptest.c \ + ./tests2.4/driverstub.c \ + ./tests2.4/duffs.c \ + ./tests2.4/emptycase.c \ + ./tests2.4/enumtest.c \ + ./tests2.4/error.c \ + ./tests2.4/fink.c \ + ./tests2.4/flagequal.c \ + ./tests2.4/forward.c \ + ./tests2.4/hash.c \ + ./tests2.4/hexconstants.c \ + ./tests2.4/innercomment.c \ + ./tests2.4/komazi.c \ + ./tests2.4/longlong.c \ + ./tests2.4/main.c \ + ./tests2.4/nothing.c \ + ./tests2.4/offsetof.c \ + ./tests2.4/print.c \ + ./tests2.4/ric.c \ + ./tests2.4/syncomment.c \ + ./tests2.4/syslog.c \ + ./tests2.4/test0.c \ + ./tests2.4/test1.c \ + ./tests2.4/test2.c \ + ./tests2.4/timecard.c \ + ./tests2.4/toothman.c \ + ./tests2.4/ulrich.c \ + ./tests2.5/badcomment.c \ + ./tests2.5/boolbad.c \ + ./tests2.5/boolt.c \ + ./tests2.5/booltest.c \ + ./tests2.5/dummyfile.c \ + ./tests2.5/hoof.c \ + ./tests2.5/immutable.c \ + ./tests2.5/impabsmodule.c \ + ./tests2.5/literals.c \ + ./tests2.5/quals.c \ + ./tests2.5/sort.c \ + ./tests2.5/testalt.c \ + ./tests2.5/testimmutable.c \ + ./tests2.5/uconstants.c \ + ./tests2.5/ull.c \ + ./warnuse/warnflags.c \ + ./warnuse/warngets.c \ + ./warnuse/warnuse.c \ + ./moreBufferTests2/unknownsize.c \ + ./moreBufferTests2/arrayConstExpr.c \ + abstptr.expect \ + abstract.expect \ + alias.expect \ + alttypes.expect \ + ansireserved.expect \ + argorder.expect \ + args.expect \ + arrayinit.expect \ + blocks.expect \ + branchstate.expect \ + break.expect \ + buffertest.expect \ + cases.expect \ + cast.expect \ + charlit.expect \ + clauses.expect \ + commentchar.expect \ + compdestroy.expect \ + constannot.expect \ + controldepth.expect \ + csyntax.expect \ + czechnames.expect \ + czechoslovaknames.expect \ + db1.expect \ + db2.expect \ + db3.expect \ + deadparam.expect \ + decl.expect \ + enum.expect \ + exports.expect \ + external.expect \ + fields.expect \ + fileio.expect \ + flags.expect \ + for.expect \ + forbody.expect \ + format.expect \ + freearray.expect \ + funcpointer.expect \ + glob.expect \ + globalbufferannotation.expect \ + globals.expect \ + help.expect \ + impabstract.expect \ + init.expect \ + inparam.expect \ + internal.expect \ + iter.expect \ + keep.expect \ + libs.expect \ + linked.expect \ + lintcomments.expect \ + list.expect \ + longconstants.expect \ + macros.expect \ + macrosef.expect \ + maxset.expect \ + merge.expect \ + mergestate.expect \ + metastate.expect \ + modifies.expect \ + modtest.expect \ + moduncon.expect \ + mongoincludes.expect \ + moreBufferTests.expect \ + moreBufferTests2.expect \ + mut.lh.expect \ + mystrncat.expect \ + noeffect.expect \ + null.expect \ + nullterminatedtest.expect \ + observer.expect \ + oldstyle.expect \ + outglob.expect \ + outparam.expect \ + postnotnull.expect \ + preds.expect \ + prefixes.expect \ + printflike.expect \ + rc.expect \ + refcounts.expect \ + release.expect \ + repexpose.expect \ + repexpose.lh.expect \ + returned.expect \ + sharing.expect \ + simplebufferConstraintTests.expect \ + sizeof.expect \ + sizeoftest.expect \ + slovaknames.expect \ + specclauses.expect \ + special.expect \ + stack.expect \ + staticarray.expect \ + strchr.expect \ + strings.expect \ + structassign.expect \ + tainted.expect \ + tests2.2.expect \ + tests2.2a.expect \ + tests2.3.expect \ + tests2.4.expect \ + tests2.5.expect \ + typequals.expect \ + ud.expect \ + ullint.expect \ + ulstypes.expect \ + union.expect \ + unreachable.expect \ + unsignedcompare.expect \ + unused.expect \ + void.expect \ + ./db1/bool.h \ + ./db1/dbase.h \ + ./db1/employee.h \ + ./db1/empset.h \ + ./db1/erc.h \ + ./db1/eref.h \ + ./db1/ereftab.h \ + ./bool.h \ + ./decl2.h \ + ./exports.h \ + ./iter.h \ + ./iter2.h \ + ./minc1.h \ + ./minc2.h \ + ./minc3.h \ + ./minc4.h \ + ./minc5.h \ + ./modifies.h \ + ./mut.h \ + ./db2/bool.h \ + ./db2/dbase.h \ + ./db2/employee.h \ + ./db2/empset.h \ + ./db2/erc.h \ + ./db2/eref.h \ + ./db2/ereftab.h \ + ./pivo.h \ + ./repexpose.h \ + ./db3/bool.h \ + ./db3/dbase.h \ + ./db3/employee.h \ + ./db3/empset.h \ + ./db3/erc.h \ + ./db3/eref.h \ + ./db3/ereftab.h \ + ./tq.h \ + ./metastate/global.h \ + ./suppressfile/test.h \ + ./tests2.2/Makefile.hide \ + ./tests2.2/mbool.h \ + ./tests2.4/forward.h \ + ./tests2.4/hash.h \ + ./tests2.4/timecard.h \ + ./tests2.5/baz.h \ + ./tests2.5/bimbim.h \ + ./tests2.5/immutable.h \ + ./tests2.5/impabsmodule.h \ + ./tests2.5/socket.h \ + ./Makefile-test.os2 \ + ./db1/Makefile \ + ./db2/Makefile \ + ./db3/Makefile \ + ./conditions/Makefile \ + ./fileio/Makefile \ + ./for/Makefile \ + ./globalbufferannotation/Makefile \ + ./maxset/Makefile \ + ./mergestate/Makefile \ + ./metastate/Makefile \ + ./moreBufferTests/Makefile \ + ./simplebufferConstraintTests/Makefile \ + ./strchr/Makefile \ + ./tainted/Makefile \ + ./temp/Makefile \ + ./tests2.2/Makefile.hide \ + ./tests2.2/Makefile \ + ./tests2.2/Makefile-tests2.2.os2 \ + ./tests2.2a/Makefile \ + ./tests2.4/Makefile \ + ./tests2.4/Makefile-tests2.4.os2 \ + ./tests2.5/Makefile \ + ./warnuse/Makefile \ + ./Makefile.am \ + ./Makefile.in \ + ./moreBufferTests2/Makefile \ + ./fileio/eof.mts ./fileio/file.mts ./fileio/filerw.mts ./mergestate/tainted.mts ./mergestate/taintednm.mts ./metastate/file.mts ./metastate/nullterminated.mts ./metastate/sockets.mts ./tainted/tainted-bad.mts ./tainted/tainted.mts ./fileio/file.xh ./fileio/filerw.xh ./mergestate/tainted.xh ./mergestate/taintednm.xh ./metastate/file.xh ./tainted/tainted.xh \ + alias alttypes ansireserved \ + db2.old-expect outglob outparam preds union.pp warnuse.old-expect \ + ./tests2.5/badcomment ./tests2.5/boolbad ./tests2.5/booltest ./tests2.5/uconstants diff --git a/test/Makefile.in b/test/Makefile.in index 155b127..c0aa536 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -149,6 +149,635 @@ SUBDIRTESTS = metastate mergestate tainted fileio warnuse ensuresclauses \ simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \ maxset strchr for \ tests2.2 tests2.2a tests2.4 tests2.5 db1 db2 db3 + +#drl 11/29/2001 This is a very ugly hack to get make dist to work +EXTRA_DIST = ./abst_t.lcl ./abst_t.lcs \ + ./abstptr.lcl ./abstptr.lcs \ + ./alias.lcl ./alias.lcs \ + ./alias2.lcl ./alias2.lcs \ + ./alias3.lcl \ + ./db1/erc.lcl \ + ./db1/bool.lcl \ + ./db1/dbase.lcl \ + ./db1/employee.lcl \ + ./db1/empset.lcl \ + ./db1/eref.lcl \ + ./db1/ereftab.lcl \ + ./alias3.lcs \ + ./alias3.lh \ + ./alias4.lcl \ + ./alias4.lcs \ + ./alias4.lh \ + ./alias5.lcl \ + ./alias5.lcs \ + ./alias5.lh \ + ./argorder2.lcl \ + ./argorder2.lcs \ + ./argorder4.lcl \ + ./argorder4.lcs \ + ./args.lcl \ + ./args.lcs \ + ./cast.lcl \ + ./cast.lcs \ + ./decl2.lcl \ + ./decl2.lcs \ + ./empty.lcl \ + ./enum.lcl \ + ./enum.lcs \ + ./glob.lcl \ + ./glob.lcs \ + ./impabstract.lcl \ + ./impabstract.lcs \ + ./iter.lcl \ + ./iter.lcs \ + ./macros.lcl \ + ./macros.lcs \ + ./macrosef.lcl \ + ./macrosef.lcs \ + ./modtest.lcl \ + ./modtest.lcs \ + ./mut.lcl \ + ./mut.lcs \ + ./mut.lh \ + ./mut.lh.expect \ + ./db2/dbase.lcl \ + ./db2/employee.lcl \ + ./db2/empset.lcl \ + ./db2/erc.lcl \ + ./db2/eref.lcl \ + ./db2/ereftab.lcl \ + ./db2/etest.lcl \ + ./null6.lcd \ + ./null6.lcl \ + ./null6.lcs \ + ./observer.lcl \ + ./observer.lcs \ + ./oldstyle.lcl \ + ./oldstyle.lcs \ + ./outglob.lcl \ + ./outglob.lcs \ + ./outparam.lcl \ + ./outparam.lcs \ + ./rc1.lclintrc \ + ./rc2.lclintrc \ + ./rc3.lclintrc \ + ./rc3.lclintrc.os2 \ + ./repexpose.lcl \ + ./repexpose.lcs \ + ./repexpose.lh \ + ./repexpose.lh.expect \ + ./special.lcl \ + ./special.lcs \ + ./db3/.lclintrc \ + ./db3/bool.lcl \ + ./db3/check.lcl \ + ./db3/dbase.lcl \ + ./db3/employee.lcl \ + ./db3/empset.lcl \ + ./db3/erc.lcl \ + ./db3/eref.lcl \ + ./db3/ereftab.lcl \ + ./tq.lcl \ + ./tq.lcs \ + ./ud2.lcl \ + ./ud2.lcs \ + ./for/.lclintrc \ + ./globalbufferannotation/.lclintrc \ + ./maxset/.lclintrc \ + ./strchr/.lclintrc \ + ./tests2.2/bool.lcl \ + ./tests2.2/bool.lcs \ + ./tests2.2/libraries.lcd \ + ./tests2.2/obsolete.lcd \ + ./tests2.2/oldversion.lcd \ + ./tests2.4/subdir/main.lcl \ + ./tests2.4/subdir/main.lcs \ + ./tests2.5/newlint.lcd \ + ./warnuse/warnuse.lcd \ + ./empty.lcs \ + ./abstptr.c \ + ./alias.c \ + ./alias2.c \ + ./alias3.c \ + ./db1/dbase.c \ + ./db1/drive.c \ + ./db1/employee.c \ + ./db1/empset.c \ + ./db1/erc.c \ + ./db1/eref.c \ + ./db1/ereftab.c \ + ./alias4.c \ + ./alias5.c \ + ./alttypes.c \ + ./ansireserved.c \ + ./ansireserved2.c \ + ./argorder.c \ + ./argorder2.c \ + ./argorder3.c \ + ./argorder4.c \ + ./argorder5.c \ + ./args.c \ + ./arrayinit.c \ + ./blocks.c \ + ./branchstate.c \ + ./break.c \ + ./cases.c \ + ./buffertest1.c \ + ./cases2.c \ + ./cast.c \ + ./cast2.c \ + ./charlit.c \ + ./clauses.c \ + ./clauses2.c \ + ./clauses3.c \ + ./commentchar.c \ + ./commentcmd.c \ + ./compdestroy.c \ + ./csyntax.c \ + ./constannot.c \ + ./controldepth.c \ + ./csyntax10.c \ + ./csyntax11.c \ + ./csyntax12.c \ + ./csyntax13.c \ + ./csyntax14.c \ + ./csyntax15.c \ + ./csyntax16.c \ + ./csyntax17.c \ + ./csyntax2.c \ + ./csyntax3.c \ + ./csyntax4.c \ + ./csyntax5.c \ + ./csyntax6.c \ + ./csyntax7.c \ + ./csyntax8.c \ + ./csyntax9.c \ + ./czechnames.c \ + ./czechoslovaknames.c \ + ./deadparam.c \ + ./decl.c \ + ./decl2.c \ + ./dkf5kEnum.c \ + ./dkf5kRange.c \ + ./dkf5kSprintf.c \ + ./ensures.c \ + ./enum.c \ + ./exports.c \ + ./external.c \ + ./fields.c \ + ./fields2.c \ + ./fields3.c \ + ./flags.c \ + ./glob.c \ + ./forbody.c \ + ./format.c \ + ./freearray.c \ + ./funcpointer.c \ + ./globals.c \ + ./globals2.c \ + ./impabstract.c \ + ./init.c \ + ./innerfree.c \ + ./inparam.c \ + ./internal.c \ + ./iter.c \ + ./iter2.c \ + ./keep.c \ + ./libs.c \ + ./linked.c \ + ./linked2.c \ + ./linked3.c \ + ./linked4.c \ + ./linked5.c \ + ./linked6.c \ + ./lintcomments.c \ + ./list.c \ + ./longconstants.c \ + ./macros.c \ + ./macrosef.c \ + ./merge.c \ + ./modclient.c \ + ./modifies.c \ + ./modtest.c \ + ./moduncon.c \ + ./mongoincludes.c \ + ./mparen.c \ + ./mut.c \ + ./mystrncat.c \ + ./noeffect.c \ + ./null1.c \ + ./null2.c \ + ./null3.c \ + ./null4.c \ + ./null5.c \ + ./db2/dbase.c \ + ./db2/drive.c \ + ./db2/employee.c \ + ./db2/empset.c \ + ./db2/erc.c \ + ./db2/eref.c \ + ./db2/ereftab.c \ + ./db2/etest.c \ + ./null6.c \ + ./nullassign.c \ + ./nullret.c \ + ./observer.c \ + ./oldstyle.c \ + ./outglob.c \ + ./outparam.c \ + ./postnotnull.c \ + ./preds.c \ + ./prefixes.c \ + ./printflike.c \ + ./rc.c \ + ./refcounts.c \ + ./release.c \ + ./repexpose.c \ + ./returned.c \ + ./sharing1.c \ + ./sharing2.c \ + ./sharing3.c \ + ./sharing4.c \ + ./sharing5.c \ + ./sizeof.c \ + ./slovaknames.c \ + ./specclauses.c \ + ./specclauses2.c \ + ./specclauses3.c \ + ./specclauses4.c \ + ./specclauses5.c \ + ./specclauses6.c \ + ./special.c \ + ./stack.c \ + ./staticarray.c \ + ./strings.c \ + ./structassign.c \ + ./switch.c \ + ./t1.c \ + ./test.c \ + ./db3/dbase.c \ + ./db3/drive.c \ + ./db3/employee.c \ + ./db3/empset.c \ + ./db3/erc.c \ + ./db3/eref.c \ + ./db3/ereftab.c \ + ./typequals.c \ + ./ud.c \ + ./ud2.c \ + ./ullint.c \ + ./ulstypes.c \ + ./union.c \ + ./unreachable.c \ + ./unsignedcompare.c \ + ./unused.c \ + ./void.c \ + ./conditions/miroslaw.c \ + ./conditions/releases.c \ + ./fileio/file.c \ + ./fileio/filebranch.c \ + ./fileio/filerw.c \ + ./for/for.c \ + ./globalbufferannotation/globalvariable.c \ + ./maxset/maxsetannotations.c \ + ./maxset/maxsetnoannotations.c \ + ./mergestate/taintednm.c \ + ./metastate/file.c \ + ./metastate/file1.c \ + ./metastate/file2.c \ + ./metastate/file3.c \ + ./metastate/file4.c \ + ./metastate/file5.c \ + ./metastate/file6.c \ + ./metastate/file7.c \ + ./metastate/filebad.c \ + ./metastate/global.c \ + ./metastate/nullbranch.c \ + ./metastate/nullbranch2.c \ + ./metastate/nullret.c \ + ./metastate/osd.c \ + ./metastate/sockets.c \ + ./metastate/sockets2.c \ + ./metastate/struct.c \ + ./metastate/test.c \ + ./metastate/voidptr.c \ + ./moreBufferTests/initialization.c \ + ./moreBufferTests/simplifyTest.c \ + ./moreBufferTests/strncatNotReallyGood.c \ + ./moreBufferTests/strncatReallyGood.c \ + ./moreBufferTests/strrchr.c \ + ./moreBufferTests/unrecogCall.c \ + ./nullterminatedtest/buggy1.c \ + ./nullterminatedtest/buggy_support1.c \ + ./nullterminatedtest/buggy_support_fmakeword.c \ + ./nullterminatedtest/test1.c \ + ./nullterminatedtest/test3.c \ + ./simplebufferConstraintTests/m.c \ + ./simplebufferConstraintTests/sizeof.c \ + ./simplebufferConstraintTests/test3.c \ + ./simplebufferConstraintTests/test7.c \ + ./sizeoftest/sizeof.c \ + ./strchr/strchr.c \ + ./suppressfile/test.c \ + ./tainted/sprintf.c \ + ./tainted/t1.c \ + ./tainted/tainted.c \ + ./tainted/tainted2.c \ + ./tainted/tainted3.c \ + ./tainted/tainted4.c \ + ./tainted/tainted5.c \ + ./tainted/taintedimplicit.c \ + ./tainted/taintedmerge.c \ + ./tainted/taintedx.c \ + ./tainted/test.c \ + ./tclauses/globals.c \ + ./tclauses/gt.c \ + ./tclauses/modifies.c \ + ./tclauses/struct.c \ + ./tclauses/undef.c \ + ./tests2.2/arbints.c \ + ./tests2.2/arrayfcn.c \ + ./tests2.2/booldef.c \ + ./tests2.2/boolenum.c \ + ./tests2.2/boolops.c \ + ./tests2.2/break.c \ + ./tests2.2/bstring.c \ + ./tests2.2/decl.c \ + ./tests2.2/enumbool.c \ + ./tests2.2/extension.c \ + ./tests2.2/libraries.c \ + ./tests2.2/modarray.c \ + ./tests2.2/nestext.c \ + ./tests2.2/offsetof.c \ + ./tests2.2/posix.c \ + ./tests2.2/realloc.c \ + ./tests2.2/rex.c \ + ./tests2.2/sizeofarray.c \ + ./tests2.2/struct.c \ + ./tests2.2a/addassign.c \ + ./tests2.2a/arrayparam.c \ + ./tests2.2a/bitops.c \ + ./tests2.2a/boolcomp.c \ + ./tests2.2a/boolenum.c \ + ./tests2.2a/dobb.c \ + ./tests2.2a/duff.c \ + ./tests2.2a/erik.c \ + ./tests2.2a/floatdouble.c \ + ./tests2.2a/florian.c \ + ./tests2.2a/fred.c \ + ./tests2.2a/isalpha.c \ + ./tests2.2a/notreached.c \ + ./tests2.2a/obviousloop.c \ + ./tests2.2a/popik.c \ + ./tests2.2a/sizeof.c \ + ./tests2.2a/toralf.c \ + ./tests2.4/subdir/main.c \ + ./tests2.4/alignof.c \ + ./tests2.4/array.c \ + ./tests2.4/bitfields.c \ + ./tests2.4/bug1.c \ + ./tests2.4/bug2.c \ + ./tests2.4/bug3.c \ + ./tests2.4/chin.c \ + ./tests2.4/cpptest.c \ + ./tests2.4/driverstub.c \ + ./tests2.4/duffs.c \ + ./tests2.4/emptycase.c \ + ./tests2.4/enumtest.c \ + ./tests2.4/error.c \ + ./tests2.4/fink.c \ + ./tests2.4/flagequal.c \ + ./tests2.4/forward.c \ + ./tests2.4/hash.c \ + ./tests2.4/hexconstants.c \ + ./tests2.4/innercomment.c \ + ./tests2.4/komazi.c \ + ./tests2.4/longlong.c \ + ./tests2.4/main.c \ + ./tests2.4/nothing.c \ + ./tests2.4/offsetof.c \ + ./tests2.4/print.c \ + ./tests2.4/ric.c \ + ./tests2.4/syncomment.c \ + ./tests2.4/syslog.c \ + ./tests2.4/test0.c \ + ./tests2.4/test1.c \ + ./tests2.4/test2.c \ + ./tests2.4/timecard.c \ + ./tests2.4/toothman.c \ + ./tests2.4/ulrich.c \ + ./tests2.5/badcomment.c \ + ./tests2.5/boolbad.c \ + ./tests2.5/boolt.c \ + ./tests2.5/booltest.c \ + ./tests2.5/dummyfile.c \ + ./tests2.5/hoof.c \ + ./tests2.5/immutable.c \ + ./tests2.5/impabsmodule.c \ + ./tests2.5/literals.c \ + ./tests2.5/quals.c \ + ./tests2.5/sort.c \ + ./tests2.5/testalt.c \ + ./tests2.5/testimmutable.c \ + ./tests2.5/uconstants.c \ + ./tests2.5/ull.c \ + ./warnuse/warnflags.c \ + ./warnuse/warngets.c \ + ./warnuse/warnuse.c \ + ./moreBufferTests2/unknownsize.c \ + ./moreBufferTests2/arrayConstExpr.c \ + abstptr.expect \ + abstract.expect \ + alias.expect \ + alttypes.expect \ + ansireserved.expect \ + argorder.expect \ + args.expect \ + arrayinit.expect \ + blocks.expect \ + branchstate.expect \ + break.expect \ + buffertest.expect \ + cases.expect \ + cast.expect \ + charlit.expect \ + clauses.expect \ + commentchar.expect \ + compdestroy.expect \ + constannot.expect \ + controldepth.expect \ + csyntax.expect \ + czechnames.expect \ + czechoslovaknames.expect \ + db1.expect \ + db2.expect \ + db3.expect \ + deadparam.expect \ + decl.expect \ + enum.expect \ + exports.expect \ + external.expect \ + fields.expect \ + fileio.expect \ + flags.expect \ + for.expect \ + forbody.expect \ + format.expect \ + freearray.expect \ + funcpointer.expect \ + glob.expect \ + globalbufferannotation.expect \ + globals.expect \ + help.expect \ + impabstract.expect \ + init.expect \ + inparam.expect \ + internal.expect \ + iter.expect \ + keep.expect \ + libs.expect \ + linked.expect \ + lintcomments.expect \ + list.expect \ + longconstants.expect \ + macros.expect \ + macrosef.expect \ + maxset.expect \ + merge.expect \ + mergestate.expect \ + metastate.expect \ + modifies.expect \ + modtest.expect \ + moduncon.expect \ + mongoincludes.expect \ + moreBufferTests.expect \ + moreBufferTests2.expect \ + mut.lh.expect \ + mystrncat.expect \ + noeffect.expect \ + null.expect \ + nullterminatedtest.expect \ + observer.expect \ + oldstyle.expect \ + outglob.expect \ + outparam.expect \ + postnotnull.expect \ + preds.expect \ + prefixes.expect \ + printflike.expect \ + rc.expect \ + refcounts.expect \ + release.expect \ + repexpose.expect \ + repexpose.lh.expect \ + returned.expect \ + sharing.expect \ + simplebufferConstraintTests.expect \ + sizeof.expect \ + sizeoftest.expect \ + slovaknames.expect \ + specclauses.expect \ + special.expect \ + stack.expect \ + staticarray.expect \ + strchr.expect \ + strings.expect \ + structassign.expect \ + tainted.expect \ + tests2.2.expect \ + tests2.2a.expect \ + tests2.3.expect \ + tests2.4.expect \ + tests2.5.expect \ + typequals.expect \ + ud.expect \ + ullint.expect \ + ulstypes.expect \ + union.expect \ + unreachable.expect \ + unsignedcompare.expect \ + unused.expect \ + void.expect \ + ./db1/bool.h \ + ./db1/dbase.h \ + ./db1/employee.h \ + ./db1/empset.h \ + ./db1/erc.h \ + ./db1/eref.h \ + ./db1/ereftab.h \ + ./bool.h \ + ./decl2.h \ + ./exports.h \ + ./iter.h \ + ./iter2.h \ + ./minc1.h \ + ./minc2.h \ + ./minc3.h \ + ./minc4.h \ + ./minc5.h \ + ./modifies.h \ + ./mut.h \ + ./db2/bool.h \ + ./db2/dbase.h \ + ./db2/employee.h \ + ./db2/empset.h \ + ./db2/erc.h \ + ./db2/eref.h \ + ./db2/ereftab.h \ + ./pivo.h \ + ./repexpose.h \ + ./db3/bool.h \ + ./db3/dbase.h \ + ./db3/employee.h \ + ./db3/empset.h \ + ./db3/erc.h \ + ./db3/eref.h \ + ./db3/ereftab.h \ + ./tq.h \ + ./metastate/global.h \ + ./suppressfile/test.h \ + ./tests2.2/Makefile.hide \ + ./tests2.2/mbool.h \ + ./tests2.4/forward.h \ + ./tests2.4/hash.h \ + ./tests2.4/timecard.h \ + ./tests2.5/baz.h \ + ./tests2.5/bimbim.h \ + ./tests2.5/immutable.h \ + ./tests2.5/impabsmodule.h \ + ./tests2.5/socket.h \ + ./Makefile-test.os2 \ + ./db1/Makefile \ + ./db2/Makefile \ + ./db3/Makefile \ + ./conditions/Makefile \ + ./fileio/Makefile \ + ./for/Makefile \ + ./globalbufferannotation/Makefile \ + ./maxset/Makefile \ + ./mergestate/Makefile \ + ./metastate/Makefile \ + ./moreBufferTests/Makefile \ + ./simplebufferConstraintTests/Makefile \ + ./strchr/Makefile \ + ./tainted/Makefile \ + ./temp/Makefile \ + ./tests2.2/Makefile.hide \ + ./tests2.2/Makefile \ + ./tests2.2/Makefile-tests2.2.os2 \ + ./tests2.2a/Makefile \ + ./tests2.4/Makefile \ + ./tests2.4/Makefile-tests2.4.os2 \ + ./tests2.5/Makefile \ + ./warnuse/Makefile \ + ./Makefile.am \ + ./Makefile.in \ + ./moreBufferTests2/Makefile \ + ./fileio/eof.mts ./fileio/file.mts ./fileio/filerw.mts ./mergestate/tainted.mts ./mergestate/taintednm.mts ./metastate/file.mts ./metastate/nullterminated.mts ./metastate/sockets.mts ./tainted/tainted-bad.mts ./tainted/tainted.mts ./fileio/file.xh ./fileio/filerw.xh ./mergestate/tainted.xh ./mergestate/taintednm.xh ./metastate/file.xh ./tainted/tainted.xh \ + alias alttypes ansireserved \ + db2.old-expect outglob outparam preds union.pp warnuse.old-expect \ + ./tests2.5/badcomment ./tests2.5/boolbad ./tests2.5/booltest ./tests2.5/uconstants + subdir = test mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs CONFIG_HEADER = $(top_builddir)/config.h @@ -177,6 +806,7 @@ top_distdir = .. distdir = $(top_distdir)/$(PACKAGE)-$(VERSION) distdir: $(DISTFILES) + $(mkinstalldirs) $(distdir)/./conditions $(distdir)/./db1 $(distdir)/./db2 $(distdir)/./db3 $(distdir)/./fileio $(distdir)/./for $(distdir)/./globalbufferannotation $(distdir)/./maxset $(distdir)/./mergestate $(distdir)/./metastate $(distdir)/./moreBufferTests $(distdir)/./moreBufferTests2 $(distdir)/./nullterminatedtest $(distdir)/./simplebufferConstraintTests $(distdir)/./sizeoftest $(distdir)/./strchr $(distdir)/./suppressfile $(distdir)/./tainted $(distdir)/./tclauses $(distdir)/./temp $(distdir)/./tests2.2 $(distdir)/./tests2.2a $(distdir)/./tests2.4 $(distdir)/./tests2.4/subdir $(distdir)/./tests2.5 $(distdir)/./warnuse @for file in $(DISTFILES); do \ if test -f $$file; then d=.; else d=$(srcdir); fi; \ dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \ @@ -266,6 +896,9 @@ uninstall-am: uninstall-info-am mostlyclean-generic uninstall uninstall-am uninstall-info-am +unexport LARCH_PATH +unexport LCLIMPORTDIR + .PHONY: all check all check: fulltest @@ -301,15 +934,16 @@ $(LCLINT): .c.diff: $(MAKE) $* |& $(CLEANOUTPUT) >$*.out && diff $*.expect $*.out -.PHONY: expects -expects: - @echo "Saving old expects..."; \ - cat *.expect >expects-`date +"%y-%m-%d-%H"` - @for TEST in $(UNITTESTS) $(INTEGTESTS); do \ - echo "Making $$TEST.expect..."; \ - $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.expect; \ - cat $$TEST.expect; \ - done +#drl temporally take this out. +#.PHONY: expects +#expects: +# @echo "Saving old expects..."; \ +# cat *.expect >expects-`date +"%y-%m-%d-%H"` +# @for TEST in $(UNITTESTS) $(INTEGTESTS); do \ +# echo "Making $$TEST.expect..."; \ +# $(MAKE) $$TEST 2>&1 | $(CLEANOUTPUT) >$$TEST.expect; \ +# cat $$TEST.expect; \ +# done .PHONY: quicktest quicktest: diff --git a/test/tests2.5/boolbad b/test/tests2.5/boolbad index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..c95bccc77f2e38584fcebab0bcd43d6fc47ae399 100644 GIT binary patch literal 13535 zcmbtbe{fvIeP3B3F~opP2!RB`6#|h#KIwi)I!U4Bgf*LCZel1`^dXA*|VA1yR(lcr2c5;rgvy!ZBgCqKEntE)@duugR=<_4B~)@PCSY}O@N zl~C_ez3M~igGiNPS+)fp#M8ixmm&5bb|b#Uh%(0a0yDCVvg6iJrVy`3MMlDXLWetA4Yl$BF*|1 z@=uxkKBPUc`S*}sgZKf&YmxtRq~zbu{9`@qDSwl?s%=B$6Nt+5<`?QUFN_L}$nzAs zSY+3RP*6Nt@XA50Pz@gPkuCWRe?AB!zu}b|g$3UWYUR4}CZ-f*1*ZzHUT6O5*=l*?@QYV&gMCP&6(YlovPuzduyU!i} z`6&~0AC|YOKY^~%x^pw9PJZ=vRz3ObN0@vu0aZ?@w{iJ05_(n+TsZgY z$>?_V44EK#AgGQcikED}dV^y7hA%B4x z(fQ*Ke>(}CkH2_4{|hVq`jzG{R+<+oJrJo|dHz$yP{iwesRgkb8U1y>iM? z=v!=cjsEVRv179vLw@pzI=l4t%8HDOp4;?S8}5Q47Bhv$;tw|E`eVy~0$2DY;uV;; zA3!9X13<^xfJj$?qbvFi=W#FACaxpjLCSUIUZhtbJ&O1qMAmyBA_Lc)ZD@;{B@nMg z#3-rvBYqxoi62MGwSx_Fy=97?)k~m5-#T?UkMtn&fD%Yk>IpS}gXS+GHw)cKxA;!r zyAT;h5nBWZEN>AYd2pjh3x<5VCr3MTp?`{X* z?_gKXrSM_H|F1~@0+-CNx_4HpA|eL_$9$P!EXv45zKYHrN#u`E_kcpy9EEH z;2FUm6odfNU^oWCJ%aBQ90)!ncvo;NKH`1s1B7`hCG427UzS%;R0^UW2)`wuDDm|3#5w&awl)O~{W3iKtxdaVCVupZN23f5zB5{qn0eOx4+5v*-{RTw5Bd*RN~iA7N9q^n=$EKV`VueIdd2 z>mlLMYv7xLhlT&L8(23d_$I+4f`PJfv?)C-K)`44eIGzF16q#rncxQ1wemRE$QW-hsZ<=B*7$#c8tdcVhvniv=M<9sWj|J z9==Gglq)C3V=AoF8&PbN9A%`2M7tbpnMn^1<;M6Q2G^_?wL9X}89}>aLxY2vL9lCc z#{-xeAY)Es1CMP3` zax4;Sx#ecyQJzYZfo@s#kH$twVQ|A-!!J}v#W(u~`ZDRUV4*N?@|iRV?TU_C7+!H` z46QV7WxMTTpo9m51XDW-T%;+6LpU)MY3Zit%{7B+gooiH1w06c#uylaJD_SB7S@SM zCi{b0vDz&8e5p{}5*}Nat5?Hh<=0GBiZ5*mGPxoB7NWmcua$#&)PuzESXlBG!~XeN zv)>!XbiTN#SqqMm?+BX3ON{=xAPW1VV~akUc9bgng{awBO-052V#zNX=7k_EQdmrr zg$DiU$8rMw=K4j^hF_`_BBO6QIWiP?9q$bw4K0Uw!{E_aIW9S{QFb%l8#F!Ra9Kl5 zr8HSQ9o*SIxEZ)dG+8e;**-W}TLcG9Sm9Qn4r%r&^)gO;8BGW2@6Y^l0e(qPpgvrk6n#aNHD9zd~u7&{W0 z)I%urMm1QlvUL~5k|f6#OY2@r-`m2SPL{)%oZ5ZV?2%=-|HjXJ^TJy?j7ZNb*1qt)VD!9;${G&$06sIGYF#KT} zA{X#oBJ>+a{8HyAF5uwQ#Pg5qP2{dG)%-?>?xa2#)NFk_ZVPVbIdHPFcc|p_GsRgC zwdh^ciW)mYS9P{tE9zAqHT1OS?6$HSOJ;eN8G|7Sae(j|ORhq)(FllPJ`-5~q%SDCnFr#@cP;7(JZcWA~st@lZr}>g?w#XVMeR zoRcuEmw4QkKBrP#aAlQMOE^|qqTbgr!JJ10simJDmWts5-Z40oOYIYUFwlF8Wrpj| z$(pL$%7_A~4A*Q9qdO^$RMd9kjKO1gdBJXbW(dBnpQTiIpSqFHZ-TMeGtV z`zG_Vc~dmpE;3bi<@fKLnbzVY}h_VLQt#3R}Vp1}kIa0gS&in6ThF(+Sp;e(j1i3 zRiWmZRS!4)#xbW&9`@KK^p%QS8rQ7YX$)ERP>;)-t_P*ptk+=`S%Fv$`s!*>nAI*e z3-&kLuPm8kFaRZhoL%U6s8}$WGSHszDsNIXG-a(GHWcsP7 zhA!D{I38gZKt{X~yJmCGhYNU@Rr7szf(jU&%qbCTcH!t+#W{0Yb!tcT_(WwEXQytv zaIk%1jr?-czT(T|%z4!v#%#)*Rjsu-PC@w z0W5>r5InD3EzGYz9|g4|^? zI<^Cj4fX@$`cesgig~rF*Sv_m!4~{q>uPF2yYgbsa3i2(1o&bEn9`^!nRI-<6&SR0 zYxvdVd_B@&u?oO-O(g|#*HlT|TMJNLr_(^F{P!#R;+jepqk1C*StlY2?H3k;BGjG> zQ6&E`9i<-yoJ`Ry+;jn_bgjR(&^!A7L2%KO>k#E`BT{^Fj04LU_%#(*1B6fRAfh0F zybV1Da5!)^Lil(Ws26;21!c>bGV*I8K8*_>?+D!szD49&7f^Wc$yM>jL^mS!gTqLtSTbnYJk+?9i+#> zM>nJHv=39}`L*5h@y^oc!IuDypUv!ujEoJvWWQQpL}ReZN#0-jWCFv zRv^WEj{}pBW5Ro^ywi%$&vBq`41b1b`FMq|4}7+aat|8Bt^j6L@gXgZJ5Nurgi-!D5!Z=Oaq}i)C`k z{sWlv*M=X0&)$C{&C0+PhK_b`=*5LmTgl-gKYhi9uWnK5MJRt02)rG@e$WRwH{5&!;U`RK;DjD7jCt#)}QOZDX0D`$n%0Q612BTa$kTsm z&yCnwcOlQazm#^3xtVJ zFV~Z6!2d1edoVuVle|(tK%V;#vMPb`|4-y?|E^J2syC5$e`|0#mW&4=kA6paS8)k( z+It`Jc0O&we7Y0)8=dk2eXQ#Iut7M% zRcu6I)GU_)7jb&_yj`=?Gv4IH{#pF=LEi<5@aZarl2YB9uh!@A94Dtluh2XSYJQKm zduIFIytgAiJ~4$#Y+iqzQ2HSsKMK*mj*w3l(y%En*Bg9!UzaCT$lB?&?Y1X}Q`4UC zD{~c=V!gy?K>v(FdiQ7S3SN_U8fPpTVU+}1?%)