https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107833
Richard Biener changed:
What|Removed |Added
Summary|wrong code at -Os and above |[12/13 Regression] wrong
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107833
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment #7
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107833
--- Comment #8 from Jakub Jelinek ---
I think this is CCP's fault rather than VRP.
Everything I've looked at in the vrp2 dump looks right to me.
In the outer loop, h/i is
# RANGE [irange] int [0, 3] NONZERO 0x3
# h_41 = PHI
# i_44 = PHI
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107833
--- Comment #9 from Jakub Jelinek ---
Wasn't this discussed in the past in other PRs? Whether uninitialized vars
mean anything or anything but same value each time a SSA_NAME initialized to it
is used?
Because as this testcase shows, not all us
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107833
Andrew Pinski changed:
What|Removed |Added
See Also||https://gcc.gnu.org/bugzill
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107833
--- Comment #11 from Richard Biener ---
(In reply to Andrew Pinski from comment #10)
> (In reply to Jakub Jelinek from comment #9)
> > Wasn't this discussed in the past in other PRs? Whether uninitialized vars
> > mean anything or anything but
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107833
--- Comment #12 from Jakub Jelinek ---
So, do we whack-a-mole in this case some more and try harder in
mark_ssa_maybe_undefs
by basically repeating the CCP4 UNDEFINED propagation, or invent some new stmt
or marking that IVOPTS could use before t
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107833
--- Comment #13 from rguenther at suse dot de ---
On Fri, 2 Dec 2022, jakub at gcc dot gnu.org wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107833
>
> --- Comment #12 from Jakub Jelinek ---
> So, do we whack-a-mole in this case some
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107833
Richard Biener changed:
What|Removed |Added
Status|NEW |ASSIGNED
Assignee|unassigned
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107833
--- Comment #15 from CVS Commits ---
The master branch has been updated by Richard Biener :
https://gcc.gnu.org/g:44c8402d35160515b3c09fd2bc239587e0c32a2b
commit r13-4491-g44c8402d35160515b3c09fd2bc239587e0c32a2b
Author: Richard Biener
Date:
10 matches
Mail list logo