stateClause
stateClause_create (lltok tok, qual q, sRefSet s)
{
stateClause ret = (stateClause) dmalloc (sizeof (*ret));
if (lltok_getTok (tok) == QPRECLAUSE)
{
ret->state = TK_BEFORE;
}
else if (lltok_getTok (tok) == QPOSTCLAUSE)
{
ret->state = TK_AFTER;
}
else
{
BADBRANCH;
}
ret->loc = fileloc_copy (lltok_getLoc (tok));
ret->squal = q;
ret->refs = s;
if (sRefSet_isDefined (s))
{
ret->kind = SP_QUAL;
}
else
{
ret->kind = SP_GLOBAL;
}
return ret;
}
fileloc constraint_getFileloc (constraint c)
{
llassert (constraint_isDefined (c) );
if (exprNode_isDefined (c->generatingExpr))
return (fileloc_copy (exprNode_loc (c->generatingExpr)));
return (constraintExpr_loc (c->lexpr));
}
stateClause stateClause_copy (stateClause s)
{
stateClause ret = (stateClause) dmalloc (sizeof (*ret));
ret->state = s->state;
ret->kind = s->kind;
ret->squal = s->squal;
ret->refs = sRefSet_newCopy (s->refs);
ret->loc = fileloc_copy (s->loc);
return ret;
}
void constraint_printError (constraint c, fileloc loc)
{
cstring string;
fileloc errorLoc, temp;
bool isLikely;
llassert (constraint_isDefined (c) );
/*drl 11/26/2001 avoid printing tautological constraints */
if (constraint_isAlwaysTrue (c))
{
return;
}
string = constraint_unparseDetailed (c);
errorLoc = loc;
temp = constraint_getFileloc (c);
if (fileloc_isDefined (temp))
{
errorLoc = temp;
}
else
{
llassert (FALSE);
DPRINTF (("constraint %s had undefined fileloc %s",
constraint_unparse (c), fileloc_unparse (temp)));
fileloc_free (temp);
errorLoc = fileloc_copy (errorLoc);
}
if (context_getFlag (FLG_BOUNDSCOMPACTERRORMESSAGES))
{
string = cstring_replaceChar(string, '\n', ' ');
}
/*drl added 12/19/2002 print
a different error fro "likely" bounds-errors*/
isLikely = constraint_isConstantOnly (c);
if (isLikely)
{
if (c->post)
{
voptgenerror (FLG_FUNCTIONPOST, string, errorLoc);
}
else
{
if (constraint_hasMaxSet (c))
{
voptgenerror (FLG_LIKELYBOUNDSWRITE, string, errorLoc);
}
else
{
voptgenerror (FLG_LIKELYBOUNDSREAD, string, errorLoc);
}
}
}
else if (c->post)
{
voptgenerror (FLG_FUNCTIONPOST, string, errorLoc);
}
else
{
if (constraint_hasMaxSet (c))
{
voptgenerror (FLG_BOUNDSWRITE, string, errorLoc);
}
else
{
voptgenerror (FLG_BOUNDSREAD, string, errorLoc);
}
}
fileloc_free(errorLoc);
}
