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