Fixed all /*@i...@*/ tags (except 1).

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

diff --git a/src/Headers/splintMacros.nf b/src/Headers/splintMacros.nf
index 200a06f9f437e13c8360a90cef63e514ba37cf83..1d5a738424305aa63f554ea643251b05c636f8a6 100644 (file)
--- a/src/Headers/splintMacros.nf
+++ b/src/Headers/splintMacros.nf
@@ -111,24 +111,21 @@
 /*@notfunction@*/
 # define NOALIAS(s,t) (/*@ignore@*/ (s == NULL) || (s != t) /*@end@*/)
 
-/*@i343434*/ /*fix this before release verion*/
-/* get rid of @-formatconst@ */
+/* evans 2002-02-24: got rid of -formatconst */
 
 /*@notfunction@*/
 # define TPRINTF(arg) \
-  do { /*@-mustfree@*/ /*@-null@*/ /*@-formatconst@*/ (void) fflush (stderr); (void) fflush (stdout); \
+  do { /*@-mustfree@*/ /*@-null@*/ (void) fflush (stderr); (void) fflush (stdout); \
        printf ("%s:%d [%s]: >> ", __FILE__, __LINE__, cstring_toCharsSafe (fileloc_unparse(g_currentloc))); \
-       (void)printf arg; printf("\n"); /*@=formatconst@*/ /*@=mustfree@*/ /*@=null@*/ (void) fflush (stdout); \
+       (void)printf arg; printf("\n"); /*@=mustfree@*/ /*@=null@*/ (void) fflush (stdout); \
        } while (FALSE)
 
+/*
+** DPRINTF does nothing, just a marker to save TPRINTF's
+*/
 
-# if DEBUGPRINT
-/*@notfunction@*/
-# define DPRINTF(s) /*@access cstring@*/ TPRINTF(s) /*@noaccess cstring@*/
-# else
 /*@notfunction@*/
 # define DPRINTF(s)   
-# endif
 
 /*@notfunction@*/
 # define INTCOMPARERETURN(x,y) \