]> andersk Git - splint.git/blobdiff - src/cscannerHelp.c
Fixed problem with assertion checking for negative shifts in
[splint.git] / src / cscannerHelp.c
index ae202f4ecdbd9b2f118811159f62284e149ee573..8ecc2114c74ad6a9e547ab0d77e500cf7a9c08a0 100644 (file)
@@ -725,12 +725,12 @@ bool cscannerHelp_handleSpecial (char *yyt)
          cstring_free (exname);
        }
 
-      cscannerHelp_handleNewLine (); // evans 2003-10-27: pragment increments line
+      (void) 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
+      (void) cscannerHelp_handleNewLine (); /* evans 2003-10-27: ident increments line */
     }
 
   /*
@@ -839,7 +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
+       (void) cscannerHelp_handleNewLine (); /* evans 2003-10-27: increments line */
        return FALSE;
       } else {
        voptgenerror
@@ -847,7 +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
+       (void) cscannerHelp_handleNewLine (); /* evans 2003-10-27: increments line */
       }
       
       sfree (ol);
This page took 0.032753 seconds and 4 git commands to generate.