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

[Hideto Ueno via Phabricator via llvm-commits]

uenoku added a comment.

In D71799#1796829 <https://reviews.llvm.org/D71799#1796829>, @baziotis wrote:

> - I still don't understand why `getPointerOperand()` returns `null` on `volatile` instructions (although I have guess it is to prevent further processing). Is it correct what I do?


`getPointerOperand` was added as a helper for `dereferenceable`(volatile store/load doesn't imply dereferenceable). And you can change it if you want.

I'd say I'm not sure whether volatile store/load for `undef` is UB.


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

https://reviews.llvm.org/D71799