diff options
| author | David Laprell <david.laprell@rwth-aachen.de> | 2020-01-14 12:29:06 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-10-09 21:46:06 +0100 |
| commit | 6e0209e74ef814aa27af2add01d22284817c3d73 (patch) | |
| tree | 1f6b4601108546e850f1771b25f02ffe4e5939f1 /lib | |
| parent | 356b0471a11370b4c8833519a2d9ffbe8ce6b2e1 (diff) | |
| download | klee-6e0209e74ef814aa27af2add01d22284817c3d73.tar.gz | |
fix: fabs() working on the wrong argument
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Core/Executor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 48252dbd..7fac4fa4 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -1420,7 +1420,7 @@ void Executor::executeCall(ExecutionState &state, KInstruction *ki, Function *f, break; case Intrinsic::fabs: { ref<ConstantExpr> arg = - toConstant(state, eval(ki, 0, state).value, "floating point"); + toConstant(state, arguments[0], "floating point"); if (!fpWidthToSemantics(arg->getWidth())) return terminateStateOnExecError( state, "Unsupported intrinsic llvm.fabs call"); |