Automatic update from GitHub Actions workflow

issue4057.html

@@ -64,7 +64,7 @@
 <p><em>This page is a snapshot from the LWG issues list, see the <a href="lwg-active.html">Library Active Issues List</a> for more information and the meaning of <a href="lwg-active.html#New">New</a> status.</em></p>
 <h3 id="4057"><a href="lwg-active.html#4057">4057</a>. <code>generator::iterator</code>'s <code>operator*</code> is not <code>noexcept</code> when it can be</h3>
 <p><b>Section:</b> 26.8.6 <a href="https://wg21.link/coro.generator.iterator">[coro.generator.iterator]</a> <b>Status:</b> <a href="lwg-active.html#New">New</a>
- <b>Submitter:</b> S. B. Tam <b>Opened:</b> 2024-03-01 <b>Last modified:</b> 2024-06-24</p>
+ <b>Submitter:</b> S. B. Tam <b>Opened:</b> 2024-03-01 <b>Last modified:</b> 2024-09-17</p>
 <p><b>Priority: </b>3
 </p>
 <p><b>View other</b> <a href="lwg-index-open.html#coro.generator.iterator">active issues</a> in [coro.generator.iterator].</p>
@@ -78,16 +78,16 @@ <h3 id="4057"><a href="lwg-active.html#4057">4057</a>. <code>generator::iterator
 noexcept(is_nothrow_copy_constructible_v&lt;<i>reference</i>&gt;)
 </pre></blockquote>
 <p>
-When <code><i>reference</i></code> is an rvalue reference type, <code>is_nothrow_copy_constructible_v&lt;<i>reference</i>&gt;</code> 
-is <code>false</code> (because <code><i>reference</i></code> is not copy constructible), which means <code>operator*</code> 
+When <code><i>reference</i></code> is an rvalue reference type, <code>is_nothrow_copy_constructible_v&lt;<i>reference</i>&gt;</code>
+is <code>false</code> (because <code><i>reference</i></code> is not copy constructible), which means <code>operator*</code>
 is not <code>noexcept</code>.
 <p/>
-However, <code>operator*</code> doesn't perform any potentially-throwing operation in this case. It's effect is 
-equivalent to <code>return static_cast&lt;<i>reference</i>&gt;(*p.<i>value_</i>);</code> (where the type of <code>p.<i>value_</i></code> 
-is effectively <code>add_pointer_t&lt;<i>reference</i>&gt;</code>). Neither the dereference nor the cast to rvalue 
+However, <code>operator*</code> doesn't perform any potentially-throwing operation in this case. It's effect is
+equivalent to <code>return static_cast&lt;<i>reference</i>&gt;(*p.<i>value_</i>);</code> (where the type of <code>p.<i>value_</i></code>
+is effectively <code>add_pointer_t&lt;<i>reference</i>&gt;</code>). Neither the dereference nor the cast to rvalue
 reference can throw an exception.
 <p/>
-I think the expression inside the noexcept-specifier should be changed to 
+I think the expression inside the noexcept-specifier should be changed to
 <code>noexcept(static_cast&lt;<i>reference</i>&gt;(*p.<i>value_</i>))</code>.
 </p>
 
@@ -99,9 +99,45 @@ <h3 id="4057"><a href="lwg-active.html#4057">4057</a>. <code>generator::iterator
 "Maybe add <code>is_reference_v&lt;reference&gt; || ...</code>"
 </p>
 
+<p><i>[2024-09-16; Casey provides wording]</i></p>
+
+<p>
+In the prioritization thread, LWG discussed a couple of alternatives without much enthusiasm. One
+of the alternatives was to simply remove the <i>noexcept-specifier</i>, which seems to be the most
+efficient use of LWG's time.
+</p>
+
 
 
 <p id="res-4057"><b>Proposed resolution:</b></p>
