diff options
| author | Johannes Altmanninger <aclopte@gmail.com> | 2022-05-08 13:41:30 +0200 |
|---|---|---|
| committer | Johannes Altmanninger <aclopte@gmail.com> | 2022-05-08 14:00:27 +0200 |
| commit | 987e367955f263059715ad16c8fbbb57b434ce23 (patch) | |
| tree | c8d59fa916931fd9b448b3ace5d9103df0204352 /src/shared_string.cc | |
| parent | 56c3ab4ff86798aaf4f79d3d1a92041d05d202d6 (diff) | |
Work around incomplete std::to_chars() support in libstdc++ 10
Ubuntu 20.04 ships GCC's libstdc++ 10 from 2020 which implements
std::to_chars() for integers but not for floats. Use the float overload
only if the library advertises support via the feature testing macro.
This can be removed once we require GCC 11 (see
https://www.gnu.org/software/gcc/gcc-11/changes.html).
Closes #4607
Diffstat (limited to 'src/shared_string.cc')
0 files changed, 0 insertions, 0 deletions