Fixed problem with shadow parameters.

[splint.git] / src / cscanner.l

diff --git a/src/cscanner.l b/src/cscanner.l
index 592560eb3a82ad0f2a78925e3f26ca79c6199aa8..ef3f46456447b9b611fc5b9c1efd55fd5d084a52 100644 (file)
--- a/src/cscanner.l
+++ b/src/cscanner.l
@@ -1,6 +1,6 @@
 /*;-*-C-*-; 
 ** Splint - annotation-assisted static program checker
-** Copyright (C) 1994-2002 University of Virginia,
+** Copyright (C) 1994-2003 University of Virginia,
 **         Massachusetts Institute of Technology
 **
 ** This program is free software; you can redistribute it and/or modify it
@@ -85,7 +85,7 @@ ULSuffix                ({U}{L}|{L}{U})
 # include "cscannerHelp.h"
 # include "cgrammar.h"
 # include "cgrammar_tokens.h"
-# include "portab.h"
+# include "osd.h"
 
 /*@notfunction@*/
 # define yyinput() (incColumn (), getc (yyin))
@@ -411,6 +411,7 @@ L'(\\.|[^\\'])+'       { cscannerHelp_setTokLengthT (mstring_length (yytext));
 "@.Z"           { cscannerHelp_setTokLength (3); usymtab_printComplete (); }
 "@.T"           { cscannerHelp_setTokLength (3); usymtab_printTypes (); }
 "@.K"           { cscannerHelp_setTokLength (3); lldiagmsg (usymtab_unparseStack ()); }
+"@.R"           { cscannerHelp_setTokLength (3); return cscannerHelp_returnToken (QDREVEALSTATE); }
 "@.M"           { cscannerHelp_setTokLength (3); 
                  lldiagmsg (message ("Can modify: %q", 
                                  sRefSet_unparse (context_modList ())));