https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104475
--- Comment #10 from Aldy Hernandez ---
(In reply to Richard Biener from comment #9)
> I think threading unlikely paths is never worth it and usually NULL pointer
> checks are statically predicted.
>
> I guess one idea would be to scale BB cost
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104475
Richard Biener changed:
What|Removed |Added
CC||hubicka at gcc dot gnu.org,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104475
Aldy Hernandez changed:
What|Removed |Added
CC||law at gcc dot gnu.org
--- Comment #8
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104475
Richard Biener changed:
What|Removed |Added
Keywords||missed-optimization
--- Comment #7 fro
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104475
--- Comment #6 from Andrew Macleod ---
Created attachment 52564
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52564&action=edit
possible patch
Perhaps better would be to not try to propagate NULL-ness.
_1 = this_10(D)->d;
_2 = &
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104475
--- Comment #5 from Andrew Macleod ---
We do have the option of not trying to determine anything about _1 in
situations like this..
I tried removing the op1_range() routine for addr_expr, and we pass all tests
just fine.
we would pick up non-nu
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104475
--- Comment #4 from Andrew Macleod ---
(In reply to Aldy Hernandez from comment #3)
> This isn't the threader but VRP/ranger.
>
> What happens is that the threader isolates the path, making it easier for
> VRP to see the equivalence, and then C
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104475
Aldy Hernandez changed:
What|Removed |Added
CC||amacleod at redhat dot com
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104475
Jakub Jelinek changed:
What|Removed |Added
CC||aldyh at gcc dot gnu.org,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104475
Martin Sebor changed:
What|Removed |Added
CC||msebor at gcc dot gnu.org
Last reconfi
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104475
Andrew Pinski changed:
What|Removed |Added
Summary|Wstringop-overflow +|[12 Regression]
|atom
11 matches
Mail list logo