Merged code tree with Dave Evans's version. Many changes to numberous to list....

[splint.git] / src / Headers / lclintMacros.nf

diff --git a/src/Headers/lclintMacros.nf b/src/Headers/lclintMacros.nf
index 82011bf587b692b2e386c059b28ccfc016a7a446..cdae82105e08dabe7d668974cf6e68cea6eb485d 100644 (file)
--- a/src/Headers/lclintMacros.nf
+++ b/src/Headers/lclintMacros.nf
@@ -103,13 +103,17 @@
 /*@notfunction@*/
 # define NOALIAS(s,t) (/*@ignore@*/ (s == NULL) || (s != t) /*@end@*/)
 
+/*@i343434*/ /*fix this before release verion*/
+/* get rid of @-formatconst@ */
+
 /*@notfunction@*/
 # define TPRINTF(arg) \
-  do { /*@-mustfree@*/ /*@-null@*/ (void) fflush (stderr); (void) fflush (stdout); \
+  do { /*@-mustfree@*/ /*@-null@*/ /*@-formatconst@*/ (void) fflush (stderr); (void) fflush (stdout); \
        printf ("%s:%d [%s]: >> ", __FILE__, __LINE__, cstring_toCharsSafe (fileloc_unparse(g_currentloc))); \
-       (void)printf arg; printf("\n"); /*@=mustfree@*/ /*@=null@*/ (void) fflush (stdout); \
+       (void)printf arg; printf("\n"); /*@=formatconst@*/ /*@=mustfree@*/ /*@=null@*/ (void) fflush (stdout); \
        } while (FALSE)
 
+
 # if DEBUGPRINT
 /*@notfunction@*/
 # define DPRINTF(s) /*@access cstring@*/ TPRINTF(s) /*@noaccess cstring@*/