Fix after rebase 3

UnitTestBot · Nov 20, 2023 · 3e1710b · 3e1710b
1 parent 26f93a7
commit 3e1710b
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
@@ -2951,15 +2951,12 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) {
           have already got a value. But in the end the caches should
           handle it for us, albeit with some overhead. */
       do {
-        if (!isa<ConstantExpr>(v) &&
-            interpreterOpts.Mock == MockPolicy::Failed) {
+        if (!first && interpreterOpts.Mock == MockPolicy::Failed) {
+          free = nullptr;
           if (ki->inst->getType()->isSized()) {
             prepareMockValue(state, "mockExternResult", ki);
           }
         } else {
-          ExecutionState *free = &state;
-          bool hasInvalid = false, first = true;
-
           v = optimizer.optimizeExpr(v, true);
           ref<ConstantExpr> value;
           bool success = solver->getValue(free->constraints.cs(), v, value,