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

Wed Dec 25 09:15:22 PST 2019

uenoku added a comment.

In D71799#1796066 <https://reviews.llvm.org/D71799#1796066>, @jdoerfert wrote:

> There was a patch by @uenoku to deal with conditional and the merging of states when we are exploring but I don't see it in-tree and I forgot which one it was.

It was D65593 <https://reviews.llvm.org/D65593>. I forgot too:). It is a good opportunity to rebase. I'll work on.
The idea is that if we know there is UB in both branches, we can say there is UB regardless of a condition value.

> @uenoku Can you commit this for @baziotis? (https://llvm.org/docs/DeveloperPolicy.html#commit-messages)

Sure.

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

https://reviews.llvm.org/D71799