X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/dfd03f4401817e0586293350462c19d7e79a6fa6..60eced233d971637672dfbb2ab994f0f86db9c9e:/src/cgrammar.y

diff --git a/src/cgrammar.y b/src/cgrammar.y
index c5a9c08..1756964 100644
--- a/src/cgrammar.y
+++ b/src/cgrammar.y
@@ -508,7 +508,7 @@ BufConstraintTerm
 
 
 BufConstraintSrefExpr
-: id                               { $$ = checkbufferConstraintClausesId ($1);}
+: id                               { /*@-onlytrans@*/ $$ = checkbufferConstraintClausesId ($1); /*@=onlytrans@*/ /*@i523@*/ }
 | NEW_IDENTIFIER                   { $$ = fixStateClausesId ($1); }
 | BufConstraintSrefExpr TLSQBR TRSQBR       { $$ = sRef_makeAnyArrayFetch ($1); }
 |  BufConstraintSrefExpr  TLSQBR CCONSTANT TRSQBR {
@@ -1793,9 +1793,9 @@ typeName
 
 %%
 
-/*@-redecl@*/
+/*@-redecl@*/ /*@-namechecks@*/
 extern char *yytext;
-/*@=redecl@*/
+/*@=redecl@*/ /*@=namechecks@*/
 
 # include "bison.reset"