https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65875
--- Comment #10 from Jakub Jelinek ---
I meant in the first loop.
But we handle:
int b, c, e;
long
foo (int x, int y)
{
long h = 0;
for (b = 0; b < x; b++)
for (c = 0; c < y; c++)
if (e)
h = 1;
return h + 4;
}
correctly,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65875
--- Comment #9 from rguenther at suse dot de ---
On Tue, 28 Apr 2015, jakub at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65875
>
> --- Comment #8 from Jakub Jelinek ---
> (In reply to Richard Biener from comment #4)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65875
--- Comment #8 from Jakub Jelinek ---
(In reply to Richard Biener from comment #4)
> For h we get into the loop PHI handling code which drops to INF-1 if it
> iterates
> "too much". The rest probably ripples down from that.
>
> I can't see wher
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65875
Jakub Jelinek changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65875
--- Comment #6 from Jakub Jelinek ---
Author: jakub
Date: Mon Apr 27 12:21:17 2015
New Revision: 222461
URL: https://gcc.gnu.org/viewcvs?rev=222461&root=gcc&view=rev
Log:
PR tree-optimization/65875
* tree-vrp.c (update_value_rang
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65875
--- Comment #5 from Jakub Jelinek ---
Author: jakub
Date: Mon Apr 27 11:26:12 2015
New Revision: 222458
URL: https://gcc.gnu.org/viewcvs?rev=222458&root=gcc&view=rev
Log:
PR tree-optimization/65875
* tree-vrp.c (update_value_rang
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65875
--- Comment #4 from Richard Biener ---
(In reply to Jakub Jelinek from comment #3)
> Created attachment 35395 [details]
> gcc5-pr65875.patch
>
> Untested fix. IMHO vrp_visit_phi_node was missing the vr_result VR_VARING
> handling if the value r
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65875
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment #3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65875
Markus Trippelsdorf changed:
What|Removed |Added
CC||trippels at gcc dot gnu.org
