[PATCH] D71799: [Attributor] AAUndefinedBehavior: Check for branches on undef value.

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added inline comments.


================
Comment at: llvm/lib/Transforms/IPO/Attributor.cpp:2059
                                Instruction::AtomicCmpXchg,
-                               Instruction::AtomicRMW});
-    if (PrevSize != NoUBMemAccessInsts.size())
+                               Instruction::AtomicRMW, Instruction::Br});
+    if (PrevSize != NoUBInsts.size())
----------------
Split it in two calls since the pointer stuff and the control flow stuff (for branch, switch, ...) is conceptually different.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D71799