diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2018-10-17 22:26:09 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-10-23 18:53:46 +0300 |
| commit | ca1a1083a8a9cce249dd46511072c00676a4c3d5 (patch) | |
| tree | cdce30b357b3adf9ef2be05b367e064711db72ce /lib/Core | |
| parent | 2b0209af3f85d5467486a430b36b41d17863f78e (diff) | |
| download | klee-ca1a1083a8a9cce249dd46511072c00676a4c3d5.tar.gz | |
Make valueOnly parameter of optimizeExpr explicit
avoid ambiguity of valueOnly parameter
Diffstat (limited to 'lib/Core')
| -rw-r--r-- | lib/Core/Executor.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 506fa12f..f0335812 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -1100,7 +1100,7 @@ ref<Expr> Executor::toUnique(const ExecutionState &state, OptimizeArray == INDEX) && !isa<ConstantExpr>(cond)) { ref<Expr> res; - optimizer.optimizeExpr(cond, res); + optimizer.optimizeExpr(cond, res, false); if (res.get()) { cond = res; } @@ -1612,7 +1612,7 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) { OptimizeArray == INDEX) && !isa<ConstantExpr>(cond)) { ref<Expr> result; - optimizer.optimizeExpr(cond, result); + optimizer.optimizeExpr(cond, result, false); if (result.get()) { cond = result; } @@ -1765,7 +1765,7 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) { OptimizeArray == INDEX) && !isa<ConstantExpr>(match)) { ref<Expr> result; - optimizer.optimizeExpr(match, result); + optimizer.optimizeExpr(match, result, false); if (result.get()) { match = result; } @@ -1800,7 +1800,7 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) { OptimizeArray == INDEX) && !isa<ConstantExpr>(defaultValue)) { ref<Expr> result; - optimizer.optimizeExpr(defaultValue, result); + optimizer.optimizeExpr(defaultValue, result, false); if (result.get()) { defaultValue = result; } |