]> git.ipfire.org Git - thirdparty/gcc.git/commit
libstdc++: Improve ERANGE behavior for fallback FP std::from_chars
authorPatrick Palka <ppalka@redhat.com>
Wed, 2 Nov 2022 12:56:59 +0000 (08:56 -0400)
committerPatrick Palka <ppalka@redhat.com>
Wed, 2 Nov 2022 12:56:59 +0000 (08:56 -0400)
commit6d9dbdf51f9afe86a57fb28bc55065fa4500a72b
tree9b31a4e39adc09f78f1b625daa6ea075cd0226b6
parentf4874691812bc20e3d8e3302db439c27f30c472c
libstdc++: Improve ERANGE behavior for fallback FP std::from_chars

The fallback implementation of floating-point std::from_chars (used for
formats other than binary32/64) just calls the C library's strtod family
of functions.  In case of overflow, the behavior of these functions is
rigidly specified:

  If the correct value overflows and default rounding is in effect, plus
  or minus HUGE_VAL, HUGE_VALF, or HUGE_VALL is returned (according to
  the return type and sign of the value), and the value of the macro
  ERANGE is stored in errno.

But in case of underflow, implementations are given more leeway:

  If the result underflows the functions return a value whose magnitude
  is no greater than the smallest normalized positive number in the
  return type; whether errno acquires the value ERANGE is
  implementation-defined.

Thus the fallback implementation can (and does) portably detect overflow,
but it can't portably detect underflow.  However, glibc (and presumably
other high-quality C library implementations) will reliably set errno to
ERANGE in case of underflow as well, and it'll also return the nearest
denormal number to the correct value (zero in case of true underflow),
which allows callers to succesfully parse denormal numbers.

So since we can't be perfect here, this patch takes the best effort
approach of assuming a high quality C library implementation with
respect to this underflow behavior, and refines our implementation
to try to distiguish between a denormal result and true underflow
by inspecting strtod's return value.

libstdc++-v3/ChangeLog:

* src/c++17/floating_from_chars.cc (from_chars_impl): In the
ERANGE case, distinguish between a denormal result and true
underflow by checking if the return value is 0.
libstdc++-v3/src/c++17/floating_from_chars.cc