Searched refs:ReachabilityAA (Results 1 – 1 of 1) sorted by relevance
3136 const auto &ReachabilityAA = A.getAAFor<AAReachability>( in isKnownNoAliasDueToNoAliasPreservation() local3139 if (!ReachabilityAA.isAssumedReachable(A, *UserI, *getCtxI())) in isKnownNoAliasDueToNoAliasPreservation()