size = (int) sRef_getArraySize(s);
ret = constraintExpr_makeIntLiteral (size);
}
- else if ( exprNode_isStringLiteral (t) )
+ else if (exprNode_isStringLiteral (t))
{
- cstring str;
- int size;
-
- str = multiVal_forceString(exprNode_getValue(t) );
- size = cstring_length (str) + 1;
- ret = constraintExpr_makeIntLiteral (size);
+ cstring str = multiVal_forceString (exprNode_getValue(t));
+ ret = constraintExpr_makeIntLiteral (size_toLong (cstring_length (str) + 1));
}
else
{
case XPR_PREOP:
t = exprData_getUopNode (data);
tok = exprData_getUopTok (data);
- if (lltok_isInc_Op (tok) )
+ if (lltok_isIncOp (tok))
{
constraintExpr temp;
temp = constraintExpr_makeExprNode(t);
ret = constraintExpr_makeIncConstraintExpr(temp);
}
- else if (lltok_isDec_Op (tok) )
+ else if (lltok_isDecOp (tok))
{
constraintExpr temp;
temp = constraintExpr_makeExprNode(t);