662                        const Instruction *ToI, const Function &ToFn,  in isPotentiallyReachable()  argument
712       if (!ToI)  in isPotentiallyReachable()
714       LLVM_DEBUG(dbgs() << "[AA] check " << *ToI << " from " << *CurFromI  in isPotentiallyReachable()
719                                            A, *CurFromI, *ToI, ExclusionSet);  in isPotentiallyReachable()
722                         << *ToI << " [Intra]\n");  in isPotentiallyReachable()
728     if (!ToFn.isDeclaration() && ToI) {  in isPotentiallyReachable()
733                                         A, EntryI, *ToI, ExclusionSet);  in isPotentiallyReachable()
736                         << "reach @" << *ToI << " [ToFn]\n");  in isPotentiallyReachable()
818     Attributor &A, const Instruction &FromI, const Instruction &ToI,  in isPotentiallyReachable()  argument
822   const Function *ToFn = ToI.getFunction();  in isPotentiallyReachable()
823   return ::isPotentiallyReachable(A, FromI, &ToI, *ToFn, QueryingAA,  in isPotentiallyReachable()