mirror of git://gcc.gnu.org/git/gcc.git
Update LWG issues lists and implementation status
Backport from mainline 2015-06-02 Jonathan Wakely <jwakely@redhat.com> * doc/html/ext/lwg-active.html: Update to R93. * doc/html/ext/lwg-closed.html: Likewise. * doc/html/ext/lwg-defects.html: Likewise. * doc/html/manual/*: Regenerate. * doc/xml/manual/intro.xml: Document status of several DRs. From-SVN: r238162
This commit is contained in:
Jonathan Wakely
Jonathan Wakely
parent
dddb67df98
commit
8a17b1ccd7
|
|
@ -1,3 +1,14 @@
|
|||
2016-07-08 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
Backport from mainline
|
||||
2015-06-02 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* doc/html/ext/lwg-active.html: Update to R93.
|
||||
* doc/html/ext/lwg-closed.html: Likewise.
|
||||
* doc/html/ext/lwg-defects.html: Likewise.
|
||||
* doc/html/manual/*: Regenerate.
|
||||
* doc/xml/manual/intro.xml: Document status of several DRs.
|
||||
|
||||
2016-07-04 Ville Voutilainen <ville.voutilainen@gmail.com>
|
||||
|
||||
Backport from mainline
|
||||
|
|
|
|||
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
|
|
@ -259,6 +259,9 @@
|
|||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#438" target="_top">438</a>:
|
||||
<span class="emphasis"><em>Ambiguity in the "do the right thing" clause</em></span>
|
||||
</span></dt><dd><p>Implement the resolution, basically cast less.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#445" target="_top">445</a>:
|
||||
<span class="emphasis"><em>iterator_traits::reference unspecified for some iterator categories</em></span>
|
||||
</span></dt><dd><p>Change <code class="code">istreambuf_iterator::reference</code> in C++11 mode.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#453" target="_top">453</a>:
|
||||
<span class="emphasis"><em>basic_stringbuf::seekoff need not always fail for an empty stream</em></span>
|
||||
</span></dt><dd><p>Don't fail if the next pointer is null and newoff is zero.
|
||||
|
|
@ -269,6 +272,9 @@
|
|||
<span class="emphasis"><em>Suggestion for new member functions in standard containers</em></span>
|
||||
</span></dt><dd><p>Add <code class="code">data()</code> to <code class="code">std::vector</code> and
|
||||
<code class="code">at(const key_type&)</code> to <code class="code">std::map</code>.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#467" target="_top">467</a>:
|
||||
<span class="emphasis"><em>char_traits::lt(), compare(), and memcmp()</em></span>
|
||||
</span></dt><dd><p>Change <code class="code">lt</code>.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#508" target="_top">508</a>:
|
||||
<span class="emphasis"><em>Bad parameters for ranlux64_base_01</em></span>
|
||||
</span></dt><dd><p>Fix the parameters.
|
||||
|
|
@ -348,4 +354,65 @@
|
|||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#1339" target="_top">1339</a>:
|
||||
<span class="emphasis"><em>uninitialized_fill_n should return the end of its range</em></span>
|
||||
</span></dt><dd><p>Return the end of the filled range.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2049" target="_top">2049</a>:
|
||||
<span class="emphasis"><em><code class="code">is_destructible</code> underspecified</em></span>
|
||||
</span></dt><dd><p>Handle non-object types.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2056" target="_top">2056</a>:
|
||||
<span class="emphasis"><em>future_errc enums start with value 0 (invalid value for broken_promise)</em></span>
|
||||
</span></dt><dd><p>Reorder enumerators.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2059" target="_top">2059</a>:
|
||||
<span class="emphasis"><em>C++0x ambiguity problem with map::erase</em></span>
|
||||
</span></dt><dd><p>Add additional overloads.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2067" target="_top">2067</a>:
|
||||
<span class="emphasis"><em>packaged_task should have deleted copy c'tor with const parameter</em></span>
|
||||
</span></dt><dd><p>Fix signatures.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2101" target="_top">2101</a>:
|
||||
<span class="emphasis"><em>Some transformation types can produce impossible types</em></span>
|
||||
</span></dt><dd><p>Use the referenceable type concept.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2106" target="_top">2106</a>:
|
||||
<span class="emphasis"><em>move_iterator wrapping iterators returning prvalues</em></span>
|
||||
</span></dt><dd><p>Change the <code class="code">reference</code> type.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2132" target="_top">2132</a>:
|
||||
<span class="emphasis"><em><code class="code">std::function</code> ambiguity</em></span>
|
||||
</span></dt><dd><p>Constrain the constructor to only accept callable types.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2141" target="_top">2141</a>:
|
||||
<span class="emphasis"><em><code class="code">common_type</code> trait produces reference types</em></span>
|
||||
</span></dt><dd><p>Use <code class="code">decay</code> for the result type.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2144" target="_top">2144</a>:
|
||||
<span class="emphasis"><em>Missing <code class="code">noexcept</code> specification in <code class="code">type_index</code></em></span>
|
||||
</span></dt><dd><p>Add <code class="code">noexcept</code>
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2145" target="_top">2145</a>:
|
||||
<span class="emphasis"><em><code class="code">error_category</code> default constructor</em></span>
|
||||
</span></dt><dd><p>Declare a public constexpr constructor.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2162" target="_top">2162</a>:
|
||||
<span class="emphasis"><em><code class="code">allocator_traits::max_size</code> missing <code class="code">noexcept</code></em></span>
|
||||
</span></dt><dd><p>Add <code class="code">noexcept</code>.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2187" target="_top">2187</a>:
|
||||
<span class="emphasis"><em><code class="code">vector<bool></code> is missing <code class="code">emplace</code> and <code class="code">emplace_back</code> member functions</em></span>
|
||||
</span></dt><dd><p>Add <code class="code">emplace</code> and <code class="code">emplace_back</code> member functions.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2196" target="_top">2196</a>:
|
||||
<span class="emphasis"><em>Specification of <code class="code">is_*[copy/move]_[constructible/assignable]</code> unclear for non-referencable types</em></span>
|
||||
</span></dt><dd><p>Use the referenceable type concept.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2313" target="_top">2313</a>:
|
||||
<span class="emphasis"><em><code class="code">tuple_size</code> should always derive from <code class="code">integral_constant<size_t, N></code></em></span>
|
||||
</span></dt><dd><p>Update definitions of the partial specializations for const and volatile types.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2329" target="_top">2329</a>:
|
||||
<span class="emphasis"><em><code class="code">regex_match()/regex_search()</code> with <code class="code">match_results</code> should forbid temporary strings</em></span>
|
||||
</span></dt><dd><p>Add deleted overloads for rvalue strings.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2332" target="_top">2332</a>:
|
||||
<span class="emphasis"><em><code class="code">regex_iterator/regex_token_iterator</code> should forbid temporary regexes</em></span>
|
||||
</span></dt><dd><p>Add deleted constructors.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2399" target="_top">2399</a>:
|
||||
<span class="emphasis"><em><code class="code">shared_ptr</code>'s constructor from <code class="code">unique_ptr</code> should be constrained</em></span>
|
||||
</span></dt><dd><p>Constrain the constructor to require convertibility.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2400" target="_top">2400</a>:
|
||||
<span class="emphasis"><em><code class="code">shared_ptr</code>'s <code class="code">get_deleter()</code> should use <code class="code">addressof()</code></em></span>
|
||||
</span></dt><dd><p>Use <code class="code">addressof</code>.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2401" target="_top">2401</a>:
|
||||
<span class="emphasis"><em><code class="code">std::function</code> needs more <code class="code">noexcept</code></em></span>
|
||||
</span></dt><dd><p>Add <code class="code">noexcept</code> to the assignment and comparisons.
|
||||
</p></dd><dt><span class="term"><a class="link" href="../ext/lwg-defects.html#2455" target="_top">2455</a>:
|
||||
<span class="emphasis"><em>Allocator default construction should be allowed to throw
|
||||
</em></span>
|
||||
</span></dt><dd><p>Make <code class="code">noexcept</code> specifications conditional.
|
||||
</p></dd></dl></div></div></div><div class="navfooter"><hr /><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="license.html">Prev</a> </td><td width="20%" align="center"><a accesskey="u" href="status.html">Up</a></td><td width="40%" align="right"> <a accesskey="n" href="setup.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">License </td><td width="20%" align="center"><a accesskey="h" href="../index.html">Home</a></td><td width="40%" align="right" valign="top"> Chapter 2. Setup</td></tr></table></div></body></html>
|
||||
|
|
@ -640,6 +640,12 @@ requirements of the license of GCC.
|
|||
<listitem><para>Implement the resolution, basically cast less.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#445">445</link>:
|
||||
<emphasis>iterator_traits::reference unspecified for some iterator categories</emphasis>
|
||||
</term>
|
||||
<listitem><para>Change <code>istreambuf_iterator::reference</code> in C++11 mode.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#453">453</link>:
|
||||
<emphasis>basic_stringbuf::seekoff need not always fail for an empty stream</emphasis>
|
||||
</term>
|
||||
|
|
@ -659,6 +665,12 @@ requirements of the license of GCC.
|
|||
<code>at(const key_type&)</code> to <code>std::map</code>.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#467">467</link>:
|
||||
<emphasis>char_traits::lt(), compare(), and memcmp()</emphasis>
|
||||
</term>
|
||||
<listitem><para>Change <code>lt</code>.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#508">508</link>:
|
||||
<emphasis>Bad parameters for ranlux64_base_01</emphasis>
|
||||
</term>
|
||||
|
|
@ -810,6 +822,128 @@ requirements of the license of GCC.
|
|||
<listitem><para>Return the end of the filled range.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2049">2049</link>:
|
||||
<emphasis><code>is_destructible</code> underspecified</emphasis>
|
||||
</term>
|
||||
<listitem><para>Handle non-object types.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2056">2056</link>:
|
||||
<emphasis>future_errc enums start with value 0 (invalid value for broken_promise)</emphasis>
|
||||
</term>
|
||||
<listitem><para>Reorder enumerators.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2059">2059</link>:
|
||||
<emphasis>C++0x ambiguity problem with map::erase</emphasis>
|
||||
</term>
|
||||
<listitem><para>Add additional overloads.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2067">2067</link>:
|
||||
<emphasis>packaged_task should have deleted copy c'tor with const parameter</emphasis>
|
||||
</term>
|
||||
<listitem><para>Fix signatures.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2101">2101</link>:
|
||||
<emphasis>Some transformation types can produce impossible types</emphasis>
|
||||
</term>
|
||||
<listitem><para>Use the referenceable type concept.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2106">2106</link>:
|
||||
<emphasis>move_iterator wrapping iterators returning prvalues</emphasis>
|
||||
</term>
|
||||
<listitem><para>Change the <code>reference</code> type.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2132">2132</link>:
|
||||
<emphasis><code>std::function</code> ambiguity</emphasis>
|
||||
</term>
|
||||
<listitem><para>Constrain the constructor to only accept callable types.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2141">2141</link>:
|
||||
<emphasis><code>common_type</code> trait produces reference types</emphasis>
|
||||
</term>
|
||||
<listitem><para>Use <code>decay</code> for the result type.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2144">2144</link>:
|
||||
<emphasis>Missing <code>noexcept</code> specification in <code>type_index</code></emphasis>
|
||||
</term>
|
||||
<listitem><para>Add <code>noexcept</code>
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2145">2145</link>:
|
||||
<emphasis><code>error_category</code> default constructor</emphasis>
|
||||
</term>
|
||||
<listitem><para>Declare a public constexpr constructor.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2162">2162</link>:
|
||||
<emphasis><code>allocator_traits::max_size</code> missing <code>noexcept</code></emphasis>
|
||||
</term>
|
||||
<listitem><para>Add <code>noexcept</code>.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2187">2187</link>:
|
||||
<emphasis><code>vector<bool></code> is missing <code>emplace</code> and <code>emplace_back</code> member functions</emphasis>
|
||||
</term>
|
||||
<listitem><para>Add <code>emplace</code> and <code>emplace_back</code> member functions.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2196">2196</link>:
|
||||
<emphasis>Specification of <code>is_*[copy/move]_[constructible/assignable]</code> unclear for non-referencable types</emphasis>
|
||||
</term>
|
||||
<listitem><para>Use the referenceable type concept.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2313">2313</link>:
|
||||
<emphasis><code>tuple_size</code> should always derive from <code>integral_constant<size_t, N></code></emphasis>
|
||||
</term>
|
||||
<listitem><para>Update definitions of the partial specializations for const and volatile types.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2329">2329</link>:
|
||||
<emphasis><code>regex_match()/regex_search()</code> with <code>match_results</code> should forbid temporary strings</emphasis>
|
||||
</term>
|
||||
<listitem><para>Add deleted overloads for rvalue strings.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2332">2332</link>:
|
||||
<emphasis><code>regex_iterator/regex_token_iterator</code> should forbid temporary regexes</emphasis>
|
||||
</term>
|
||||
<listitem><para>Add deleted constructors.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2399">2399</link>:
|
||||
<emphasis><code>shared_ptr</code>'s constructor from <code>unique_ptr</code> should be constrained</emphasis>
|
||||
</term>
|
||||
<listitem><para>Constrain the constructor to require convertibility.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2400">2400</link>:
|
||||
<emphasis><code>shared_ptr</code>'s <code>get_deleter()</code> should use <code>addressof()</code></emphasis>
|
||||
</term>
|
||||
<listitem><para>Use <code>addressof</code>.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2401">2401</link>:
|
||||
<emphasis><code>std::function</code> needs more <code>noexcept</code></emphasis>
|
||||
</term>
|
||||
<listitem><para>Add <code>noexcept</code> to the assignment and comparisons.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
<varlistentry><term><link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="../ext/lwg-defects.html#2455">2455</link>:
|
||||
<emphasis>Allocator default construction should be allowed to throw
|
||||
</emphasis>
|
||||
</term>
|
||||
<listitem><para>Make <code>noexcept</code> specifications conditional.
|
||||
</para></listitem></varlistentry>
|
||||
|
||||
|
||||
</variablelist>
|
||||
|
||||
</section>
|
||||
|
|
|
|||
Loading…
Reference in New Issue