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

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

Note that there's somewhat relevant prior art,
e.g. `llvm/lib/Transforms/Instrumentation/PoisonChecking.cpp` (D64215 <https://reviews.llvm.org/D64215>)
and https://github.com/AliveToolkit/alive2.
Would be great to not have this much duplication, but a single all-powerful one, but not sure it's possible (yet?)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D71799