/*
-** LCLint - annotation-assisted static program checker
-** Copyright (C) 1994-2001 University of Virginia,
+** Splint - annotation-assisted static program checker
+** Copyright (C) 1994-2002 University of Virginia,
** Massachusetts Institute of Technology
**
** This program is free software; you can redistribute it and/or modify it
**
** For information on lclint: lclint-request@cs.virginia.edu
** To report a bug: lclint-bug@cs.virginia.edu
-** For more information: http://lclint.cs.virginia.edu
+** For more information: http://www.splint.org
*/
/*
op = constraintExprData_binaryExprGetOp (expr->data);
- DPRINTF( (message("constraintExpr_propagateConstants: binaryexpr: %s", constraintExpr_unparse(expr) ) ) );
+ DPRINTF((message("constraintExpr_propagateConstants: binaryexpr: %s", constraintExpr_unparse(expr) ) ) );
expr = removeZero(expr);
constraintExpr_free (expr2);
if (op == BINARYOP_PLUS )
- return (constraintExpr_makeIntLiteral ( (t1+t2) ));
+ return (constraintExpr_makeIntLiteral ((t1+t2) ));
else if (op == BINARYOP_MINUS)
- return (constraintExpr_makeIntLiteral ( (t1-t2) ));
+ return (constraintExpr_makeIntLiteral ((t1-t2) ));
else
BADEXIT;
}
return expr1;
}
- DPRINTF( (message("constraintExpr_propagateConstants returning: %s", constraintExpr_unparse(expr) ) ) );
+ DPRINTF((message("constraintExpr_propagateConstants returning: %s", constraintExpr_unparse(expr) ) ) );
expr->data = constraintExprData_binaryExprSetExpr1 (expr->data, expr1);
expr->data = constraintExprData_binaryExprSetExpr2 (expr->data, expr2);
bool propagate;
int literal;
- DPRINTF ( (message ("Before combine %s", constraintExpr_unparse(expr) ) ) );
+ DPRINTF ((message ("Before combine %s", constraintExpr_unparse(expr) ) ) );
expr = constraintExpr_propagateConstants (expr, &propagate, &literal);
expr = ret;
}
}
- DPRINTF ( (message ("After combine %s", constraintExpr_unparse(expr) ) ) );
+ DPRINTF ((message ("After combine %s", constraintExpr_unparse(expr) ) ) );
return expr;
}
case XPR_COMMA:
t = exprData_getPairA(data);
ret = constraintExpr_makeExprNode(t);
- /*@i3434*/ /*I'm not sure if this is right. I'm adding a break to quite LCLint*/
+ /*@i3434*/ /* drl: I'm not sure if this is right. I'm adding a break to quiet Splint */
break;
default:
ret = oldconstraintExpr_makeTermExprNode (e);
{
constraintExpr ret;
- DPRINTF ( (message ("Making subtract expression") ) );
+ DPRINTF ((message ("Making subtract expression") ) );
ret = constraintExpr_makeBinaryOpConstraintExpr (expr, addent);
ret->data = constraintExprData_binaryExprSetOp (ret->data, BINARYOP_MINUS);
{
constraintExpr ret;
- DPRINTF ( (message ("Doing addTerm simplification") ) );
+ DPRINTF ((message ("Doing addTerm simplification") ) );
ret = constraintExpr_makeBinaryOpConstraintExpr (expr, addent);
ret->data = constraintExprData_binaryExprSetOp (ret->data, BINARYOP_PLUS);
DPRINTF ((message ("Doing constraintExpr_simplifyunaryExpr:%s", constraintExpr_unparse (c) ) ) );
- if ( (constraintExprData_unaryExprGetOp (c->data) != MAXSET) &&
+ if ((constraintExprData_unaryExprGetOp (c->data) != MAXSET) &&
(constraintExprData_unaryExprGetOp (c->data) != MAXREAD) )
{
return c;
constraintExpr temp, temp2;
- DPRINTF ( (message ("Doing fancy simplification") ) );
+ DPRINTF ((message ("Doing fancy simplification") ) );
temp = constraintExprData_binaryExprGetExpr2 (exp->data);
c = constraintExpr_makeSubtractExpr (c, temp);
- DPRINTF ( (message ("Done fancy simplification:%s", constraintExpr_unparse (c) ) ) );
+ DPRINTF ((message ("Done fancy simplification:%s", constraintExpr_unparse (c) ) ) );
}
}
- DPRINTF ( (message ("constraintExpr_simplifyUnaryExpr: Done simplification:%s", constraintExpr_unparse (c) ) ) );
+ DPRINTF ((message ("constraintExpr_simplifyUnaryExpr: Done simplification:%s", constraintExpr_unparse (c) ) ) );
constraintExpr_free(exp);
return c;
constraintExpr ret;
constraintTerm t;
- DPRINTF ( (message ("Doing constraintExpr_simplify:%s", constraintExpr_unparse (c) ) ) );
+ DPRINTF ((message ("Doing constraintExpr_simplify:%s", constraintExpr_unparse (c) ) ) );
/*@i22*/
- /*I think this is an LCLint bug */
+ /* drl: I think this is an Splint bug */
ret = constraintExpr_copy(c);
llassert(FALSE);
}
- DPRINTF ( (message ("constraintExpr_simplify returning :%s", constraintExpr_unparse (ret) ) ) );
+ DPRINTF ((message ("constraintExpr_simplify returning :%s", constraintExpr_unparse (ret) ) ) );
return ret;
}
/* if (constraintTerm_hasTerm (expr->term, term) ) */
/* return TRUE; */
-/* if ( (expr->expr) != NULL) */
+/* if ((expr->expr) != NULL) */
/* { */
/* return ( constraintExpr_includesTerm (expr->expr, term) ); */
/* } */