From 69a7598ab92a5fcd3573487677d7681552c1ba4c Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Thu, 25 Jun 2009 00:42:11 +0000 Subject: Remove some more uses of getConstantValue. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@74149 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Solver/FastCexSolver.cpp | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'lib/Solver') diff --git a/lib/Solver/FastCexSolver.cpp b/lib/Solver/FastCexSolver.cpp index 5a2db747..74c068b0 100644 --- a/lib/Solver/FastCexSolver.cpp +++ b/lib/Solver/FastCexSolver.cpp @@ -101,6 +101,10 @@ private: public: ValueRange() : m_min(1),m_max(0) {} + ValueRange(const ref &ce) { + // FIXME: Support large widths. + m_min = m_max = ce->getLimitedValue(); + } ValueRange(uint64_t value) : m_min(value), m_max(value) {} ValueRange(uint64_t _min, uint64_t _max) : m_min(_min), m_max(_max) {} ValueRange(const ValueRange &b) : m_min(b.m_min), m_max(b.m_max) {} -- cgit 1.4.1