*** empty log message ***

[splint.git] / src / context.c

diff --git a/src/context.c b/src/context.c
index 0427cfc9624bb9a741effc70570cd606119167ea..446faaeb1236b519a18f8b4faca8fb44ab6ea877 100644 (file)
--- a/src/context.c
+++ b/src/context.c
@@ -700,7 +700,7 @@ conext_resetAllCounters (void)
 }
 
 void
-context_resetAllFlags (void)
+context_resetAllFlags (void) 
 {
   allFlagCodes (code)
     {
@@ -2847,7 +2847,14 @@ void context_initMod (void)
   usymtab_initMod ();
 
   context_resetAllFlags ();
+  assertSet (gc.flags); /* Can't use global in defines */
+  assertSet (gc.saveflags);
+  assertSet (gc.values);
+  assertSet (gc.strings);
+
   conext_resetAllCounters ();
+  assertSet (gc.counters);
+
   context_setMode (DEFAULT_MODE);
 
   gc.stateTable = metaStateTable_create ();