+static bool constraintExpr_hasTypeChange(constraintExpr e)
+{
+ llassert(constraintExpr_isDefined(e) );
+ if (constraintExpr_isDefined((e)) && (e->ct == TRUE) )
+ {
+ return TRUE;
+ }
+
+ if (e->kind == unaryExpr)
+ {
+ if (constraintExprData_unaryExprGetOp (e->data) == MAXSET)
+ {
+ constraintExpr ce;
+
+ ce = constraintExprData_unaryExprGetExpr(e->data);
+
+ return (constraintExpr_hasTypeChange(ce) );
+ }
+
+ }
+ return FALSE;
+}
+
+/* drl add 10-5-001 */
+
+static ctype constraintExpr_getOrigType (constraintExpr e)
+{
+
+ llassert(constraintExpr_isDefined(e) );
+ llassert(constraintExpr_hasTypeChange(e) );
+
+
+ if (e->ct == TRUE)
+ {
+ return e->origType;
+ }
+
+ if (e->kind == unaryExpr)
+ {
+ if (constraintExprData_unaryExprGetOp (e->data) == MAXSET)
+ {
+ constraintExpr ce;
+
+ ce = constraintExprData_unaryExprGetExpr(e->data);
+
+ return (constraintExpr_getOrigType(ce) );
+ }
+
+ }
+
+ BADEXIT;
+}
+
+/*drl added these around 10/18/001*/
+
+static /*@only@*/ constraintExpr constraintExpr_div (/*@only@*/ constraintExpr e, /*@unused@*/ ctype ct)
+{
+ return e;
+}
+
+
+/*@access exprNode@*/
+static /*@only@*/ constraintExpr constraintTerm_simpleDivTypeExprNode(/*@only@*/ constraintExpr e, ctype ct)
+{
+ exprData data;
+ exprNode t1, t2, expr;
+ lltok tok;
+ constraintTerm t;
+
+ llassert(constraintExpr_isDefined(e) );
+
+ DPRINTF((
+ message("constraintTerm_simpleDivTypeExprNode e=%s, ct=%s",
+ constraintExpr_print(e), ctype_unparse(ct)
+ )
+ ));
+
+ t = constraintExprData_termGetTerm(e->data);
+
+ expr = constraintTerm_getExprNode(t);
+
+ llassert(constraintExpr_isDefined(e) );
+ llassert(exprNode_isDefined(expr) );
+
+ if (expr->kind == XPR_OP)
+ {
+ data = expr->edata;
+
+ t1 = exprData_getOpA (data);
+ t2 = exprData_getOpB (data);
+ tok = exprData_getOpTok (data);
+ if (lltok_isMult(tok) )
+ {
+ llassert(exprNode_isDefined(t1) && exprNode_isDefined(t2) );
+ /*drl 3/2/2003 we know this from the fact that it's a
+ multiplication operation...*/
+
+ if ((t1->kind == XPR_SIZEOF) || (t1->kind == XPR_SIZEOFT) )
+ {
+ ctype ct2;
+
+ if (t1->kind == XPR_SIZEOFT)
+ {
+ ct2 = qtype_getType (exprData_getType (t1->edata));
+ }
+ else
+ {
+ exprNode tempE;
+
+ tempE = exprData_getSingle (t1->edata);
+
+ ct2 = exprNode_getType (tempE);
+ }
+ if (ctype_match (ctype_makePointer(ct2), ct) )
+ {
+ /* this is a bit sloopy but ... */
+ constraintExpr_free(e);
+ return constraintExpr_makeExprNode(t2);
+ }
+ }
+
+
+ else if ((t2->kind == XPR_SIZEOF) || (t2->kind == XPR_SIZEOFT) )
+ {
+ ctype ct2;
+
+ if (t2->kind == XPR_SIZEOFT)
+ {
+ ct2 = qtype_getType (exprData_getType (t2->edata));
+ }
+ else
+ {
+ exprNode exprTemp;
+ exprData eDTemp;
+
+ exprTemp = exprData_getSingle (t2->edata);
+
+ llassert(exprNode_isDefined(exprTemp) );
+ eDTemp = exprTemp->edata;
+
+ ct2 = qtype_getType (exprData_getType(eDTemp ) );
+
+ }
+ if (ctype_match (ctype_makePointer(ct2),ct) )
+ {
+ /* sloopy way to do this... */ /*@i22*/
+ constraintExpr_free(e);
+ return constraintExpr_makeExprNode(t1);
+ }
+ }
+ else
+ {
+ /*empty*/
+ }
+
+ }
+ }
+ return (constraintExpr_div (e, ct) );
+}
+/*@noaccess exprNode@*/
+
+static /*@only@*/ constraintExpr simpleDivType (/*@only@*/ constraintExpr e, ctype ct)
+{
+ /*@i333*/
+ DPRINTF(( (message("simpleDiv got %s ", constraintExpr_unparse(e) ) )
+ ));
+
+ llassert(constraintExpr_isDefined(e) );
+
+ switch (e->kind)
+ {
+ case term:
+
+ {
+ constraintTerm t;
+
+ t = constraintExprData_termGetTerm(e->data);
+
+
+ if (constraintTerm_isExprNode (t) )
+ {
+ return constraintTerm_simpleDivTypeExprNode(e, ct);
+
+ /* search for * size of ct and remove */
+ }
+ return constraintExpr_div (e, ct);
+ }
+
+ case binaryexpr:
+ {
+ constraintExpr temp;
+
+ temp = constraintExprData_binaryExprGetExpr1 (e->data);
+ temp = constraintExpr_copy(temp);
+ temp = simpleDivType (temp, ct);
+
+ e->data = constraintExprData_binaryExprSetExpr1 (e->data, temp);
+
+ temp = constraintExprData_binaryExprGetExpr2 (e->data);
+ temp = constraintExpr_copy(temp);
+ temp = simpleDivType (temp, ct);
+ e->data = constraintExprData_binaryExprSetExpr2 (e->data, temp);
+
+ DPRINTF(( (message("simpleDiv binaryexpr returning %s ", constraintExpr_unparse(e) ) )
+ ));
+
+ return e;
+ }
+ case unaryExpr:
+ return constraintExpr_div (e, ct);
+
+ default:
+ BADEXIT;
+ }
+}
+
+static /*@only@*/ constraintExpr constraintExpr_adjustMaxSetForCast(/*@only@*/ constraintExpr e, ctype ct)
+{
+
+ DPRINTF(( (message("constraintExpr_adjustMaxSetForCast got %s ", constraintExpr_unparse(e) ) )
+ ));
+
+ e = constraintExpr_makeIncConstraintExpr(e);
+
+ e = constraintExpr_simplify(e);
+
+
+ e = simpleDivType (e, ct);
+
+ e = constraintExpr_makeDecConstraintExpr(e);
+
+ e = constraintExpr_simplify(e);
+
+ DPRINTF(( (message("constraintExpr_adjustMaxSetForCast returning %s ", constraintExpr_unparse(e) ) )
+ ));
+
+ return e;
+}
+
+
+bool constraintExpr_isConstantOnly ( constraintExpr e )
+{
+ DPRINTF(( (message("constraintExpr_isConstantOnly %s ",
+ constraintExpr_unparse(e) ) )
+ ));
+
+ llassert(constraintExpr_isDefined(e) );
+
+ switch (e->kind)
+ {
+ case term:
+ {
+ constraintTerm t;
+
+ t = constraintExprData_termGetTerm(e->data);
+
+
+ if (constraintTerm_isConstantOnly (t) )
+ {
+ return TRUE;
+ }
+ else
+ {
+ return FALSE;
+ }
+ }
+
+ case binaryexpr:
+ {
+ constraintExpr temp1, temp2;
+
+ temp1 = constraintExprData_binaryExprGetExpr1 (e->data);
+
+ temp2 = constraintExprData_binaryExprGetExpr2 (e->data);
+
+ if (constraintExpr_isConstantOnly(temp1) &&
+ constraintExpr_isConstantOnly(temp2) )
+ {
+ return TRUE;
+ }
+ else
+ {
+ return FALSE;
+ }
+ }
+
+ case unaryExpr:
+ {
+ constraintExpr temp;
+
+ temp = constraintExprData_unaryExprGetExpr (e->data );
+
+ if (constraintExpr_isConstantOnly(temp) )
+ {
+ return TRUE;
+ }
+ else
+ {
+ return FALSE;
+ }
+ }
+ default:
+ BADEXIT;
+ }
+}