Re: Reporting bugs: there is nothing to gain in frustrating reporters

[Robert Dewar <dewar at adacore dot com>]

Sylvain Pion wrote:

> That would indeed be a funny kind of processor, but x86 can store its
> registers in memory exactly : simply store/reread them as long doubles.

There was indeed a processor (I think by Honeywell) where the fpt accumulator
had extra precision bits that could not be stored in memory. The result was
that an interrupt could cause those bits to be randomly lost. Now *that* was
a fpt processor you could complain about :-)