From f870aa1e0723e9203df495020ee2bf2bc47a6246 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Thu, 4 Jun 2009 08:31:20 +0000 Subject: Finish removing uses of Expr::isConstant. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72859 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Solver/CexCachingSolver.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'lib/Solver/CexCachingSolver.cpp') diff --git a/lib/Solver/CexCachingSolver.cpp b/lib/Solver/CexCachingSolver.cpp index 49db74e8..1eaec4d9 100644 --- a/lib/Solver/CexCachingSolver.cpp +++ b/lib/Solver/CexCachingSolver.cpp @@ -138,8 +138,8 @@ bool CexCachingSolver::lookupAssignment(const Query &query, Assignment *&result) { KeyType key(query.constraints.begin(), query.constraints.end()); ref neg = Expr::createNot(query.expr); - if (neg->isConstant()) { - if (!neg->getConstantValue()) { + if (ConstantExpr *CE = dyn_cast(neg)) { + if (!CE->getConstantValue()) { result = (Assignment*) 0; return true; } @@ -153,8 +153,8 @@ bool CexCachingSolver::lookupAssignment(const Query &query, bool CexCachingSolver::getAssignment(const Query& query, Assignment *&result) { KeyType key(query.constraints.begin(), query.constraints.end()); ref neg = Expr::createNot(query.expr); - if (neg->isConstant()) { - if (!neg->getConstantValue()) { + if (ConstantExpr *CE = dyn_cast(neg)) { + if (!CE->getConstantValue()) { result = (Assignment*) 0; return true; } -- cgit 1.4.1