Apparently splint does not correctly handle the case in which a #defined constant...

[splint.git] / src / globals.c

diff --git a/src/globals.c b/src/globals.c
index 4eb1928ac416876a047a5e872ab9c60a88fd13ae..515592d5df99b1e498826aac68bc0867b736e20e 100644 (file)
--- a/src/globals.c
+++ b/src/globals.c
@@ -40,7 +40,14 @@ int g_codeLine = 0;
 
 cstring g_prevCodeFile = cstring_undefined;
 int g_prevCodeLine = 0;
-/*:open:*/ FILE *g_msgstream;
+
+/*
+** These are initialized in llmain.c.
+*/
+
+FILE *g_warningstream = NULL;
+FILE *g_messagestream = NULL;
+FILE *g_errorstream = NULL;
 
 /*
 ** These were in llmain.c.  Most should not be globals...