On Wed, 16 Feb 2005, Linus Torvalds wrote:
Yeah, yeah, some FP people will disagree. FP people are a damn disagreeable lot, and I just don't care.The compiler CANNOT do that FP math simplification "right" (where "right" means "same as if it didn't simplify"). End of story.
Note that your example isn't a conformant C99 program unless you use the "#pragma STDC FENV_ACCESS" pragma, to tell the compiler that you're messing with rounding modes.
http://www.iyonix.com/tools/c99pragmas.shtml
Given conformant programs and a correct compiler, the things you're claiming are impossible are quite possible. That said, those two assumptions are hard to satisfy these days. :)
-Chris
-- http://nondot.org/sabre/ http://llvm.cs.uiuc.edu/ - To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html
