https://gcc.gnu.org/bugzilla/show_bug.cgi?id=20432
Thomas Koenig changed:
What|Removed |Added
Last reconfirmed|2008-12-11 21:22:46 |2016-8-30
CC|
--- Comment #5 from tkoenig at gcc dot gnu dot org 2008-12-11 21:22 ---
This is still active with gcc -cx-complex-rules:
bb 2:
foo (c);
D.2256 = (double) REALPART_EXPR c;
D.2258 = (double) IMAGPART_EXPR c;
if (ABS_EXPR D.2256 ABS_EXPR D.2258 != 0)
goto bb 3;
else
--- Additional Comments From Thomas dot Koenig at online dot de 2005-03-17
13:41 ---
(In reply to comment #3)
I cannot remember the rules but -0.0 * 0.0 could be -0.0 (and not 0.0),
someone needs to help me
here.
I'm trying to see what input could apply to, but I can't think of one.
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-03-12
17:35 ---
I cannot remember the rules but -0.0 * 0.0 could be -0.0 (and not 0.0), someone
needs to help me
here.
--
What|Removed |Added
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-03-11
21:25 ---
D.2395 * 0.0
Can trap if D.2395 is a non quiet NAN.
Likewise for D.2387 + 0.0
Though in this case it does not matter because we are going to trap later on.
--
--- Additional Comments From Thomas dot Koenig at online dot de 2005-03-11
21:36 ---
(In reply to comment #1)
D.2395 * 0.0
Can trap if D.2395 is a non quiet NAN.
D.2395 gets its value from
D.2395 = SR.23 / SR.24;
two lines earlier. Is there anything that would generate
a