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