What is wrong with Bugzilla? [Was: Re: GCC and Floating-Point]

[Robert Dewar]

Haren Visavadia wrote:
> --- Robert Dewar wrote:

> I would expect the seem behaviour for both cases.

why? You have some inaccurate model of computation,
which in the absence of switches, is not guaranteed.
Floating-point semantics are indeed tricky.
> 
> test-case.c cause an assertion failure with
> {-O1,-O2,-O3} but test.c does not all.
> 
> The first few lines of both case are pretty simalar.

pretty similar does not mean guaranteed identical
behavior.