Searched refs:VisitedMAS (Results 1 – 1 of 1) sorted by relevance
3273 SmallPtrSet<const MemoryAccess *, 8> VisitedMAS; in verifyMemoryCongruency() local3274 assert((singleReachablePHIPath(VisitedMAS, FirstMUD, SecondMUD) || in verifyMemoryCongruency()