]> andersk Git - splint.git/commitdiff
*** empty log message *** Alpha-3_0_0_19
authordrl7x <drl7x>
Wed, 5 Dec 2001 03:48:51 +0000 (03:48 +0000)
committerdrl7x <drl7x>
Wed, 5 Dec 2001 03:48:51 +0000 (03:48 +0000)
config.h
imports/Makefile
lib/Makefile.am
lib/Makefile.in
lib/stdlib.h
lib/unix.lcd
test/Makefile.am
test/Makefile.in
test/tests2.5/boolbad

index 6df6b6c8dbef2f75ea248ef6f11b29940ea17306..12b2a4fdc71766669572ca2203c839fc4783352b 100644 (file)
--- 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"
index d8cde400025c5d9f0a6c1cdad01d22f3cfa13061..ac7a87e241891e9f88db2a6310f30b8a77f89b69 100644 (file)
@@ -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
 
index 0b0c7cb3afa78b5f23f00904a3badb0889fee7da..a52f1554de9785ab58cc4553e3f148953ec8038c 100644 (file)
@@ -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 $@
index 5c46e79bcb2364241e574f88506824185d738ecb..ade91dde9d87ccba77d1a79342e88e1b6efa397f 100644 (file)
@@ -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.
index 809988abc1ba157349c4d7b6581e31c28ba40c05..372e93a494a60e88555cdb8b14329f5fb815fbae 100644 (file)
@@ -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*/   ;
index 599f3dd474afc339dc2633619653d6edf1820900..e4e52d929daa0de5dfe5156d18a2dd4f11a4892b 100644 (file)
 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|!
 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
 *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
 ^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
 *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)
 ^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
 ^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
 ^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:
 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
 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
 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@
index df0bdec983e2f7502d0b13458880e481aafa77bf..46d23cd07600cec68a680af279aabe6179d30141 100644 (file)
@@ -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 
index 155b127a54f195d937d1b45247ab4cc70631238e..c0aa53645d8f384a100fe5d1c8797f830d7e0996 100644 (file)
@@ -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:
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..c95bccc77f2e38584fcebab0bcd43d6fc47ae399 100644 (file)
Binary files a/test/tests2.5/boolbad and b/test/tests2.5/boolbad differ
This page took 1.820616 seconds and 5 git commands to generate.