[PATCH] D63604: [Attributor] Deduce "nonnull" attribute

[Hideto Ueno via Phabricator via llvm-commits]

uenoku added inline comments.


================
Comment at: llvm/lib/Transforms/IPO/Attributor.cpp:854
+  Value &V = *getAssociatedValue();
+
+  auto *AANonNull = A.getAAFor<AANonNullImpl>(*this, V);
----------------
jdoerfert wrote:
> `isKnowNonNull(&V, ...)` ?
>`isKnowNonNull(&V, ...)`?

Could you explain more detail?






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

https://reviews.llvm.org/D63604