Fixed state clauses. Added obvious loop exec checking.

[splint.git] / src / bison.head

diff --git a/src/bison.head b/src/bison.head
index aca12ee21194fb4e8044997d08e3e6192c53b415..8b63a0c704ea0324af835af0bb450397f8069d66 100644 (file)
--- a/src/bison.head
+++ b/src/bison.head
@@ -41,6 +41,9 @@
 /*@-dependenttrans@*/
 /*@-unqualifiedtrans@*/
 /*@-nullassign@*/
+/*@-nullpass@*/
+/*@-nullptrarith*/
+/*@-usereleased@*/
 /*@-declundef@*/
 
 /*drl added 11/27/2001*/