X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/c09ebffeb5fc8d2c644fa818f3510a6300340725..ae13359213220016611ceaf93109dac6849be88b:/src/context.c

diff --git a/src/context.c b/src/context.c
index 0819834..60d5125 100644
--- a/src/context.c
+++ b/src/context.c
@@ -1059,10 +1059,12 @@ context_setModeAux (cstring s, bool warn)
 	  FLG_NESTEDEXTERN, 
 	  FLG_NUMLITERAL,
 	  FLG_ZEROBOOL,
+
 	  /* memchecks flags */
 	  FLG_NULLDEREF, 
 	  FLG_NULLSTATE, FLG_NULLASSIGN,
  	  FLG_NULLPASS, FLG_NULLRET,        
+	  FLG_ALLOCMISMATCH,
 
 	  FLG_COMPDEF, FLG_COMPMEMPASS, FLG_UNIONDEF,
 	  FLG_RETSTACK,
@@ -1195,6 +1197,7 @@ context_setModeAux (cstring s, bool warn)
 
 	  FLG_NULLSTATE, FLG_NULLDEREF, FLG_NULLASSIGN,
 	  FLG_NULLPASS, FLG_NULLRET,
+	  FLG_ALLOCMISMATCH,
 
 	  FLG_COMPDEF, FLG_COMPMEMPASS, FLG_UNIONDEF, FLG_RETSTACK,	  
 
@@ -1311,9 +1314,14 @@ context_setModeAux (cstring s, bool warn)
 	  /* memchecks flags */
 	  FLG_NULLSTATE, FLG_NULLDEREF, FLG_NULLASSIGN,
 	  FLG_NULLPASS, FLG_NULLRET,
-
+	  FLG_ALLOCMISMATCH,
 	  FLG_COMPDEF, FLG_COMPMEMPASS, FLG_UNIONDEF,
 
+	  /* memory checking flags */
+	  FLG_BOUNDSREAD, FLG_BOUNDSWRITE,
+	  FLG_LIKELYBOUNDSREAD, FLG_LIKELYBOUNDSWRITE,
+	  FLG_CHECKPOST, 
+
 	  /* memtrans flags */
 	  FLG_EXPOSETRANS,
 	  FLG_OBSERVERTRANS,