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). -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / SPACES project at LORIA
