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 e9da2a595a4d2b1472ca1f000232a5ea8a90a983..cdae82105e08dabe7d668974cf6e68cea6eb485d 100644 (file)
--- a/src/Headers/lclintMacros.nf
+++ b/src/Headers/lclintMacros.nf
@@ -103,11 +103,14 @@
 /*@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)