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

[Hideto Ueno via Phabricator via llvm-commits]

uenoku added a comment.

  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.
    }
  }


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

https://reviews.llvm.org/D71799