On Thu, 1 Oct 2015, Marek Polacek wrote: > On Thu, Oct 01, 2015 at 03:26:34PM +0200, Richard Biener wrote: > > No, this looks fine. > > Thanks. Let me do proper testing then. (And I suppose we might want this > in gcc-5 as well.)
Yes. All the bugs are latent for GCC 5 (and also 4.9), they are just now exposed more easily by trusting the ranges in VRP2 (which was really meant as a way to catch these bugs, not so much to improve VRP2) Richard.