Reporting bugs: there is nothing to gain in frustrating reporters

[Robert Dewar]

Vincent Lefevre wrote:

> What about having the choice?

That's fine, provided there are really well defined semantic
rules for what the options do, these options need designing
by people who are experts in floating-point semantics.

> Anyway, if the only reason is the performance, then the bug shouldn't
> have been marked as INVALID (the SUSPENDED status is for such kind of
> problems -- and SUSPENDED doesn't mean that the bug is resolved).

As you well know, not everyone agrees this is a bug, and this does
not have to do with performance. Saying over and over again that you
think it is a bug does not make it so.