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

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

I haven't read all of the discussion so it might as well be possible you converged on this already but I'll say it anyway:

Assumed information can used other assumed information, known information only known information.
You can make AAUndefBehavior track assumed information instead of known information but then we need to look at the not yet known facts in every updateImpl iteration again to make sure the assumed status is still justified.


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

https://reviews.llvm.org/D71799