-: id {
- $$ =
- checkbufferConstraintClausesId ($1);}
- | NEW_IDENTIFIER { $$ = fixStateClausesId ($1); }
-
- | BufConstraintSrefExpr TLSQBR TRSQBR { $$ = sRef_makeAnyArrayFetch ($1); }
- | BufConstraintSrefExpr TLSQBR CCONSTANT TRSQBR {
- char *t; int c;
- t = cstring_toCharsSafe (exprNode_unparse($3));
- c = atoi( t );
- $$ = sRef_makeArrayFetchKnown($1, c); }
- | TMULT BufConstraintSrefExpr { $$ = sRef_constructPointer ($2); }
- | TLPAREN BufConstraintSrefExpr TRPAREN { $$ = $2; }
- | BufConstraintSrefExpr TDOT newId { cstring_markOwned ($3);
- $$ = sRef_buildField ($1, $3); }
- | BufConstraintSrefExpr ARROW_OP newId { cstring_markOwned ($3);
- $$ = sRef_makeArrow ($1, $3); }
+: id
+ { /*@-onlytrans@*/ $$ = checkbufferConstraintClausesId ($1); /*@=onlytrans@*/ /*@i523@*/ }
+| NEW_IDENTIFIER
+ { $$ = fixStateClausesId ($1); }
+| BufConstraintSrefExpr TLSQBR TRSQBR
+ { $$ = sRef_makeAnyArrayFetch ($1); }
+| BufConstraintSrefExpr TLSQBR CCONSTANT TRSQBR
+ {
+ /*
+ char *t; int c;
+ t = cstring_toCharsSafe (exprNode_unparse($3));
+ c = atoi( t );
+ */
+ $$ = sRef_makeArrayFetchKnown ($1, exprNode_getLongValue ($3));
+ }
+| TMULT BufConstraintSrefExpr
+ { $$ = sRef_constructPointer ($2); }
+| TLPAREN BufConstraintSrefExpr TRPAREN
+ { $$ = $2; }
+| BufConstraintSrefExpr TDOT newId
+ { cstring_markOwned ($3); $$ = sRef_buildField ($1, $3); }
+| BufConstraintSrefExpr ARROW_OP newId
+ { cstring_markOwned ($3); $$ = sRef_makeArrow ($1, $3); }