Fixed assert failure involving multiple redefines of library functions.

[splint.git] / src / bison.head

diff --git a/src/bison.head b/src/bison.head
index ada233ec1ddf48f712d1689fa4b96c82e2c6a518..99a26cb68ac31d2f8125b518b85297cabb4be2a8 100644 (file)
--- a/src/bison.head
+++ b/src/bison.head
@@ -41,6 +41,12 @@
 /*@-dependenttrans@*/
 /*@-unqualifiedtrans@*/
 /*@-nullassign@*/
+/*@-nullpass@*/
+/*@-nullptrarith*/
+/*@-usereleased@*/
+/*@-declundef@*/
 
+/*drl added 11/27/2001*/
+/*@-bounds@*/
 /* < end of bison.head > */