+<p>
+This wording is relative to <a href="https://wg21.link/N4988">N4988</a>.
+</p>
+
+<ol>
+<li><p>Modify 26.8.6 <a href="https://wg21.link/coro.generator.iterator">[coro.generator.iterator]</a> as indicated:</p>
+<blockquote>
+<pre>
+namespace std {
+  template&lt;class Ref, class Val, class Allocator&gt;
+  class generator&lt;Ref, Val, Allocator&gt;::<i>iterator</i> {
+    [&hellip;]
+    <i>reference</i> operator*() const <del>noexcept(is_nothrow_copy_constructible_v&lt;reference&gt;)</del>;
+    [&hellip;]
+  };
+}
+</pre>
+[&hellip;]
+<p>-3- <i>Returns</i>: <code>*this</code>.</p>
+<pre>
+<i>reference</i> operator*() const <del>noexcept(is_nothrow_copy_constructible_v&lt;<i>reference</i>&gt;l)</del>;
+</pre>
+<p>-4- <i>Preconditions</i>: For some generator object <code>x</code>, <i><code>coroutine_</code></i> is in <code>*x.<i>active_</i></code> and
+<code>x.<i>active_</i>-&gt;top()</code> refers to a suspended coroutine with promise object <code>p</code>.</p>
+</blockquote>
+</li>
+</ol>
+
 
 
 

lwg-active.html

@@ -79,7 +79,7 @@
 </tr>
 </table>
 <h1>C++ Standard Library Active Issues List (Revision D125)</h1>
-<p>Revised 2024-09-17 at 10:17:21 UTC
+<p>Revised 2024-09-17 at 14:18:40 UTC
 </p>
   <p>Reference ISO/IEC IS 14882:2020(E)</p>
   <p>Also see:</p>
@@ -59817,7 +59817,7 @@ <h3 id="4055"><a href="#4055">4055</a><sup><a href="https://cplusplus.github.io/
 <hr>
 <h3 id="4057"><a href="#4057">4057</a><sup><a href="https://cplusplus.github.io/LWG/issue4057">(i)</a></sup>. <code>generator::iterator</code>'s <code>operator*</code> is not <code>noexcept</code> when it can be</h3>
 <p><b>Section:</b> 26.8.6 <a href="https://wg21.link/coro.generator.iterator">[coro.generator.iterator]</a> <b>Status:</b> <a href="lwg-active.html#New">New</a>
- <b>Submitter:</b> S. B. Tam <b>Opened:</b> 2024-03-01 <b>Last modified:</b> 2024-06-24</p>
+ <b>Submitter:</b> S. B. Tam <b>Opened:</b> 2024-03-01 <b>Last modified:</b> 2024-09-17</p>
 <p><b>Priority: </b>3
 </p>
 <p><b>View other</b> <a href="lwg-index-open.html#coro.generator.iterator">active issues</a> in [coro.generator.iterator].</p>
@@ -59831,16 +59831,16 @@ <h3 id="4057"><a href="#4057">4057</a><sup><a href="https://cplusplus.github.io/
 noexcept(is_nothrow_copy_constructible_v&lt;<i>reference</i>&gt;)
 </pre></blockquote>
 <p>
-When <code><i>reference</i></code> is an rvalue reference type, <code>is_nothrow_copy_constructible_v&lt;<i>reference</i>&gt;</code> 
-is <code>false</code> (because <code><i>reference</i></code> is not copy constructible), which means <code>operator*</code> 
+When <code><i>reference</i></code> is an rvalue reference type, <code>is_nothrow_copy_constructible_v&lt;<i>reference</i>&gt;</code>
+is <code>false</code> (because <code><i>reference</i></code> is not copy constructible), which means <code>operator*</code>
 is not <code>noexcept</code>.
 <p/>
-However, <code>operator*</code> doesn't perform any potentially-throwing operation in this case. It's effect is 
-equivalent to <code>return static_cast&lt;<i>reference</i>&gt;(*p.<i>value_</i>);</code> (where the type of <code>p.<i>value_</i></code> 
-is effectively <code>add_pointer_t&lt;<i>reference</i>&gt;</code>). Neither the dereference nor the cast to rvalue 
+However, <code>operator*</code> doesn't perform any potentially-throwing operation in this case. It's effect is
+equivalent to <code>return static_cast&lt;<i>reference</i>&gt;(*p.<i>value_</i>);</code> (where the type of <code>p.<i>value_</i></code>
+is effectively <code>add_pointer_t&lt;<i>reference</i>&gt;</code>). Neither the dereference nor the cast to rvalue
 reference can throw an exception.
 <p/>
