[PATCH] D136512: [AA] Allow for flow-sensitive analyses.

[David Goldblatt via Phabricator via llvm-commits]

davidtgoldblatt marked an inline comment as done.
davidtgoldblatt added inline comments.


================
Comment at: llvm/include/llvm/Analysis/AliasAnalysis.h:331
   /// each other. This is the interface that must be implemented by specific
-  /// alias analysis implementations.
+  /// alias analysis implementations. I can be nullptr, in which case the query
+  /// is whether or not the aliasing relationship holds through the entire
----------------
hiraditya wrote:
> > I can be nullptr
> Which `I` is this referring to?
Woops, that should have been down below, on the internal query function.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D136512