X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/08cf86420d78ec43cc82ce0258cd86704afd80bd..a9ec328054b628447830161535f4915f715f49cd:/src/lclscan.c

diff --git a/src/lclscan.c b/src/lclscan.c
index bf968b6..3109788 100644
--- a/src/lclscan.c
+++ b/src/lclscan.c
@@ -69,7 +69,7 @@ static /*@dependent@*/ /*@null@*/ char *line;  /* input text */
 static unsigned int lineNumber;	               /* current line number */
 
 ltokenCode yllex (void)
-  /*@globals killed restoretok@*/ 
+  /*@globals killed restoretok@*/ /* only if restore is TRUE */
 {
   lsymbol tokenSym;
 
@@ -80,7 +80,9 @@ ltokenCode yllex (void)
     }
   else
     {
+      /*@-onlyunqglobaltrans@*/
       yllval.ltok = ltoken_copy (LCLScanNextToken ());
+      /*@=onlyunqglobaltrans@*/
     }
 
   tokenSym = ltoken_getText (yllval.ltok);
@@ -109,7 +111,11 @@ ltokenCode yllex (void)
 	}
     }
 
+  /*@-onlyunqglobaltrans@*/ /* restoretok not released on non-restore path */
+  /*@-globstate@*/
   return (ltoken_getCode (yllval.ltok));
+  /*@=onlyunqglobaltrans@*/
+  /*@=globstate@*/
 }
 
 /* useful for scanning LCL init files and LSL init files ? */