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

[Toon Moene <toon@moene.indiv.nluug.nl>]

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

From: Toon Moene <toon@moene.indiv.nluug.nl>
To: Eric Botcazou <ebotcazou@libertysurf.fr>
Cc: Steven Bosscher <s.bosscher@student.tudelft.nl>, 
 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: Thu, 13 Feb 2003 20:02:15 +0100

 Eric Botcazou wrote:
 
 >>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...
 
 > Toon seems to think that PR fortran/8445 is indeed the same problem. But it's 
 > up to him to decide whether to close the bug.
 > 
 > PR optimization/9654 is exactly the same problem: using FP registers on x86 
 > adds extra-precision which can modify comparison results. Nothing can be done 
 > about that, other than using -ffloat-store which is precisely intended to 
 > address the issue.
 
 Exactly - however, I feel I cannot close these reports because I do not 
 have access to x86 hardware anymore, so I cannot easily test whether 
 they indeed *are* -ffloat-store issues ....
 
 -- 
 Toon Moene - mailto:toon@moene.indiv.nluug.nl - phoneto: +31 346 214290
 Saturnushof 14, 3738 XG  Maartensdijk, The Netherlands
 Maintainer, GNU Fortran 77: http://gcc.gnu.org/onlinedocs/g77_news.html
 GNU Fortran 95: http://gcc-g95.sourceforge.net/ (under construction)