https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66630
--- Comment #5 from Andrew Pinski ---
(In reply to Marek Polacek from comment #2)
> That's one thing. But there also something else going on. I hope it's just
> missing TYPE_OVERFLOW_SANITIZED in some match.pd patterns.
```
/* ~A + A -> -1 *
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66630
Andrew Pinski changed:
What|Removed |Added
CC||vincent-gcc at vinc17 dot net
--- Commen
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66630
Marek Polacek changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66630
--- Comment #3 from Richard Biener ---
For -ftrapv I never got around to commit some of the fixes I posted last
year...
(guard CCP properly for example). Eventually at least CCP should be more
aggressive and simplify trapping stuff to __builtin_
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66630
--- Comment #2 from Marek Polacek ---
That's one thing. But there also something else going on. I hope it's just
missing TYPE_OVERFLOW_SANITIZED in some match.pd patterns.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66630
--- Comment #1 from Andrew Pinski ---
This might be because we convert -i - 1 to be ~i.
