Fixed branch state bug with definitely null values (reported by Jon Wilson).

[splint.git] / src / context.c

diff --git a/src/context.c b/src/context.c
index 9091afde801a5a7db5ddb4d277434acff185eec8..7cc5c82a2526e397b1c2c7d4dbb1f3eeeb584a1e 100644 (file)
--- a/src/context.c
+++ b/src/context.c
@@ -865,6 +865,7 @@ context_resetAllFlags (void)
   gc.flags[FLG_FORMATTYPE] = TRUE;
   gc.flags[FLG_BADFLAG] = TRUE;
   gc.flags[FLG_WARNFLAGS] = TRUE;
+  gc.flags[FLG_WARNRC] = TRUE;
   gc.flags[FLG_FILEEXTENSIONS] = TRUE;
   gc.flags[FLG_WARNUNIXLIB] = TRUE;
   gc.flags[FLG_WARNPOSIX] = TRUE;