Skip to content

Commit 7e95637

Browse files
authored
Update IDESolver.h
1 parent 0fab2c7 commit 7e95637

1 file changed

Lines changed: 1 addition & 3 deletions

File tree

  • include/phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Solver

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

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1098,9 +1098,7 @@ class IDESolver
10981098
// return site using the composed function
10991099
auto RevLookupResult = JumpFn->reverseLookup(c, d4);
11001100
if (RevLookupResult) {
1101-
llvm::SmallVector<std::pair<d_t, EdgeFunctionPtrType>, 2> ResCopy(
1102-
RevLookupResult->get().begin(), RevLookupResult->get().end());
1103-
for (const auto &ValAndFunc : ResCopy) {
1101+
for (auto ValAndFunc : RevLooupResult->get()) {
11041102
EdgeFunctionPtrType f3 = ValAndFunc.second;
11051103
if (!f3->equal_to(AllTop)) {
11061104
d_t d3 = ValAndFunc.first;

0 commit comments

Comments
 (0)