Searched refs:BeforeIteration (Results 1 – 1 of 1) sorted by relevance
3287 std::map<const Value *, CongruenceClass> BeforeIteration; in verifyIterationSettled() local3294 BeforeIteration.insert({KV.first, *KV.second}); in verifyIterationSettled()3311 auto *BeforeCC = &BeforeIteration.find(KV.first)->second; in verifyIterationSettled()