Searched refs:BeforeCC (Results 1 – 1 of 1) sorted by relevance
3311 auto *BeforeCC = &BeforeIteration.find(KV.first)->second; in verifyIterationSettled() local3315 if (!EqualClasses.count({BeforeCC, AfterCC})) { in verifyIterationSettled()3316 assert(BeforeCC->isEquivalentTo(AfterCC) && in verifyIterationSettled()3318 EqualClasses.insert({BeforeCC, AfterCC}); in verifyIterationSettled()