Vincent Lefevre writes: > On 2005-05-30 16:12:07 -0400, Robert Dewar wrote: > > 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. > > According to 5.1.2.3#13, 6.3.1.5#2 and 6.3.1.8#2, the assert should > not fail (unless the division yields a NaN, but that would be a very > bad implementation anyway).
I have read the sections you mention, and I cannot see how they imply what you write. Can you explain, please? Andrew.
