Re: optimization/9052: in C code, "if" statement fails to execute if optimized

[Steven Bosscher <s.bosscher@student.tudelft.nl>]

The following reply was made to PR optimization/9052; it has been noted by GNATS.

From: Steven Bosscher <s.bosscher@student.tudelft.nl>
To: Eric Botcazou <ebotcazou@libertysurf.fr>
Cc: Richard.Earnshaw@arm.com, gcc-gnats@gcc.gnu.org,
	gcc-bugs@gcc.gnu.org, nobody@gcc.gnu.org, phama@webjockey.net
Subject: Re: optimization/9052: in C code, "if" statement fails to execute 
	if optimized
Date: 12 Feb 2003 18:01:20 +0100

 Op wo 12-02-2003, om 17:55 schreef Eric Botcazou:
 > > Adding -ffloat-store will probably also make the "misbehaviour" go away.
 > 
 > It does.
 > 
 > > GCC is almost certainly using the register result from the current
 > > iteration to compare with the memory result from an earlier iteration.
 > > Since the register result has excess precision the compare for equality
 > > fails.  That's not a bug, it's just the FP works on the X86.
 > >
 > > So in summary, almost certainly "not a bug".
 > 
 > I fully concur. I think the PR can be closed.
 > 
 
 Nice, one more PR gone (still too many to go :-/).
 
 How about 8445, 9654?  Those are "bugs" that disappear with
 -ffloat-store, too.  Like I said, I don't know enough about floating
 point numbers...
 
 Greetz
 Steven