Fixed line counting for #pragma's.

[splint.git] / src / cscannerHelp.c

diff --git a/src/cscannerHelp.c b/src/cscannerHelp.c
index 1aee6d64c1e59e1c7481e993f55e1884bc97885f..ae202f4ecdbd9b2f118811159f62284e149ee573 100644 (file)
--- a/src/cscannerHelp.c
+++ b/src/cscannerHelp.c
@@ -724,11 +724,15 @@ bool cscannerHelp_handleSpecial (char *yyt)
 
          cstring_free (exname);
        }
+
+      cscannerHelp_handleNewLine (); // evans 2003-10-27: pragment increments line
     }
   else if (cstring_equalPrefixLit (olc, "ident"))
     {
       /* Some pre-processors will leave these in the code.  Ignore rest of line */
+      cscannerHelp_handleNewLine (); // evans 2003-10-27: ident increments line
     }
+
   /*
   ** Yuk...Win32 filenames can have spaces in them...we need to read
   ** to the matching end quote.
@@ -835,6 +839,7 @@ bool cscannerHelp_handleSpecial (char *yyt)
        ** We handle a plain # in the input file, by echoing it, and ignoring it in the post-pp-file.
        */
        mstring_free (ol);
+       cscannerHelp_handleNewLine (); // evans 2003-10-27: increments line
        return FALSE;
       } else {
        voptgenerror
@@ -842,6 +847,7 @@ bool cscannerHelp_handleSpecial (char *yyt)
           message ("Unrecognized pre-processor directive: #%s", 
                    cstring_fromChars (ol)),
           g_currentloc);
+       cscannerHelp_handleNewLine (); // evans 2003-10-27: increments line
       }
       
       sfree (ol);