From ca1a1083a8a9cce249dd46511072c00676a4c3d5 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Wed, 17 Oct 2018 22:26:09 +0100
Subject: Make valueOnly parameter of optimizeExpr explicit

avoid ambiguity of valueOnly parameter
---
 lib/Core/Executor.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'lib/Core')

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;
         }
-- 
cgit 1.4.1