X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/5e211f69ddc6240f0db9af54a57134d237401d37..3e3ec46998ea67d6742eb30afc16058c5537004e:/src/bison.head

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