X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/35e8712de8a20811e536e7506deb87e9492a710d..517a2db3da924ba77ae313404da5e12fda798947:/src/context.c

diff --git a/src/context.c b/src/context.c
index c67fa9e..b7fcc97 100644
--- a/src/context.c
+++ b/src/context.c
@@ -42,7 +42,6 @@
 # include "llmain.h"
 # include "intSet.h"
 # include "osd.h"
-# include "portab.h"
 
 extern /*@external@*/ int yydebug;
 extern /*@external@*/ int mtdebug;
@@ -340,7 +339,7 @@ context_suppressFlagMsg (flagcode flag, fileloc fl)
       return (!context_getFlag (flag)
 	      || context_inSuppressRegion ()
 	      || context_inSuppressZone (fl)
-	      || (/*@!@@#@ gc.inDerivedFile && */ context_inSuppressFlagZone (fl, flag)));
+	      || (context_inSuppressFlagZone (fl, flag))); /* removed gc.inDerivedFile from this */
     }
   else
     {
@@ -808,9 +807,9 @@ context_resetAllFlags (void)
 	    case FLG_BOOLTYPE:
 	      val = cstring_makeLiteral (DEFAULT_BOOLTYPE); break;
 	    case FLG_BOOLFALSE:
-	      val = cstring_makeLiteral ("FALSE"); break;
+	      val = cstring_makeLiteral ("false"); break;
 	    case FLG_BOOLTRUE:
-	      val = cstring_makeLiteral ("TRUE"); break;
+	      val = cstring_makeLiteral ("true"); break;
 	    case FLG_MACROVARPREFIX: 
 	      val = cstring_makeLiteral ("m_"); break;
 	    case FLG_SYSTEMDIRS:
@@ -2898,20 +2897,6 @@ context_setString (flagcode flag, cstring val)
 
   switch (flag)
     {
-      /*
-    case FLG_BOOLTRUE:
-      usymtab_supGlobalEntry 
-	(uentry_makeConstantValue (val, ctype_bool, 
-				   fileloc_getBuiltin (), TRUE, 
-				   multiVal_makeInt (1)));
-      break;
-    case FLG_BOOLFALSE:
-      usymtab_supGlobalEntry 
-	(uentry_makeConstantValue (val, ctype_bool, 
-				   fileloc_getBuiltin (), FALSE, 
-				   multiVal_makeInt (0)));
-      break;
-      */
     case FLG_MESSAGESTREAM:
     case FLG_WARNINGSTREAM:
     case FLG_ERRORSTREAM:
@@ -4389,8 +4374,6 @@ context_destroyMod (void)
   globSet_free (gc.globs_used);
   metaStateTable_free (gc.stateTable);
   annotationTable_free (gc.annotTable);
-
-  
 }
 
 /*
@@ -4974,7 +4957,7 @@ struct sInfo {
 
 /*@-paramuse@*/
 
-void context_setGlobalStructInfo(ctype ct, constraintList list)
+void context_setGlobalStructInfo (ctype ct, constraintList list)
 {
 # if 0
   /* int i;