This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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

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.
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]