-I think the expression inside the noexcept-specifier should be changed to 
+I think the expression inside the noexcept-specifier should be changed to
 <code>noexcept(static_cast&lt;<i>reference</i>&gt;(*p.<i>value_</i>))</code>.
 </p>
 
@@ -59852,9 +59852,45 @@ <h3 id="4057"><a href="#4057">4057</a><sup><a href="https://cplusplus.github.io/
 "Maybe add <code>is_reference_v&lt;reference&gt; || ...</code>"
 </p>
 
+<p><i>[2024-09-16; Casey provides wording]</i></p>
+
+<p>
+In the prioritization thread, LWG discussed a couple of alternatives without much enthusiasm. One
+of the alternatives was to simply remove the <i>noexcept-specifier</i>, which seems to be the most
+efficient use of LWG's time.
+</p>
+
 
 
 <p id="res-4057"><b>Proposed resolution:</b></p>
+<p>
+This wording is relative to <a href="https://wg21.link/N4988">N4988</a>.
+</p>
+
+<ol>
+<li><p>Modify 26.8.6 <a href="https://wg21.link/coro.generator.iterator">[coro.generator.iterator]</a> as indicated:</p>
+<blockquote>
+<pre>
+namespace std {
+  template&lt;class Ref, class Val, class Allocator&gt;
+  class generator&lt;Ref, Val, Allocator&gt;::<i>iterator</i> {
+    [&hellip;]
+    <i>reference</i> operator*() const <del>noexcept(is_nothrow_copy_constructible_v&lt;reference&gt;)</del>;
+    [&hellip;]
+  };
+}
+</pre>
+[&hellip;]
+<p>-3- <i>Returns</i>: <code>*this</code>.</p>
+<pre>
+<i>reference</i> operator*() const <del>noexcept(is_nothrow_copy_constructible_v&lt;<i>reference</i>&gt;l)</del>;
+</pre>
+<p>-4- <i>Preconditions</i>: For some generator object <code>x</code>, <i><code>coroutine_</code></i> is in <code>*x.<i>active_</i></code> and
+<code>x.<i>active_</i>-&gt;top()</code> refers to a suspended coroutine with promise object <code>p</code>.</p>
+</blockquote>
+</li>
+</ol>
+
 
 
 

lwg-closed.html

@@ -79,7 +79,7 @@
 </tr>
 </table>
 <h1>C++ Standard Library Closed Issues List (Revision D125)</h1>
-<p>Revised 2024-09-17 at 10:17:21 UTC
+<p>Revised 2024-09-17 at 14:18:40 UTC
 </p>
   <p>Reference ISO/IEC IS 14882:2020(E)</p>
   <p>Also see:</p>

lwg-defects.html

@@ -79,7 +79,7 @@
 </tr>
 </table>
 <h1>C++ Standard Library Defect Reports and Accepted Issues (Revision D125)</h1>
-<p>Revised 2024-09-17 at 10:17:21 UTC
+<p>Revised 2024-09-17 at 14:18:40 UTC
 </p>
   <p>Reference ISO/IEC IS 14882:2020(E)</p>
   <p>Also see:</p>

lwg-immediate.html

