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