*** empty log message ***

[splint.git] / src / cgrammar.y

diff --git a/src/cgrammar.y b/src/cgrammar.y
index c5a9c08958452a64b4cc69eb4e4cda045b94c59f..1756964294c3523d928184f3aa4526b77d32aec5 100644 (file)
--- 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"