https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80137
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |redi at gcc dot gnu.org
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Ah, I tried that but not halving the epsilon, and so got a different result
that I wasn't happy with.
I sugested _RealType(0) because if the analysis at
http://stackoverflow.com/a/25669510 is correct then the current code is biased
against 0, so using it when we round up to 1.0 would offset that, to a greater
or lesser extent. I don't know which :-)
I'll go with your suggestion, thanks.