diff options
Diffstat (limited to 'lib/Core/AddressSpace.cpp')
| -rw-r--r-- | lib/Core/AddressSpace.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Core/AddressSpace.cpp b/lib/Core/AddressSpace.cpp index 78dab30a..0f5a2bb7 100644 --- a/lib/Core/AddressSpace.cpp +++ b/lib/Core/AddressSpace.cpp @@ -52,7 +52,7 @@ ObjectState *AddressSpace::getWriteable(const MemoryObject *mo, /// bool AddressSpace::resolveOne(const ref<ConstantExpr> &addr, - ObjectPair &result) { + ObjectPair &result) const { uint64_t address = addr->getZExtValue(); MemoryObject hack(address); @@ -74,7 +74,7 @@ bool AddressSpace::resolveOne(ExecutionState &state, TimingSolver *solver, ref<Expr> address, ObjectPair &result, - bool &success) { + bool &success) const { if (ConstantExpr *CE = dyn_cast<ConstantExpr>(address)) { success = resolveOne(CE, result); return true; @@ -196,7 +196,7 @@ int AddressSpace::checkPointerInObject(ExecutionState &state, bool AddressSpace::resolve(ExecutionState &state, TimingSolver *solver, ref<Expr> p, ResolutionList &rl, - unsigned maxResolutions, double timeout) { + unsigned maxResolutions, double timeout) const { if (ConstantExpr *CE = dyn_cast<ConstantExpr>(p)) { ObjectPair res; if (resolveOne(CE, res)) |