This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: # Re: [RFD] -ffinite-math-only.
- From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
- To: Brad Lucier <lucier at math dot purdue dot edu>
- Cc: toon at moene dot indiv dot nluug dot nl (Toon Moene), gcc-patches at gcc dot gnu dot org
- Date: 26 Aug 2002 20:00:50 +0200
- Subject: Re: # Re: [RFD] -ffinite-math-only.
- Organization: CodeSourcery, LLC
- References: <200208261800.g7QI0A108297@banach.math.purdue.edu>
Brad Lucier <lucier@math.purdue.edu> writes:
| > Toon Moene wrote:
| >
| > No, your mixing "undefined behaviour" with "yields a processor-dependent
| > approximation to". Undefined behaviour in Fortran speak means: The
| > `processor' (compiler+assembler+linker+OS+hardware) can do what it likes
| > with your program, because it just broke the rules.
|
| Actually, I don't think I'm mixing those two things. I just looked through
| the f77 standard and I can't find where dividing by zero, for example,
| leads to "undefined behavior".
Doesn't the FORTRAN standard says that results not mathematically
representable leads to undefined behaviour? (I'm asking, I'm not as
fluent in FORTRAN as I'm in Ewe).
-- Gaby