Fixed problem with NULL being changed.

[splint.git] / src / Headers / flags.h

diff --git a/src/Headers/flags.h b/src/Headers/flags.h
index 2efdfe314029223f3c9cda38a4f6116178d100ea..ac362ada38c674defc54ed860e8c014d67858c4e 100644 (file)
--- a/src/Headers/flags.h
+++ b/src/Headers/flags.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -95,6 +95,7 @@ extern bool flagcode_hasArgument (flagcode p_f) /*@*/ ;
 
 extern bool flags_isModeName (cstring p_s) /*@*/ ;
 extern /*@only@*/ cstring describeModes (void) /*@modifies g_messagestream@*/ ;
+extern /*@only@*/ cstring describeMode (/*@temp@*/ cstring p_mode) /*@*/ ;
 extern void summarizeErrors (void) /*@modifies g_messagestream@*/ ;
 
 extern bool flagcode_isNameChecksFlag (flagcode p_f) /*@*/ ;
@@ -114,7 +115,8 @@ flags_processFlags (bool p_inCommandLine,
                    fileIdList p_lclfiles,
                    fileIdList p_mtfiles,
                    cstringList *p_passThroughArgs,
-                   int p_argc, /*@null@*/ char **p_argv)
+                   int p_argc, 
+                   /*@null@*/ char **p_argv)
      /*@requires maxRead(p_argv) >= (p_argc - 1) @*/
      /* returns true if normal, false if execution should exit */ ;