[fix] There are false negatives with expected error and different loc…

…ations
misonijnik · Nov 10, 2022 · 72b0bb9 · 72b0bb9
1 parent 28f8c98
commit 72b0bb9
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lib/Core/TargetedExecutionManager.cpp b/lib/Core/TargetedExecutionManager.cpp
@@ -240,7 +240,9 @@ bool TargetedExecutionManager::reportTruePositive(ExecutionState &state, ReachWi
     return false;
 
   auto target = it->second;
-  assert(target->getBlock() == state.prevPC->parent);
+  if (target->getBlock() != state.prevPC->parent) {
+    return false;
+  }
   auto expectedLocation = target2location[target.get()];
   if (expectedLocation->isReported)
     return true;