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