*** empty log message ***

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

diff --git a/src/Headers/llerror.h b/src/Headers/llerror.h
index 35b89206ae96c4cd5dbb4677497ceb7a3842c7f5..0b81bfbf7db759fc1f1cd22e12bc3a954bf1db8b 100644 (file)
--- a/src/Headers/llerror.h
+++ b/src/Headers/llerror.h
@@ -77,14 +77,6 @@ extern /*@exits@*/ void llfatalbug (/*@only@*/ cstring p_s)
 # define llfatalbug(p_s) \
      xllfatalbug (__FILE__, __LINE__, p_s)
 
-extern /*@private@*/ void xllgloberror (char *p_srcFile, int p_srcLine, 
-                                       /*@only@*/ cstring p_s)
-     /*@modifies g_msgstream@*/ ;
-
-extern void llgloberror (/*@only@*/ cstring p_s) /*@modifies g_msgstream@*/ ;
-# define llgloberror(p_s) \
-     xllgloberror (__FILE__, __LINE__, p_s)
-
 extern /*@private@*/ bool xllgenerror (char *p_srcFile, int p_srcLine, flagcode p_o,
                                       /*@only@*/ cstring p_s, fileloc p_fl)
      /*@modifies g_msgstream@*/ ;
@@ -141,7 +133,6 @@ extern bool lclHadError (void);
 extern void lclRedeclarationError (ltoken p_id);
 # endif
 
-extern void flagWarning (/*@observer@*/ cstring p_s) /*@modifies g_msgstream@*/ ;
 extern void llerror_flagWarning (/*@only@*/ cstring p_s) /*@modifies g_msgstream@*/ ;
 
 extern /*@exits@*/ void llbugaux (cstring p_file, int p_line, /*@only@*/ cstring p_s) 
@@ -344,6 +335,15 @@ extern bool /*@alt void@*/ llforceerror (flagcode p_code, /*@only@*/ cstring p_s
 # define llforceerror(p_code, p_s, p_fl) \
      (xllforceerror (__FILE__, __LINE__, p_code, p_s, p_fl))
 
+extern /*@private@*/ bool xcppoptgenerror (char *p_srcFile, int p_srcLine, flagcode p_o,
+                            /*@only@*/ cstring p_s, cppReader *p_pfile)
+     /*@modifies g_msgstream, p_pfile@*/ ;
+
+extern bool cppoptgenerror (flagcode p_code, /*@only@*/ cstring p_s, cppReader *p_pfile)
+     /*@modifies g_msgstream, p_pfile@*/ ;
+# define cppoptgenerror(p_code, p_s, p_pfile) \
+    (xcppoptgenerror (__FILE__, __LINE__, p_code, p_s, p_pfile))
+
 extern void llerrorlit (flagcode p_o, char *p_s);
 # define llerrorlit(o, s)   ((void) llerror (o, cstring_makeLiteral (s)))