]> andersk Git - splint.git/commitdiff
Turned off type checking for bison generated files because this was
authordrl7x <drl7x>
Wed, 11 Dec 2002 23:46:55 +0000 (23:46 +0000)
committerdrl7x <drl7x>
Wed, 11 Dec 2002 23:46:55 +0000 (23:46 +0000)
generating over 2000 error messages!!!

src/Headers/cgrammar_tokens.h
src/Makefile.am
src/Makefile.in
src/bison.head
src/bison.reset
src/cgrammar.c.der

index c90515c189edcce055d225cb9e7a6afe947a037c..36cdfe3ea8c6f20d96e6e50f7f568f75a16dd4f7 100644 (file)
 
 /*drl added 11/27/2001*/
 /*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
+
 /* < end of bison.head > */
 
 #ifndef BISON_CGRAMMAR_TAB_H
@@ -351,3 +355,6 @@ extern cgrammar_YYSTYPE yylval;
 
 /*drl added 11/27/2001*/
 /*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/
index fb928d69aa06f851184bc7f979c184bd750f577b..fae0aad7fc198e61282c08e46daf9e26a242f68b 100644 (file)
@@ -296,7 +296,7 @@ Headers/signature_gen.h signature.c: signature.c.der signature.y
 
 ## 11/29/001 drl added copy so that the file cgrammar.c.der is created
 
-Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y
+Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y bison.head bison.reset
        @if test x$(BISON) = xno; then \
          $(CP) cgrammar.c.der cgrammar.c; \
        else \
index 03e788f16563fa4f94f2cf566f2b3662d1be14f7..e0f6a91aa78a3e3781888c1f156a67a4b455cee6 100644 (file)
@@ -1035,7 +1035,7 @@ Headers/signature_gen.h signature.c: signature.c.der signature.y
          $(RM) signature.tab.c signature.tab.h; \
        fi
 
-Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y
+Headers/cgrammar_tokens.h cgrammar.c: cgrammar.c.der cgrammar.y bison.head bison.reset
        @if test x$(BISON) = xno; then \
          $(CP) cgrammar.c.der cgrammar.c; \
        else \
index 99a26cb68ac31d2f8125b518b85297cabb4be2a8..9e8212d7c05f8697fc14e60cf197805f1110bd98 100644 (file)
@@ -48,5 +48,9 @@
 
 /*drl added 11/27/2001*/
 /*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
+
 /* < end of bison.head > */
 
index 78aad015fb9fa331b3b2c4eed0616e2f41b89448..45e00aa91c20eadd688ebf8b675b291238b08e2e 100644 (file)
@@ -45,3 +45,6 @@
 
 /*drl added 11/27/2001*/
 /*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/
index 84d91e20b4b2f06dd4ed7e9ea1b25dabc6e60cb4..753c4230cd6186207ce728f69e2c084910533d34 100644 (file)
 
 /*drl added 11/27/2001*/
 /*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
+
 /* < end of bison.head > */
 
 /* A Bison parser, made from cgrammar.y
@@ -5816,3 +5820,6 @@ void yyerror (/*@unused@*/ char *s)
 
 /*drl added 11/27/2001*/
 /*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/
This page took 0.056374 seconds and 5 git commands to generate.