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.