[PATCH] D104618: [LoopDeletion] Exploit undef when symbolically executing 1st iteration

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a reviewer: aqjune.
lebedev.ri added a comment.

Looks good to me, thank you.

In D104618#2829759 <https://reviews.llvm.org/D104618#2829759>, @mkazantsev wrote:

> Urgh, I double-checked with lang ref and my initial version was fine:
>
>   Branching on an undefined value is undefined behavior.
>
> Rolling back to initial version.

It is correct as per langref, but i'm not confident we currently
don't restrain ourselves about it in other places.


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

https://reviews.llvm.org/D104618