Work around for the MaxSet(c) >= sizeof c -1 simplification.

Added comments to ignore array bounds errors in lex and bison files

diff --git a/src/Makefile b/src/Makefile
index 1ae47b26a349466719f4d7bff33b63c8b7040945..9783f13ba0e62ffd211889a14a8a50344ba26305 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -416,7 +416,7 @@ COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \
        $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
 CCLD = $(CC)
 LINK = $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
-CFLAGS = -g -O2
+CFLAGS = -g
 DIST_SOURCES = $(lcl_SOURCES) $(lclint_SOURCES)
 DIST_COMMON = Makefile.am Makefile.in
 SOURCES = $(lcl_SOURCES) $(lclint_SOURCES)
@@ -884,7 +884,7 @@ lintnew:
 lintbuffercheck: 
        ./lclint -f lclint.lclintrc $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(ALLSRC) $(LCLSRC) -dump lclint \
                     +forcehints -misplacedsharequal +showsourceloc -unrecogcomments \
-                    -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +arraybounds
+                    -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +arraybounds +arrayboundsread
 
 .PHONY: purify
 purify: $(lclint_OBJECTS)

diff --git a/src/Makefile.am b/src/Makefile.am
index 2c63cf8fc3f36386727cdfc8d90a157d900a58bf..0260981c8477b4351157b4157ef6317f4defb7b3 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -206,7 +206,7 @@ lintnew:
 lintbuffercheck: 
        ./lclint -f lclint.lclintrc $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(ALLSRC) $(LCLSRC) -dump lclint \
                     +forcehints -misplacedsharequal +showsourceloc -unrecogcomments \
-                    -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +arraybounds
+                    -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +arraybounds +arrayboundsread
 
 
 

diff --git a/src/Makefile.in b/src/Makefile.in
index 37fcb467f733f1d75e2cc2ae9363d55de4a129a1..bda63e5c12e68d62714d4e2189f7064a3eb119f4 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -884,7 +884,7 @@ lintnew:
 lintbuffercheck: 
        ./lclint -f lclint.lclintrc $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(ALLSRC) $(LCLSRC) -dump lclint \
                     +forcehints -misplacedsharequal +showsourceloc -unrecogcomments \
-                    -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +arraybounds
+                    -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +arraybounds +arrayboundsread
 
 .PHONY: purify
 purify: $(lclint_OBJECTS)

diff --git a/src/bison.head b/src/bison.head
index 90909a260c5b1ddabbfde742a56b379332002eb5..aca12ee21194fb4e8044997d08e3e6192c53b415 100644 (file)
--- a/src/bison.head
+++ b/src/bison.head
@@ -43,5 +43,8 @@
 /*@-nullassign@*/
 /*@-declundef@*/
 
+/*drl added 11/27/2001*/
+/*@-arraybounds@*/
+/*@-arrayboundsread@*/
 /* < end of bison.head > */
 

diff --git a/src/bison.reset b/src/bison.reset
index b5c319465f2f2ef3d05c5e7b44c2097a1919c888..005af2ec60a9d7e4daf820b8e2e1b48a0f402aff 100644 (file)
--- a/src/bison.reset
+++ b/src/bison.reset
@@ -41,3 +41,8 @@
 /*@=dependenttrans@*/
 /*@=unqualifiedtrans@*/
 /*@=declundef@*/
+
+
+/*drl added 11/27/2001*/
+/*@=arraybounds@*/
+/*@=arrayboundsread@*/

diff --git a/src/constraintResolve.c b/src/constraintResolve.c
index 7d7b8bed2ea9bc04f9965f437dbb8e1e8590c7be..034b70d58c45b2b25965097bbad1f46b3643868e 100644 (file)
--- a/src/constraintResolve.c
+++ b/src/constraintResolve.c
@@ -760,7 +760,8 @@ static bool  sizeofBufComp(constraintExpr buf1, constraintExpr expr2)
   /*@i223@*/ /*this may be the wronge thing to test for */
   if (sRef_similarRelaxed(s1, s2)   || sRef_sameName (s1, s2) )
     {
-      if (ctype_isFixedArray (sRef_getType (s2) ) )
+      /*@i22*/ /* get rid of this test of now */
+      /* if (ctype_isFixedArray (sRef_getType (s2) ) ) */
        return TRUE;
     }
   return FALSE;

diff --git a/src/flex.head b/src/flex.head
index b40ce7511b2de4281fbd4169b9c7b6d747c95620..0dc336a0b8f5688710274595b18a6519bc4b4291 100644 (file)
--- a/src/flex.head
+++ b/src/flex.head
@@ -53,6 +53,12 @@
 /*@-casebreak@*/
 /*@-retvalother@*/
 
+
+/*drl added 11/27/2001*/
+/*@-arraybounds@*/
+/*@-arrayboundsread@*/
+
+
 # ifdef __LCLINT__
 /*@-redecl@*/ /*@-type@*/
 extern int lsllex (void);

diff --git a/src/flex.reset b/src/flex.reset
index 0ef79dec91392b7fefa6893c9209b792b7c63696..f0b2b288f03957af2d0b57d646c5d4ac5d56c032 100644 (file)
--- a/src/flex.reset
+++ b/src/flex.reset
@@ -50,6 +50,11 @@
 /*@=redecl@*/
 /*@=retvalother@*/
 
+
+/*drl added 11/27/2001*/
+/*@=arraybounds@*/
+/*@=arrayboundsread@*/
+
 # ifdef OSF
 # define __GNUC__
 # endif