From: drl7x <drl7x>
Date: Wed, 11 Dec 2002 23:46:55 +0000 (+0000)
Subject: Turned off type checking for bison generated files because this was
X-Git-Tag: splint-3_1_0~77
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/1d91681f2f8329e7d4b77bb91fa77fb598d4968a

Turned off type checking for bison generated files because this was
generating over 2000 error messages!!!
---

diff --git a/src/Headers/cgrammar_tokens.h b/src/Headers/cgrammar_tokens.h
index c90515c..36cdfe3 100644
--- a/src/Headers/cgrammar_tokens.h
+++ b/src/Headers/cgrammar_tokens.h
@@ -48,6 +48,10 @@
 
 /*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@*/
diff --git a/src/Makefile.am b/src/Makefile.am
index fb928d6..fae0aad 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -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 \
diff --git a/src/Makefile.in b/src/Makefile.in
index 03e788f..e0f6a91 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -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 \
diff --git a/src/bison.head b/src/bison.head
index 99a26cb..9e8212d 100644
--- a/src/bison.head
+++ b/src/bison.head
@@ -48,5 +48,9 @@
 
 /*drl added 11/27/2001*/
 /*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
+
 /* < end of bison.head > */
 
diff --git a/src/bison.reset b/src/bison.reset
index 78aad01..45e00aa 100644
--- a/src/bison.reset
+++ b/src/bison.reset
@@ -45,3 +45,6 @@
 
 /*drl added 11/27/2001*/
 /*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/
diff --git a/src/cgrammar.c.der b/src/cgrammar.c.der
index 84d91e2..753c423 100644
--- a/src/cgrammar.c.der
+++ b/src/cgrammar.c.der
@@ -48,6 +48,10 @@
 
 /*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@*/