Re: [PATCH] Fix PR76490

2016-08-17 Thread Richard Biener
On Mon, 15 Aug 2016, Richard Biener wrote: > > The following fixes PR76490 which happens because how VRP expects > +INF vs. +INF(OVF) to behave wrt comparisons. I fixed all > operand_equal_p cases that matter. > > Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. The following is

[PATCH] Fix PR76490

2016-08-15 Thread Richard Biener
The following fixes PR76490 which happens because how VRP expects +INF vs. +INF(OVF) to behave wrt comparisons. I fixed all operand_equal_p cases that matter. Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. Richard. 2016-08-15 Richard Biener PR tree-optimization/7649