@@ -62,7 +62,7 @@ <h1>C++ Standard Library Issues Resolved Directly In [INSERT CURRENT MEETING HER
 </tr>
 <tr>
 <td align="left">Date:</td>
-<td align="left">Revised 2024-09-17 at 10:17:21 UTC
+<td align="left">Revised 2024-09-17 at 14:18:40 UTC
 </td>
 </tr>
 <tr>

lwg-index-open.html

@@ -66,7 +66,7 @@ <h1>Index by Section</h1>
 <p>This document is the Index by Section for the <a href="lwg-active.html">Library Active Issues List</a>.</p>
 <h2>Index by Section (non-Ready active issues only)</h2>
 <p><a href="lwg-index.html">(view all issues)</a></p>
-<p>Revised 2024-09-17 at 10:17:21 UTC
+<p>Revised 2024-09-17 at 14:18:40 UTC
 </p><h2 id="Section_3">Section 3 (2 issues)</h2>
 <p><a href="lwg-index.html#Section_3">(view all issues)</a></p>
 <table class="issues-index">
@@ -3637,21 +3637,21 @@ <h2 id="Section_26">Section 26 (61 issues)</h2>
 <td></td>
 </tr>
 <tr>
-<td id="4117"><a href="lwg-active.html#4117" title="generator::iterator should provide iterator_concept (Status: New)">4117</a><sup><a href="https://cplusplus.github.io/LWG/issue4117">(i)</a></sup></td>
+<td id="4057"><a href="lwg-active.html#4057" title="generator::iterator's operator* is not noexcept when it can be (Status: New)">4057</a><sup><a href="https://cplusplus.github.io/LWG/issue4057">(i)</a></sup></td>
 <td><a href="lwg-active.html#New">New</a></td>
 <td>26.8.6 [coro.generator.iterator]<a id="coro.generator.iterator"></a></td>
-<td><code>generator::<i>iterator</i></code> should provide <code>iterator_concept</code></td>
+<td><code>generator::iterator</code>'s <code>operator*</code> is not <code>noexcept</code> when it can be</td>
 <td>Yes</td>
-<td>4</td>
+<td>3</td>
 <td></td>
 </tr>
 <tr>
-<td id="4057"><a href="lwg-active.html#4057" title="generator::iterator's operator* is not noexcept when it can be (Status: New)">4057</a><sup><a href="https://cplusplus.github.io/LWG/issue4057">(i)</a></sup></td>
+<td id="4117"><a href="lwg-active.html#4117" title="generator::iterator should provide iterator_concept (Status: New)">4117</a><sup><a href="https://cplusplus.github.io/LWG/issue4117">(i)</a></sup></td>
 <td><a href="lwg-active.html#New">New</a></td>
 <td>26.8.6 [coro.generator.iterator]</td>
-<td><code>generator::iterator</code>'s <code>operator*</code> is not <code>noexcept</code> when it can be</td>
-<td><span class="no-pr">No</span></td>
-<td>3</td>
+<td><code>generator::<i>iterator</i></code> should provide <code>iterator_concept</code></td>
+<td>Yes</td>
+<td>4</td>
 <td></td>
 </tr>
 </table>

lwg-index.html

@@ -66,7 +66,7 @@ <h1>Index by Section</h1>
 <p>This document is the Index by Section for the <a href="lwg-active.html">Library Active Issues List</a>, <a href="lwg-defects.html">Library Defect Reports and Accepted Issues</a>, and <a href="lwg-closed.html">Library Closed Issues List</a>.</p>
 <h2>Index by Section</h2>
 <p><a href="lwg-index-open.html">(view only non-Ready open issues)</a></p>
-<p>Revised 2024-09-17 at 10:17:21 UTC
+<p>Revised 2024-09-17 at 14:18:40 UTC
 </p><h2 id="Section_2">Section 2 (2 issues)</h2>
 <table class="issues-index">
 <tr>
@@ -19422,21 +19422,21 @@ <h2 id="Section_26">Section 26 (228 issues)</h2>
 <td></td>
 </tr>
 <tr>
-<td id="4117"><a href="lwg-active.html#4117" title="generator::iterator should provide iterator_concept (Status: New)">4117</a><sup><a href="https://cplusplus.github.io/LWG/issue4117">(i)</a></sup></td>
+<td id="4057"><a href="lwg-active.html#4057" title="generator::iterator's operator* is not noexcept when it can be (Status: New)">4057</a><sup><a href="https://cplusplus.github.io/LWG/issue4057">(i)</a></sup></td>
 <td><a href="lwg-active.html#New">New</a></td>
 <td>26.8.6 [coro.generator.iterator]<a id="coro.generator.iterator"></a></td>
-<td><code>generator::<i>iterator</i></code> should provide <code>iterator_concept</code></td>
+<td><code>generator::iterator</code>'s <code>operator*</code> is not <code>noexcept</code> when it can be</td>
 <td>Yes</td>
-<td>4</td>
+<td>3</td>
 <td></td>
 </tr>
 <tr>
-<td id="4057"><a href="lwg-active.html#4057" title="generator::iterator's operator* is not noexcept when it can be (Status: New)">4057</a><sup><a href="https://cplusplus.github.io/LWG/issue4057">(i)</a></sup></td>
+<td id="4117"><a href="lwg-active.html#4117" title="generator::iterator should provide iterator_concept (Status: New)">4117</a><sup><a href="https://cplusplus.github.io/LWG/issue4117">(i)</a></sup></td>
 <td><a href="lwg-active.html#New">New</a></td>
 <td>26.8.6 [coro.generator.iterator]</td>
-<td><code>generator::iterator</code>'s <code>operator*</code> is not <code>noexcept</code> when it can be</td>
-<td><span class="no-pr">No</span></td>
-<td>3</td>
+<td><code>generator::<i>iterator</i></code> should provide <code>iterator_concept</code></td>
+<td>Yes</td>
+<td>4</td>
 <td></td>
 </tr>
 <tr>

lwg-ready.html

@@ -62,7 +62,7 @@ <h1>C++ Standard Library Issues to be moved in [INSERT CURRENT MEETING HERE]</h1
 </tr>
 <tr>
 <td align="left">Date:</td>
-<td align="left">Revised 2024-09-17 at 10:17:21 UTC
+<td align="left">Revised 2024-09-17 at 14:18:40 UTC
 </td>
 </tr>
 <tr>

lwg-status-date.html

@@ -67,7 +67,7 @@ <h1>Index by Status and Date</h1>
 This document is the Index by Status and Date for the <a href="lwg-active.html">Library Active Issues List</a>,
 <a href="lwg-defects.html">Library Defect Reports and Accepted Issues</a>, and <a href="lwg-closed.html">Library Closed Issues List</a>.
 </p>
-<p>Revised 2024-09-17 at 10:17:21 UTC
+<p>Revised 2024-09-17 at 14:18:40 UTC
 </p><h2 id="Ready">Ready (11 issues)</h2>
 <table class="issues-index">
 <tr>
@@ -345,6 +345,15 @@ <h2 id="New">New (436 issues)</h2>
   <th>Duplicates</th>
 </tr>
 <tr>
+<td id="4057"><a href="lwg-active.html#4057" title="generator::iterator's operator* is not noexcept when it can be (Status: New)">4057</a><sup><a href="https://cplusplus.github.io/LWG/issue4057">(i)</a></sup></td>
+<td><a href="lwg-active.html#New">New</a></td>
+<td>26.8.6 [coro.generator.iterator]</td>
+<td><code>generator::iterator</code>'s <code>operator*</code> is not <code>noexcept</code> when it can be</td>
+<td>Yes</td>
+<td>3</td>
+<td></td>
+</tr>
+<tr>
 <td id="4152"><a href="lwg-active.html#4152" title="The primary template of std::char_traits is totally underspecified (Status: New)">4152</a><sup><a href="https://cplusplus.github.io/LWG/issue4152">(i)</a></sup></td>
 <td><a href="lwg-active.html#New">New</a></td>
 <td>23.2.2 [char.traits.require]</td>
@@ -880,15 +889,6 @@ <h2 id="New">New (436 issues)</h2>
 <td></td>
 </tr>
 <tr>
-<td id="4057"><a href="lwg-active.html#4057" title="generator::iterator's operator* is not noexcept when it can be (Status: New)">4057</a><sup><a href="https://cplusplus.github.io/LWG/issue4057">(i)</a></sup></td>
-<td><a href="lwg-active.html#New">New</a></td>
-<td>26.8.6 [coro.generator.iterator]</td>
-<td><code>generator::iterator</code>'s <code>operator*</code> is not <code>noexcept</code> when it can be</td>
-<td><span class="no-pr">No</span></td>
-<td>3</td>
-<td></td>
-</tr>
-<tr>
 <td id="4093"><a href="lwg-active.html#4093" title="ranges::fold_left_first_with_iter incorrectly constructs optional&lt;U&gt; (Status: New)">4093</a><sup><a href="https://cplusplus.github.io/LWG/issue4093">(i)</a></sup></td>
 <td><a href="lwg-active.html#New">New</a></td>
 <td>27.6.18 [alg.fold]</td>

lwg-status.html

@@ -62,7 +62,7 @@ <h1>Index by Status and Section</h1>
 <a href="lwg-defects.html">Library Defect Reports and Accepted Issues</a>, and <a href="lwg-closed.html">Library Closed Issues List</a>.
 </p>
 
-<p>Revised 2024-09-17 at 10:17:21 UTC
+<p>Revised 2024-09-17 at 14:18:40 UTC
 </p><h2 id="Ready">Ready (11 issues)</h2>
 <table class="issues-index">
 <tr>
@@ -3002,21 +3002,21 @@ <h2 id="New">New (436 issues)</h2>
 <td></td>
 </tr>
 <tr>
-<td id="4117"><a href="lwg-active.html#4117" title="generator::iterator should provide iterator_concept (Status: New)">4117</a><sup><a href="https://cplusplus.github.io/LWG/issue4117">(i)</a></sup></td>
+<td id="4057"><a href="lwg-active.html#4057" title="generator::iterator's operator* is not noexcept when it can be (Status: New)">4057</a><sup><a href="https://cplusplus.github.io/LWG/issue4057">(i)</a></sup></td>
 <td><a href="lwg-active.html#New">New</a></td>
 <td>26.8.6 [coro.generator.iterator]</td>
-<td><code>generator::<i>iterator</i></code> should provide <code>iterator_concept</code></td>
+<td><code>generator::iterator</code>'s <code>operator*</code> is not <code>noexcept</code> when it can be</td>
 <td>Yes</td>
-<td>4</td>
+<td>3</td>
 <td></td>
 </tr>
 <tr>
-<td id="4057"><a href="lwg-active.html#4057" title="generator::iterator's operator* is not noexcept when it can be (Status: New)">4057</a><sup><a href="https://cplusplus.github.io/LWG/issue4057">(i)</a></sup></td>
+<td id="4117"><a href="lwg-active.html#4117" title="generator::iterator should provide iterator_concept (Status: New)">4117</a><sup><a href="https://cplusplus.github.io/LWG/issue4117">(i)</a></sup></td>
 <td><a href="lwg-active.html#New">New</a></td>
 <td>26.8.6 [coro.generator.iterator]</td>
-<td><code>generator::iterator</code>'s <code>operator*</code> is not <code>noexcept</code> when it can be</td>
-<td><span class="no-pr">No</span></td>
-<td>3</td>
+<td><code>generator::<i>iterator</i></code> should provide <code>iterator_concept</code></td>
+<td>Yes</td>
+<td>4</td>
 <td></td>
 </tr>
 <tr>

lwg-tentative.html

@@ -54,7 +54,7 @@
 </style>
 </head>
 <body>
-<p>Revised 2024-09-17 at 10:17:21 UTC
+<p>Revised 2024-09-17 at 14:18:40 UTC
 </p><h2>Tentative Issues</h2>
 <hr>
 <h3 id="3908"><a href="#3908">3908</a><sup><a href="https://cplusplus.github.io/LWG/issue3908">(i)</a></sup>. <code>enumerate_view::<i>iterator</i></code> constructor is explicit</h3>

lwg-toc.html

@@ -59,7 +59,7 @@ <h1>Table of Contents</h1>
 <p>Reference ISO/IEC IS 14882:2020(E)</p>
 <p>This document is the Table of Contents for the <a href="lwg-active.html">Library Active Issues List</a>,
 <a href="lwg-defects.html">Library Defect Reports and Accepted Issues</a>, and <a href="lwg-closed.html">Library Closed Issues List</a>.</p>
-<p>Revised 2024-09-17 at 10:17:21 UTC
+<p>Revised 2024-09-17 at 14:18:40 UTC
 </p><table class="issues-index">
 <tr>
   <th><a href="lwg-toc.html">Issue</a></th>
@@ -32462,7 +32462,7 @@ <h1>Table of Contents</h1>
 <td><a href="lwg-active.html#New">New</a></td>
 <td>26.8.6 [coro.generator.iterator]</td>
 <td><code>generator::iterator</code>'s <code>operator*</code> is not <code>noexcept</code> when it can be</td>
-<td><span class="no-pr">No</span></td>
+<td>Yes</td>
 <td>3</td>
 <td></td>
 </tr>