[llvm-dev] ScalarEvolution invariants around wrapping flags

[Tim Northover via llvm-dev]

On Sun, 29 Sep 2019 at 19:23, Sanjoy Das <sanjoy at playingwithpointers.com> wrote:
> Your reasoning sounds correct to me.  Let's revert for now?

Sounds good, I've reverted it with r373184 (and r373185 to polly,
which fixed up some tests after the original commit).

> I don't think there is an easy fix, we'll have to do a global "must be
> executed" analysis to reapply the patch soundly.  And that's difficult
> since any external functional call can call "exit(0)".

Oh yes, that didn't even occur to me.

Cheers.

Tim.