diff options
Diffstat (limited to 'lib/Core/ExecutorUtil.cpp')
| -rw-r--r-- | lib/Core/ExecutorUtil.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/Core/ExecutorUtil.cpp b/lib/Core/ExecutorUtil.cpp index 5164e927..04264164 100644 --- a/lib/Core/ExecutorUtil.cpp +++ b/lib/Core/ExecutorUtil.cpp @@ -53,9 +53,9 @@ namespace klee { abort(); case Instruction::Trunc: - return op1->Extract(0, Expr::getWidthForLLVMType(type)); - case Instruction::ZExt: return op1->ZExt(Expr::getWidthForLLVMType(type)); - case Instruction::SExt: return op1->SExt(Expr::getWidthForLLVMType(type)); + return op1->Extract(0, getWidthForLLVMType(type)); + case Instruction::ZExt: return op1->ZExt(getWidthForLLVMType(type)); + case Instruction::SExt: return op1->SExt(getWidthForLLVMType(type)); case Instruction::Add: return op1->Add(op2); case Instruction::Sub: return op1->Sub(op2); case Instruction::Mul: return op1->Mul(op2); @@ -72,10 +72,10 @@ namespace klee { case Instruction::BitCast: return op1; case Instruction::IntToPtr: - return op1->ZExt(Expr::getWidthForLLVMType(type)); + return op1->ZExt(getWidthForLLVMType(type)); case Instruction::PtrToInt: - return op1->ZExt(Expr::getWidthForLLVMType(type)); + return op1->ZExt(getWidthForLLVMType(type)); case Instruction::GetElementPtr: { ref<ConstantExpr> base = op1->ZExt(Context::get().getPointerWidth()); |