Tried to fix some problems with the configuration system.

[splint.git] / src / cpplib.c

diff --git a/src/cpplib.c b/src/cpplib.c
index bf077036daf5b8a6a85df79b319887bd77db55e7..f9ac57797ea9e757bef2bdd9f7d82324ccaee6a3 100644 (file)
--- a/src/cpplib.c
+++ b/src/cpplib.c
@@ -1043,6 +1043,13 @@ skip_comment (cppReader *pfile, /*@null@*/ long *linep)
   else if (cppReader_peekC (pfile) == '/' 
           && CPPOPTIONS (pfile)->cplusplus_comments)
     {
+      
+      (void) cppoptgenerror 
+       (FLG_SLASHSLASHCOMMENT,
+        message ("C++ style // comment" 
+                ),
+        pfile);
+      
       cppReader_forward (pfile, 1);
 
       for (;;)