diff options
Diffstat (limited to 'lib/Core/Memory.h')
-rw-r--r-- | lib/Core/Memory.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Core/Memory.h b/lib/Core/Memory.h index 0f09b162..cfb4ab43 100644 --- a/lib/Core/Memory.h +++ b/lib/Core/Memory.h @@ -118,7 +118,7 @@ public: ref<Expr> getBoundsCheckOffset(ref<Expr> offset) const { if (size==0) { - return EqExpr::create(offset, ref<Expr>(0, kMachinePointerType)); + return EqExpr::create(offset, ConstantExpr::alloc(0, kMachinePointerType)); } else { return UltExpr::create(offset, getSizeExpr()); } @@ -126,9 +126,9 @@ public: ref<Expr> getBoundsCheckOffset(ref<Expr> offset, unsigned bytes) const { if (bytes<=size) { return UltExpr::create(offset, - ref<Expr>(size - bytes + 1, kMachinePointerType)); + ConstantExpr::alloc(size - bytes + 1, kMachinePointerType)); } else { - return ref<Expr>(0, Expr::Bool); + return ConstantExpr::alloc(0, Expr::Bool); } } }; |