From b9c0914f3d27e04e3335760b7fd13c5e9953103d Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Thu, 4 Jun 2009 00:49:34 +0000 Subject: Move isConstant from ref<> to Expr:: - Ref.h is now freestanding. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72824 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Expr/ExprEvaluator.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib/Expr/ExprEvaluator.cpp') diff --git a/lib/Expr/ExprEvaluator.cpp b/lib/Expr/ExprEvaluator.cpp index 0c04a538..038fe8b8 100644 --- a/lib/Expr/ExprEvaluator.cpp +++ b/lib/Expr/ExprEvaluator.cpp @@ -16,7 +16,7 @@ ExprVisitor::Action ExprEvaluator::evalRead(const UpdateList &ul, for (const UpdateNode *un=ul.head; un; un=un->next) { ref ui = visit(un->index); - if (ui.isConstant()) { + if (ui->isConstant()) { if (ui->getConstantValue() == index) return Action::changeTo(visit(un->value)); } else { @@ -36,7 +36,7 @@ ExprVisitor::Action ExprEvaluator::evalRead(const UpdateList &ul, ExprVisitor::Action ExprEvaluator::visitRead(const ReadExpr &re) { ref v = visit(re.index); - if (v.isConstant()) { + if (v->isConstant()) { return evalRead(re.updates, v->getConstantValue()); } else { return Action::doChildren(); @@ -50,7 +50,7 @@ ExprVisitor::Action ExprEvaluator::protectedDivOperation(const BinaryExpr &e) { ref kids[2] = { visit(e.left), visit(e.right) }; - if (kids[1].isConstant() && !kids[1]->getConstantValue()) + if (kids[1]->isConstant() && !kids[1]->getConstantValue()) kids[1] = e.right; if (kids[0]!=e.left || kids[1]!=e.right) { -- cgit 1.4.1