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