From cd97597b4fade91b89566f92f4f951609958ffb5 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Wed, 3 Jun 2009 03:07:32 +0000 Subject: Update ConstantExpr::fromMemory to return a ref. - This function should go away... git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72751 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/Expr.h | 2 +- lib/Expr/Expr.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/include/klee/Expr.h b/include/klee/Expr.h index f0adc42d..49dc65ec 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -321,7 +321,7 @@ public: virtual unsigned computeHash(); - static ref fromMemory(void *address, Width w); + static ref fromMemory(void *address, Width w); void toMemory(void *address); static ref alloc(uint64_t v, Width w) { diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp index 9def85d7..e8024fc9 100644 --- a/lib/Expr/Expr.cpp +++ b/lib/Expr/Expr.cpp @@ -336,7 +336,7 @@ void Expr::print(std::ostream &os) const { /***/ -ref ConstantExpr::fromMemory(void *address, Width width) { +ref ConstantExpr::fromMemory(void *address, Width width) { switch (width) { case Expr::Bool: return ConstantExpr::create(*(( uint8_t*) address), width); case Expr::Int8: return ConstantExpr::create(*(( uint8_t*) address), width); -- cgit 1.4.1