https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86617
--- Comment #8 from Bernd Edlinger ---
Author: edlinger
Date: Mon Jul 23 13:23:51 2018
New Revision: 262933
URL: https://gcc.gnu.org/viewcvs?rev=262933=gcc=rev
Log:
gcc:
2018-07-23 Bernd Edlinger
PR c/86617
* genmatch.c
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86617
--- Comment #7 from Bernd Edlinger ---
Yes. Sure.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86617
--- Comment #6 from rguenther at suse dot de ---
On Mon, 23 Jul 2018, bernd.edlinger at hotmail dot de wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86617
>
> --- Comment #5 from Bernd Edlinger ---
> (In reply to Richard Biener from
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86617
--- Comment #5 from Bernd Edlinger ---
(In reply to Richard Biener from comment #3)
> but I guess that doesn't work because the counting is missing. OTOH
> two same SAVE_EXPRs () are not operand_equal_p but SAVE_EXPRs have
> TREE_SIDE_EFFECTS
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86617
--- Comment #4 from Bernd Edlinger ---
this comment in match.pd made me look at operand_equal_p:
/* Simplify x - x.
This is unsafe for certain floats even in non-IEEE formats.
In IEEE, it is unsafe because it does wrong for NaNs.
Also
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86617
Richard Biener changed:
What|Removed |Added
Priority|P3 |P2
CC|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86617
Bernd Edlinger changed:
What|Removed |Added
CC||bernd.edlinger at hotmail dot
de
---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86617
Alexander Monakov changed:
What|Removed |Added
Keywords||wrong-code