[PATCH] D85184: [Attributor][WIP] Deduce noundef attribute

[Shinji Okumura via Phabricator via llvm-commits]

okura added a comment.

Sorry for the late response.



================
Comment at: llvm/lib/Transforms/IPO/AttributorAttributes.cpp:7151
+      if (Instruction *CtxI = getCtxI())
+        followUsesInMBEC(*this, A, getState(), *CtxI);
+  }
----------------
jdoerfert wrote:
> Locally I "fixed" this for AANonNull and AADereferenceable already didn't find the time to upstream yet. We want to move the followUsesInMBEC into the `initialize` of the floating subclass. We then make the argument and call site return subclass derive from the floating one though. 
Is the same true for AAAlign?


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

https://reviews.llvm.org/D85184