https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87837
Jakub Jelinek changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87837
--- Comment #10 from Jakub Jelinek ---
Author: jakub
Date: Mon Nov 5 14:11:32 2018
New Revision: 265806
URL: https://gcc.gnu.org/viewcvs?rev=265806=gcc=rev
Log:
PR sanitizer/87837
* match.pd (X + Y < X): Don't optimize if
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87837
--- Comment #9 from Jakub Jelinek ---
Author: jakub
Date: Mon Nov 5 10:27:13 2018
New Revision: 265793
URL: https://gcc.gnu.org/viewcvs?rev=265793=gcc=rev
Log:
PR sanitizer/87837
* match.pd (X + Y < X): Don't optimize if
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87837
Richard Biener changed:
What|Removed |Added
Priority|P3 |P2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87837
--- Comment #8 from Richard Biener ---
(In reply to Jakub Jelinek from comment #7)
> That is unfortunately too hard, because there are just too many places where
> the FEs can construct these.
> That said, having one macro like
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87837
--- Comment #7 from Jakub Jelinek ---
That is unfortunately too hard, because there are just too many places where
the FEs can construct these.
That said, having one macro like TYPE_OVERFLOW_UNDEFINED that would combine
that and
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87837
--- Comment #6 from Richard Biener ---
Just have to repeat that I very much dislike TYPE_OVERFLOW_SANITIZED being
sprinkled all over the place... just instrument before folding things?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87837
--- Comment #5 from Jakub Jelinek ---
Even the above commented TYPE_OVERFLOW_SANITIZED looks weird, I'd expect the
type of the same expression on which we check TYPE_OVERFLOW_UNDEFINED.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87837
--- Comment #4 from Jakub Jelinek ---
Created attachment 44939
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44939=edit
gcc9-pr87837.patch
Untested fix for this issue. Note, we should go through all of match.pd and
for each
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87837
Jakub Jelinek changed:
What|Removed |Added
Status|NEW |ASSIGNED
Assignee|unassigned
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87837
Martin Liška changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
11 matches
Mail list logo