*** empty log message ***

[splint.git] / src / cgrammar.y

diff --git a/src/cgrammar.y b/src/cgrammar.y
index c71d42083d9af9791e607929878928baeb4719fc..fa85cb4560399b4942f0c4e06304008b1ca831f5 100644 (file)
--- a/src/cgrammar.y
+++ b/src/cgrammar.y
@@ -487,16 +487,8 @@ BufConstraintExpr
    $$ = constraintExpr_parseMakeBinaryOp ($2, $3, $4); }
 
 BufConstraintTerm
- : BufConstraintSrefExpr { $$ =  constraintExpr_makeTermsRef($1);} 
- | CCONSTANT 
-   {  
-     /* char *t; int c;
-       t =  cstring_toCharsSafe (exprNode_unparse($1));
-       c = atoi( t );
-     */
-     
-     $$ = constraintExpr_makeIntLiteral (exprNode_getLongValue ($1));
-   }
+ : BufConstraintSrefExpr { $$ =  constraintExpr_makeTermsRef ($1);} 
+ | CCONSTANT { $$ = constraintExpr_makeIntLiteral (exprNode_getLongValue ($1)); }
 
 BufConstraintSrefExpr
 : id