Searched refs:SecondMUD (Results 1 – 1 of 1) sorted by relevance
3246 auto *SecondMUD = dyn_cast<MemoryUseOrDef>(KV.second->getMemoryLeader()); in verifyMemoryCongruency() local3247 if (FirstMUD && SecondMUD) { in verifyMemoryCongruency()3249 assert((singleReachablePHIPath(VisitedMAS, FirstMUD, SecondMUD) || in verifyMemoryCongruency()3251 ValueToClass.lookup(SecondMUD->getMemoryInst())) && in verifyMemoryCongruency()