The fix

Author: fabianbs96

include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver/IDESolver.h

@@ -1098,7 +1098,9 @@ class IDESolver
             // return site using the composed function
             auto RevLookupResult = JumpFn->reverseLookup(c, d4);
             if (RevLookupResult) {
-              for (const auto &ValAndFunc : RevLookupResult->get()) {
+              llvm::SmallVector<std::pair<d_t, EdgeFunctionPtrType>, 2> ResCopy(
+                  RevLookupResult->get().begin(), RevLookupResult->get().end());
+              for (const auto &ValAndFunc : ResCopy) {
                 EdgeFunctionPtrType f3 = ValAndFunc.second;
                 if (!f3->equal_to(AllTop)) {
                   d_t d3 = ValAndFunc.first;