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

[Stefanos Baziotis via Phabricator via llvm-commits]

baziotis added a comment.

In D71799#1794405 <https://reviews.llvm.org/D71799#1794405>, @uenoku wrote:

>   if (!SimplifiedV.hasValue()) {
>     // No value yet, we can assume any value: assume this is undef BUT
>     // this is not _known_ so we don't put in the known set.
>   } else {
>     These are also assumption. You can't use these as known
>     if (undef) {
>       // insert in KnownUB 
>     } else {
>       // insert in NoUB.
>     }
>   }
>


Oh right, I have to call `ValueSimplifyAA.isKnown()`.


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

https://reviews.llvm.org/D71799