https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104986
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104986
--- Comment #8 from Richard Biener ---
(In reply to Andrew Macleod from comment #5)
> Looking at the strlen1 output, it only ever asks ranger about 6 names:
>
> 334 range_of_expr(_36) at stmt _52 = iftmp.1_17 + _36;
> TRUE :
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104986
--- Comment #7 from Andrew Macleod ---
and I forgot to show to dom3 output which did the transformation:
j.c.195t.dom3:Match-and-simplified (sizetype) nb_66 to 18446744073709551615
j.c.195t.dom3:Optimizing statement _2 = (sizetype) nb_66;
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104986
--- Comment #6 from Aldy Hernandez ---
(In reply to Aldy Hernandez from comment #4)
> (In reply to Richard Biener from comment #3)
> > This is peeling leaving us with unreachable code we warn on and somehow
> > while figuring prephitmp_30 + -6
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104986
--- Comment #5 from Andrew Macleod ---
(In reply to Richard Biener from comment #3)
> This is peeling leaving us with unreachable code we warn on and somehow
> while figuring prephitmp_30 + -6 is -1 we don't figure nb_58 is zero on
> the path
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104986
--- Comment #4 from Aldy Hernandez ---
(In reply to Richard Biener from comment #3)
> This is peeling leaving us with unreachable code we warn on and somehow
> while figuring prephitmp_30 + -6 is -1 we don't figure nb_58 is zero on
> the path
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104986
Richard Biener changed:
What|Removed |Added
Keywords||missed-optimization
--- Comment #3
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104986
Aldy Hernandez changed:
What|Removed |Added
CC||amacleod at redhat dot com,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104986
Martin Liška changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Summary|[12 Regression]
