noexpand always false.

[splint.git] / src / bison.head

diff --git a/src/bison.head b/src/bison.head
index 90909a260c5b1ddabbfde742a56b379332002eb5..681fd145627cc8afb0e8f1d1d5aff630a3029565 100644 (file)
--- a/src/bison.head
+++ b/src/bison.head
@@ -41,7 +41,18 @@
 /*@-dependenttrans@*/
 /*@-unqualifiedtrans@*/
 /*@-nullassign@*/
+/*@-nullpass@*/
+/*@-nullptrarith*/
+/*@-usereleased@*/
 /*@-declundef@*/
 
+/*drl added 11/27/2001*/
+/*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
+
+/*@-enummemuse@*/
+
 /* < end of bison.head > */