*** empty log message ***

[splint.git] / src / llerror.c

diff --git a/src/llerror.c b/src/llerror.c
index e61ff1e7e66de274cebf0bd1fa02619836a780d7..12add2d1ad4cb600bb95f78a8e0f67a20eb56b36 100644 (file)
--- a/src/llerror.c
+++ b/src/llerror.c
@@ -32,6 +32,7 @@
 # include <errno.h>
 # include "llbasic.h"
 # include "llmain.h"
+# include "cpperror.h"
 # include "version.h"
 
 /* Don't allow possibly-recursive assertion failures. */
@@ -1646,6 +1647,32 @@ static void llreportparseerror (/*@only@*/ cstring s)
     }
 }
 
+bool xcppoptgenerror (char *srcFile, int srcLine,
+                     flagcode o,
+                     /*@only@*/ cstring s,
+                     cppReader *pfile)
+{
+  bool res = FALSE;
+  fileloc loc = cppReader_getLoc (pfile);
+
+  if (context_flagOn (o, loc))
+    {
+      if (xlloptgenerror (srcFile, srcLine, o, s, loc))
+       {
+         cppReader_printContainingFiles (pfile);
+         res = TRUE;
+       }
+    }
+  else
+    {
+      cstring_free (s);
+    }
+
+  fileloc_free (loc);
+
+  return res;
+}
+
 bool xlloptgenerror (char *srcFile, int srcLine, 
                     flagcode o, /*@only@*/ cstring s, fileloc loc)
 {