[gcc r15-10301] libstdc++: Document remaining C++17 implementation-defined behavior.
Tomasz Kaminski
tkaminsk@gcc.gnu.org
Tue Sep 9 14:17:33 GMT 2025
https://gcc.gnu.org/g:afb9ad0d0d7d6af19248b183b65f02f7cac2e976
commit r15-10301-gafb9ad0d0d7d6af19248b183b65f02f7cac2e976
Author: Tomasz Kamiński <tkaminsk@redhat.com>
Date: Fri Sep 5 16:08:12 2025 +0200
libstdc++: Document remaining C++17 implementation-defined behavior.
This also covers bad_function_call::what from C++11.
libstdc++-v3/ChangeLog:
* doc/html/manual/status.html: Regenerate.
* doc/xml/manual/status_cxx2011.xml: Add entry for bad_function_call.
* doc/xml/manual/status_cxx2017.xml: Add entries for bad_any_cast
and nullptr_t output. Update entry for sf.cmath. Fix stable name for
mem.res.
Reviewed-by: Jonathan Wakely <jwakely@redhat.com>
Signed-off-by: Tomasz Kamiński <tkaminsk@redhat.com>
(cherry picked from commit 39d7c4d42a764a86644198a517f58a94f467cdbd)
Diff:
---
libstdc++-v3/doc/html/manual/status.html | 18 ++++++++++++++----
libstdc++-v3/doc/xml/manual/status_cxx2011.xml | 5 +++++
libstdc++-v3/doc/xml/manual/status_cxx2017.xml | 19 +++++++++++++++----
3 files changed, 34 insertions(+), 8 deletions(-)
diff --git a/libstdc++-v3/doc/html/manual/status.html b/libstdc++-v3/doc/html/manual/status.html
index 93b6ad967990..93b4aed40220 100644
--- a/libstdc++-v3/doc/html/manual/status.html
+++ b/libstdc++-v3/doc/html/manual/status.html
@@ -254,6 +254,9 @@ the GCC 15 release series.
</p><p>
<span class="emphasis"><em>20.7.2.0 [util.smartptr.weakptr]</em></span>
<code class="code">what()</code> returns <code class="literal">"bad_weak_ptr"</code>.
+ </p><p>
+ <span class="emphasis"><em>20.8.11.1 [func.wrap.badcall]</em></span>
+ <code class="code">what()</code> returns <code class="literal">"bad_function_call"</code>.
</p><p>
<span class="emphasis"><em>20.8.9.1.3 [func.bind.place]/1</em></span> There are 29
placeholders defined and the placeholder types are
@@ -1069,7 +1072,11 @@ since C++14 and the implementation is complete.
<code class="literal">"std::visit: variant is valueless"</code>,
or <code class="literal">"std::visit<R>: variant is valueless"</code>.
</p><p>
- <span class="emphasis"><em>23.12.5.2 [memory.resource.pool.options]</em></span>
+ <span class="emphasis"><em>23.8.2 [any.bad_any_cast]</em></span>
+ <code class="code">what()</code> returns <code class="literal">"bad any_cast"</code>.
+ </p><p>
+ <span class="emphasis"><em>23.12.5 [mem.res.pool.options]</em></span>,
+ <span class="emphasis"><em>23.12.5 [mem.res.pool.mem]</em></span>
Let S equal <code class="code">numeric_limits<size_t>::digits</code>.
The limit for maximum number of blocks in a chunk is given by
<span class="mathphrase">2<sup>N</sup>-1</span>,
@@ -1080,7 +1087,7 @@ since C++14 and the implementation is complete.
otherwise 3072 when <span class="mathphrase">S > 16</span>,
otherwise 768.
</p><p>
- <span class="emphasis"><em>23.12.6.1 [memory.resource.monotonic.buffer.ctor]</em></span>
+ <span class="emphasis"><em>23.12.6.1 [mem.res.monotonic.buffer.ctor]</em></span>
The default <code class="code">next_buffer_size</code> is <code class="code">128 * sizeof(void*)</code>.
The default growth factor is <code class="code">1.5</code>.
</p><p>
@@ -1115,8 +1122,11 @@ since C++14 and the implementation is complete.
races depends on the target C library that provides the function.
</p><p>
<span class="emphasis"><em>29.9.5 [sf.cmath]</em></span>
- The effect of calling the mathematical special functions with large
- inputs should be documented here.
+ Calling the mathematical special functions with large inputs is supported
+ but the results may be imprecise.
+ </p><p>
+ <span class="emphasis"><em>30.7.5.2.3 [ostream.inserters]</em></span>
+ NTCTS for <code class="code">nullptr_t</code> is <code class="literal">"nullptr"</code>.
</p><p>
<span class="emphasis"><em>30.10.2.1 [fs.conform.9945]</em></span>,
<span class="emphasis"><em>30.10.2.2 [fs.conform.os]</em></span>
diff --git a/libstdc++-v3/doc/xml/manual/status_cxx2011.xml b/libstdc++-v3/doc/xml/manual/status_cxx2011.xml
index 2d29399f93e3..71ff7fa168b1 100644
--- a/libstdc++-v3/doc/xml/manual/status_cxx2011.xml
+++ b/libstdc++-v3/doc/xml/manual/status_cxx2011.xml
@@ -2613,6 +2613,11 @@ the GCC 15 release series.
<code>what()</code> returns <literal>"bad_weak_ptr"</literal>.
</para>
+ <para>
+ <emphasis>20.8.11.1 [func.wrap.badcall]</emphasis>
+ <code>what()</code> returns <literal>"bad_function_call"</literal>.
+ </para>
+
<para>
<emphasis>20.8.9.1.3 [func.bind.place]/1</emphasis> There are 29
placeholders defined and the placeholder types are
diff --git a/libstdc++-v3/doc/xml/manual/status_cxx2017.xml b/libstdc++-v3/doc/xml/manual/status_cxx2017.xml
index 1275d5656988..717182e35317 100644
--- a/libstdc++-v3/doc/xml/manual/status_cxx2017.xml
+++ b/libstdc++-v3/doc/xml/manual/status_cxx2017.xml
@@ -2935,7 +2935,13 @@ since C++14 and the implementation is complete.
</para>
<para>
- <emphasis>23.12.5.2 [memory.resource.pool.options]</emphasis>
+ <emphasis>23.8.2 [any.bad_any_cast]</emphasis>
+ <code>what()</code> returns <literal>"bad any_cast"</literal>.
+ </para>
+
+ <para>
+ <emphasis>23.12.5 [mem.res.pool.options]</emphasis>,
+ <emphasis>23.12.5 [mem.res.pool.mem]</emphasis>
Let S equal <code>numeric_limits<size_t>::digits</code>.
The limit for maximum number of blocks in a chunk is given by
<inlineequation><mathphrase>2<superscript>N</superscript>-1</mathphrase></inlineequation>,
@@ -2948,7 +2954,7 @@ since C++14 and the implementation is complete.
</para>
<para>
- <emphasis>23.12.6.1 [memory.resource.monotonic.buffer.ctor]</emphasis>
+ <emphasis>23.12.6.1 [mem.res.monotonic.buffer.ctor]</emphasis>
The default <code>next_buffer_size</code> is <code>128 * sizeof(void*)</code>.
The default growth factor is <code>1.5</code>.
</para>
@@ -2998,8 +3004,13 @@ since C++14 and the implementation is complete.
<para>
<emphasis>29.9.5 [sf.cmath]</emphasis>
- The effect of calling the mathematical special functions with large
- inputs should be documented here.
+ Calling the mathematical special functions with large inputs is supported
+ but the results may be imprecise.
+ </para>
+
+ <para>
+ <emphasis>30.7.5.2.3 [ostream.inserters]</emphasis>
+ NTCTS for <code>nullptr_t</code> is <literal>"nullptr"</literal>.
</para>
<para>
More information about the Libstdc++-cvs
mailing list