[PATCH] D71974: [Attributor][WIP] Connect AAIsDead with AAUndefinedBehavior

[Stefanos Baziotis via Phabricator via llvm-commits]

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


================
Comment at: llvm/lib/Transforms/IPO/Attributor.cpp:2720-2723
+      if (!AAUB.isKnownToCauseUB(&Front)) {
+        ToBeExploredFrom.insert(&Front);
+        assumeLive(A, EntryBlock);
+      }
----------------
With the known info it's easy because we don't need to remember that we were based on assumed info (in the `updateImpl()`). But now that I see that again, it probably is as simple as inserting `Front` in the `ToBeExploredFrom` (always) and only make the `EntryBlock` live if it is not assumed to cause UB.


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

https://reviews.llvm.org/D71974