# include "aliasChecks.h"
# include "exprNodeSList.h"
-# include "exprData.i"
# include "exprDataQuite.i"
/*@access constraint, exprNode @*/
if ( constraintExpr_similar (c, find) )
{
- #warning mem leak
constraintExpr new;
cPrint = constraintExpr_unparse(c);
- new = constraintExpr_makeAddConstraintExpr (c, constraintExpr_copy(add) );
+ new = constraintExpr_makeAddExpr (c, constraintExpr_copy(add) );
DPRINTF((message ("Replacing %q with %q",
cPrint, constraintExpr_unparse(new)
}
-static constraintList constraintList_searchAndAdd (/*@returned@*/ constraintList list,
+/*@only@*/ static constraintList constraintList_searchAndAdd (/*@returned@*/ constraintList list,
/*@observer@*/ constraintExpr find, /*@observer@*/ constraintExpr add)
{
constraintList newConstraints;
}
end_constraintList_elements;
- ret = constraintList_addList (list, newConstraints);
+ ret = constraintList_addListFree (list, newConstraints);
return ret;
}
iterations = getForTimes (forPred, forBody );
- if (iterations)
+ if (iterations != NULL)
{
doAdjust ( e, forPred, forBody, iterations);
constraintExpr_free(iterations);