X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/11c40ce9ae842585926cc1abd029f9f5a6702827..419f7a7a4b388dfc03c75bebaffcf97116ea0410:/src/context.c

diff --git a/src/context.c b/src/context.c
index 0f1906b..f3e0290 100644
--- a/src/context.c
+++ b/src/context.c
@@ -850,7 +850,7 @@ context_resetAllFlags (void)
   gc.flags[FLG_NUMLITERAL] = TRUE;
   gc.flags[FLG_DUPLICATEQUALS] = TRUE;
   gc.flags[FLG_SKIPISOHEADERS] = TRUE;
-  gc.flags[FLG_SKIPPOSIXHEADERS] = TRUE;
+  gc.flags[FLG_SKIPPOSIXHEADERS] = FALSE;
   gc.flags[FLG_SYSTEMDIREXPAND] = TRUE;
   gc.flags[FLG_UNRECOGCOMMENTS] = TRUE;
   gc.flags[FLG_UNRECOGFLAGCOMMENTS] = TRUE;
@@ -1235,7 +1235,7 @@ context_setModeAux (cstring s, bool warn)
 	  FLG_CHECKSTRICTGLOBALS, FLG_IMPCHECKEDSPECGLOBALS,
           FLG_MACROMATCHNAME, FLG_WARNLINTCOMMENTS,
 	  FLG_INCLUDENEST, FLG_ISORESERVED, FLG_CPPNAMES, 
-	  FLG_NOPARAMS, FLG_IFEMPTY, FLG_WHILEEMPTY, FLG_REALCOMPARE,
+	  FLG_NOPARAMS, FLG_IFEMPTY, FLG_WHILEEMPTY, FLG_REALCOMPARE, FLG_REALRELATECOMPARE,
 	  FLG_BOOLOPS, FLG_SHIFTNEGATIVE,
 	  FLG_SHIFTIMPLEMENTATION,
 	  FLG_BUFFEROVERFLOWHIGH, FLG_BUFFEROVERFLOW,
@@ -1371,7 +1371,7 @@ context_setModeAux (cstring s, bool warn)
 	  FLG_FOREMPTY, FLG_WHILEEMPTY,
 	  FLG_IFEMPTY, FLG_IFBLOCK,
 	  FLG_ELSEIFCOMPLETE,
-	  FLG_REALCOMPARE, FLG_BOOLOPS,
+	  FLG_REALCOMPARE, FLG_BOOLOPS, FLG_REALRELATECOMPARE,
 	  FLG_SYSTEMDIRERRORS, FLG_UNUSEDSPECIAL,
 
 	  FLG_SHIFTNEGATIVE,