[PATCH] D118673: [Attributor] Introduce the `AA::isPotentiallyReachable` helper APIs

[Kuter Dinel via Phabricator via llvm-commits]

kuter added inline comments.


================
Comment at: llvm/lib/Transforms/IPO/Attributor.cpp:482
+                        << *CurFromI << " is not checked backwards, abort\n");
+      return true;
+    }
----------------
We haven't called `FnReachabilityAA.instructionCanReach` yet. This function won't do interprocedural reachability if there is no GoBackwardsCB  ?



Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D118673/new/

https://reviews.llvm.org/D118673