Automatic update from GitHub Actions workflow

cplusplus · Nov 7, 2023 · 53b0ac4 · 53b0ac4
1 parent 9176161
commit 53b0ac4
Show file tree

Hide file tree

Showing 22 changed files with 511 additions and 336 deletions.
diff --git a/issue3809.html b/issue3809.html
@@ -44,14 +44,14 @@
 </head>
 <body>
 <hr>
-<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>
+<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#Ready">Tentatively Ready</a> status.</em></p>
 <h3><a name="3809" href="lwg-active.html#3809">3809</a>. Is <tt>std::subtract_with_carry_engine&lt;uint16_t&gt;</tt> supposed to work?</h3>
-<p><b>Section:</b> 28.5.4.4 <a href="https://wg21.link/rand.eng.sub">[rand.eng.sub]</a> <b>Status:</b> <a href="lwg-active.html#New">New</a>
- <b>Submitter:</b> Jonathan Wakely <b>Opened:</b> 2022-11-02 <b>Last modified:</b> 2022-11-25</p>
+<p><b>Section:</b> 28.5.4.4 <a href="https://wg21.link/rand.eng.sub">[rand.eng.sub]</a> <b>Status:</b> <a href="lwg-active.html#Ready">Tentatively Ready</a>
+ <b>Submitter:</b> Jonathan Wakely <b>Opened:</b> 2022-11-02 <b>Last modified:</b> 2023-11-07</p>
 <p><b>Priority: </b>3
 </p>
 <p><b>View all other</b> <a href="lwg-index.html#rand.eng.sub">issues</a> in [rand.eng.sub].</p>
-<p><b>View all issues with</b> <a href="lwg-status.html#New">New</a> status.</p>
+<p><b>View all issues with</b> <a href="lwg-status.html#Tentatively Ready">Tentatively Ready</a> status.</p>
 <p><b>Discussion:</b></p>
 <p>
 The standard requires <tt>subtract_with_carry_engine&lt;T&gt;</tt> to use:
@@ -77,6 +77,10 @@ <h3><a name="3809" href="lwg-active.html#3809">3809</a>. Is <tt>std::subtract_wi
 <p><i>[Kona 2022-11-25; Jonathan provides wording]</i></p>
 
 
+<p><i>[2023-05; reflector poll]</i></p>
+
+<p>Status to Tentatively Ready after six votes in favour.</p>
+
 
 
 <p id="res-3809"><b>Proposed resolution:</b></p>

diff --git a/lwg-active.html b/lwg-active.html
@@ -62,7 +62,7 @@
 </tr>
 </table>
 <h1>C++ Standard Library Active Issues List (Revision D125)</h1>
-<p><p>Revised 2023-11-07 at 18:36:07 UTC</p>
+<p><p>Revised 2023-11-07 at 20:54:29 UTC</p>
 </p>
   <p>Reference ISO/IEC IS 14882:2020(E)</p>
   <p>Also see:</p>
@@ -195,6 +195,7 @@ <h2 id='History'>Revision History</h2>
 <li>Added the following 2 SG9 issues: <a href="lwg-active.html#3971">3971</a>, <a href="lwg-active.html#3988">3988</a>.</li>
 <li>Changed the following 6 issues to Ready (from New): <a href="lwg-active.html#2392">2392</a>, <a href="lwg-active.html#3203">3203</a>, <a href="lwg-active.html#3431">3431</a>, <a href="lwg-active.html#3749">3749</a>, <a href="lwg-active.html#3892">3892</a>, <a href="lwg-active.html#3897">3897</a>.</li>
 <li>Changed the following issue to Ready (from Open): <a href="lwg-active.html#3305">3305</a>.</li>
+<li>Changed the following issue to Tentatively Ready (from New): <a href="lwg-active.html#3809">3809</a>.</li>
 <li>Changed the following issue to Open (from New): <a href="lwg-active.html#3343">3343</a>.</li>
 <li>Changed the following 17 issues to WP (from Tentatively Ready): <a href="lwg-defects.html#2994">2994</a>, <a href="lwg-defects.html#3884">3884</a>, <a href="lwg-defects.html#3885">3885</a>, <a href="lwg-defects.html#3887">3887</a>, <a href="lwg-defects.html#3893">3893</a>, <a href="lwg-defects.html#3894">3894</a>, <a href="lwg-defects.html#3903">3903</a>, <a href="lwg-defects.html#3904">3904</a>, <a href="lwg-defects.html#3905">3905</a>, <a href="lwg-defects.html#3912">3912</a>, <a href="lwg-defects.html#3914">3914</a>, <a href="lwg-defects.html#3915">3915</a>, <a href="lwg-defects.html#3925">3925</a>, <a href="lwg-defects.html#3927">3927</a>, <a href="lwg-defects.html#3935">3935</a>, <a href="lwg-defects.html#3938">3938</a>, <a href="lwg-defects.html#3940">3940</a>.</li>
 <li>Changed the following issue to Resolved (from New): <a href="lwg-defects.html#3861">3861</a>.</li>
@@ -44405,12 +44406,12 @@ <h3><a name="3805" href="#3805">3805</a><sup><a href="https://cplusplus.github.i
 
 <hr>
 <h3><a name="3809" href="#3809">3809</a><sup><a href="https://cplusplus.github.io/LWG/issue3809">(i)</a></sup>. Is <tt>std::subtract_with_carry_engine&lt;uint16_t&gt;</tt> supposed to work?</h3>
-<p><b>Section:</b> 28.5.4.4 <a href="https://wg21.link/rand.eng.sub">[rand.eng.sub]</a> <b>Status:</b> <a href="lwg-active.html#New">New</a>
- <b>Submitter:</b> Jonathan Wakely <b>Opened:</b> 2022-11-02 <b>Last modified:</b> 2022-11-25</p>
+<p><b>Section:</b> 28.5.4.4 <a href="https://wg21.link/rand.eng.sub">[rand.eng.sub]</a> <b>Status:</b> <a href="lwg-active.html#Ready">Tentatively Ready</a>
+ <b>Submitter:</b> Jonathan Wakely <b>Opened:</b> 2022-11-02 <b>Last modified:</b> 2023-11-07</p>
 <p><b>Priority: </b>3
 </p>
 <p><b>View all other</b> <a href="lwg-index.html#rand.eng.sub">issues</a> in [rand.eng.sub].</p>
-<p><b>View all issues with</b> <a href="lwg-status.html#New">New</a> status.</p>
+<p><b>View all issues with</b> <a href="lwg-status.html#Tentatively Ready">Tentatively Ready</a> status.</p>
 <p><b>Discussion:</b></p>
 <p>
 The standard requires <tt>subtract_with_carry_engine&lt;T&gt;</tt> to use:
@@ -44436,6 +44437,10 @@ <h3><a name="3809" href="#3809">3809</a><sup><a href="https://cplusplus.github.i
 <p><i>[Kona 2022-11-25; Jonathan provides wording]</i></p>
 
 
+<p><i>[2023-05; reflector poll]</i></p>
+
+<p>Status to Tentatively Ready after six votes in favour.</p>
+
 
 
 <p id="res-3809"><b>Proposed resolution:</b></p>

diff --git a/lwg-closed.html b/lwg-closed.html
@@ -62,7 +62,7 @@
 </tr>
 </table>
 <h1>C++ Standard Library Closed Issues List (Revision D125)</h1>
-<p><p>Revised 2023-11-07 at 18:36:07 UTC</p>
+<p><p>Revised 2023-11-07 at 20:54:29 UTC</p>
 </p>
   <p>Reference ISO/IEC IS 14882:2020(E)</p>
   <p>Also see:</p>
@@ -99,6 +99,7 @@ <h2 id='History'>Revision History</h2>
 <li>Added the following 2 SG9 issues: <a href="lwg-active.html#3971">3971</a>, <a href="lwg-active.html#3988">3988</a>.</li>
 <li>Changed the following 6 issues to Ready (from New): <a href="lwg-active.html#2392">2392</a>, <a href="lwg-active.html#3203">3203</a>, <a href="lwg-active.html#3431">3431</a>, <a href="lwg-active.html#3749">3749</a>, <a href="lwg-active.html#3892">3892</a>, <a href="lwg-active.html#3897">3897</a>.</li>
 <li>Changed the following issue to Ready (from Open): <a href="lwg-active.html#3305">3305</a>.</li>
+<li>Changed the following issue to Tentatively Ready (from New): <a href="lwg-active.html#3809">3809</a>.</li>
 <li>Changed the following issue to Open (from New): <a href="lwg-active.html#3343">3343</a>.</li>
 <li>Changed the following 17 issues to WP (from Tentatively Ready): <a href="lwg-defects.html#2994">2994</a>, <a href="lwg-defects.html#3884">3884</a>, <a href="lwg-defects.html#3885">3885</a>, <a href="lwg-defects.html#3887">3887</a>, <a href="lwg-defects.html#3893">3893</a>, <a href="lwg-defects.html#3894">3894</a>, <a href="lwg-defects.html#3903">3903</a>, <a href="lwg-defects.html#3904">3904</a>, <a href="lwg-defects.html#3905">3905</a>, <a href="lwg-defects.html#3912">3912</a>, <a href="lwg-defects.html#3914">3914</a>, <a href="lwg-defects.html#3915">3915</a>, <a href="lwg-defects.html#3925">3925</a>, <a href="lwg-defects.html#3927">3927</a>, <a href="lwg-defects.html#3935">3935</a>, <a href="lwg-defects.html#3938">3938</a>, <a href="lwg-defects.html#3940">3940</a>.</li>
 <li>Changed the following issue to Resolved (from New): <a href="lwg-defects.html#3861">3861</a>.</li>

diff --git a/lwg-defects.html b/lwg-defects.html
@@ -62,7 +62,7 @@
 </tr>
 </table>
 <h1>C++ Standard Library Defect Reports and Accepted Issues (Revision D125)</h1>
-<p><p>Revised 2023-11-07 at 18:36:07 UTC</p>
+<p><p>Revised 2023-11-07 at 20:54:29 UTC</p>
 </p>
   <p>Reference ISO/IEC IS 14882:2020(E)</p>
   <p>Also see:</p>
@@ -100,6 +100,7 @@ <h2 id='History'>Revision History</h2>
 <li>Added the following 2 SG9 issues: <a href="lwg-active.html#3971">3971</a>, <a href="lwg-active.html#3988">3988</a>.</li>
 <li>Changed the following 6 issues to Ready (from New): <a href="lwg-active.html#2392">2392</a>, <a href="lwg-active.html#3203">3203</a>, <a href="lwg-active.html#3431">3431</a>, <a href="lwg-active.html#3749">3749</a>, <a href="lwg-active.html#3892">3892</a>, <a href="lwg-active.html#3897">3897</a>.</li>
 <li>Changed the following issue to Ready (from Open): <a href="lwg-active.html#3305">3305</a>.</li>
+<li>Changed the following issue to Tentatively Ready (from New): <a href="lwg-active.html#3809">3809</a>.</li>
 <li>Changed the following issue to Open (from New): <a href="lwg-active.html#3343">3343</a>.</li>
 <li>Changed the following 17 issues to WP (from Tentatively Ready): <a href="lwg-defects.html#2994">2994</a>, <a href="lwg-defects.html#3884">3884</a>, <a href="lwg-defects.html#3885">3885</a>, <a href="lwg-defects.html#3887">3887</a>, <a href="lwg-defects.html#3893">3893</a>, <a href="lwg-defects.html#3894">3894</a>, <a href="lwg-defects.html#3903">3903</a>, <a href="lwg-defects.html#3904">3904</a>, <a href="lwg-defects.html#3905">3905</a>, <a href="lwg-defects.html#3912">3912</a>, <a href="lwg-defects.html#3914">3914</a>, <a href="lwg-defects.html#3915">3915</a>, <a href="lwg-defects.html#3925">3925</a>, <a href="lwg-defects.html#3927">3927</a>, <a href="lwg-defects.html#3935">3935</a>, <a href="lwg-defects.html#3938">3938</a>, <a href="lwg-defects.html#3940">3940</a>.</li>
 <li>Changed the following issue to Resolved (from New): <a href="lwg-defects.html#3861">3861</a>.</li>

diff --git a/lwg-immediate.html b/lwg-immediate.html
@@ -51,7 +51,7 @@ <h1>C++ Standard Library Issues Resolved Directly In [INSERT CURRENT MEETING HER
 </tr>
 <tr>
 <td align="left">Date:</td>
-<td align="left"><p>Revised 2023-11-07 at 18:36:07 UTC</p>
+<td align="left"><p>Revised 2023-11-07 at 20:54:29 UTC</p>
 </td>
 </tr>
 <tr>

diff --git a/lwg-index-open.html b/lwg-index-open.html
@@ -49,7 +49,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><p>Revised 2023-11-07 at 18:36:07 UTC</p>
+<p><p>Revised 2023-11-07 at 20:54:29 UTC</p>
 </p><h2><a name="Section 3"></a>Section 3 (2 issues)</h2>
 <p><a href="lwg-index.html#Section 3">(view all issues)</a></p>
 <table border="1" cellpadding="4">
@@ -3445,7 +3445,7 @@ <h2><a name="Section 28"></a>Section 28 (16 issues)</h2>
 </tr>
 <tr>
 <td align="right"><a href="lwg-active.html#3809">3809</a><sup><a href="https://cplusplus.github.io/LWG/issue3809">(i)</a></sup></td>
-<td align="left"><a href="lwg-active.html#New">New</a><a name="3809"></a></td>
+<td align="left"><a href="lwg-active.html#Ready">Tentatively Ready</a><a name="3809"></a></td>
 <td align="left">28.5.4.4 [rand.eng.sub]<a name="rand.eng.sub"></a></td>
 <td align="left">Is <tt>std::subtract_with_carry_engine&lt;uint16_t&gt;</tt> supposed to work?</td>
 <td align="center">Yes</td>

diff --git a/lwg-index.html b/lwg-index.html
@@ -49,7 +49,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><p>Revised 2023-11-07 at 18:36:07 UTC</p>
+<p><p>Revised 2023-11-07 at 20:54:29 UTC</p>
 </p><h2><a name="Section 2"></a>Section 2 (2 issues)</h2>
 <table border="1" cellpadding="4">
 <tr>
@@ -20646,7 +20646,7 @@ <h2><a name="Section 28"></a>Section 28 (172 issues)</h2>
 </tr>
 <tr>
 <td align="right"><a href="lwg-active.html#3809">3809</a><sup><a href="https://cplusplus.github.io/LWG/issue3809">(i)</a></sup></td>
-<td align="left"><a href="lwg-active.html#New">New</a><a name="3809"></a></td>
+<td align="left"><a href="lwg-active.html#Ready">Tentatively Ready</a><a name="3809"></a></td>
 <td align="left">28.5.4.4 [rand.eng.sub]<a name="rand.eng.sub"></a></td>
 <td align="left">Is <tt>std::subtract_with_carry_engine&lt;uint16_t&gt;</tt> supposed to work?</td>
 <td align="center">Yes</td>

diff --git a/lwg-ready.html b/lwg-ready.html
@@ -51,7 +51,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"><p>Revised 2023-11-07 at 18:36:07 UTC</p>
+<td align="left"><p>Revised 2023-11-07 at 20:54:29 UTC</p>
 </td>
 </tr>
 <tr>
@@ -923,6 +923,162 @@ <h3><a name="3749" href="#3749">3749</a><sup><a href="https://cplusplus.github.i
 
 
 
+<hr>
+<h3><a name="3809" href="#3809">3809</a><sup><a href="https://cplusplus.github.io/LWG/issue3809">(i)</a></sup>. Is <tt>std::subtract_with_carry_engine&lt;uint16_t&gt;</tt> supposed to work?</h3>
+<p><b>Section:</b> 28.5.4.4 <a href="https://wg21.link/rand.eng.sub">[rand.eng.sub]</a> <b>Status:</b> <a href="lwg-active.html#Ready">Tentatively Ready</a>
+ <b>Submitter:</b> Jonathan Wakely <b>Opened:</b> 2022-11-02 <b>Last modified:</b> 2023-11-07</p>
+<p><b>Priority: </b>3
+</p>
+<p><b>View all other</b> <a href="lwg-index.html#rand.eng.sub">issues</a> in [rand.eng.sub].</p>
+<p><b>View all issues with</b> <a href="lwg-status.html#Tentatively Ready">Tentatively Ready</a> status.</p>
+<p><b>Discussion:</b></p>
+<p>
+The standard requires <tt>subtract_with_carry_engine&lt;T&gt;</tt> to use:
+</p>
+<blockquote><pre>
+linear_congruential_engine&lt;T, 40014u, 0u, 2147483563u&gt;
+</pre></blockquote>
+<p>
+where each of those values is converted to <tt>T</tt>.
+<p/>
+This appears to mean <tt>subtract_with_carry_engine</tt> cannot be used with <tt>uint16_t</tt>, because 
+<tt>2147483563u</tt> cannot be converted to <tt>uint16_t</tt> without narrowing.
+<p/>
+What is the intention here? Should it be ill-formed? Should the seed engine be 
+<tt>linear_congruential_engine&lt;uint_least32_t, &hellip;&gt;</tt> instead? The values from the 
+<tt>linear_congruential_engine</tt> are used modulo 2^32 so getting 64-bit values from it is pointless, 
+and getting 16-bit values from it doesn't compile.
+</p>
+
+<p><i>[Kona 2022-11-12; Set priority to 3]</i></p>
+
+
+<p><i>[Kona 2022-11-25; Jonathan provides wording]</i></p>
+
+
+<p><i>[2023-05; reflector poll]</i></p>
+
+<p>Status to Tentatively Ready after six votes in favour.</p>
+
+
+
+<p id="res-3809"><b>Proposed resolution:</b></p>
+
+<p>This wording is relative to <a href="https://wg21.link/N4917">N4917</a>.</p>
+
+<ol>
+<li>
+<p>Modify the class synopsis in 28.5.4.4 <a href="https://wg21.link/rand.eng.sub">[rand.eng.sub]</a> as indicated:</p>
+<blockquote><pre>
+namespace std {
+  template&lt;class UIntType, size_t w, size_t s, size_t r&gt;
+  class subtract_with_carry_engine {
+  public:
+    // types
+    using result_type = UIntType;
+    // engine characteristics
+    static constexpr size_t word_size = w;
+    static constexpr size_t short_lag = s;
+    static constexpr size_t long_lag = r;
+    static constexpr result_type min() { return 0; }
+    static constexpr result_type max() { return m − 1; }
+    static constexpr <del>result_type</del><ins>uint_least32_t</ins> default_seed = 19780503u;
+    // constructors and seeding functions
+    subtract_with_carry_engine() : subtract_with_carry_engine(<del>default_seed</del><ins>0u</ins>) {}
+    explicit subtract_with_carry_engine(result_type value);
+    template&lt;class Sseq&gt; explicit subtract_with_carry_engine(Sseq&amp; q);
+    void seed(result_type value = <del>default_seed</del><ins>0u</ins>);
+    template&lt;class Sseq&gt; void seed(Sseq&amp; q);
+</pre></blockquote>
+</li>
+<li>
+<p>Modify 28.5.4.4 <a href="https://wg21.link/rand.eng.sub">[rand.eng.sub]</a> p7 as indicated:</p>
+<blockquote>
+<pre>explicit subtract_with_carry_engine(result_type value);</pre>
+<p>-7- <i>Effects</i>:
+Sets the values of
+<math>
+  <mrow>
+    <msub> <mi>X</mi> <mrow> <mo>−</mo> <mi>r</mi> </mrow> </msub>
+    <mo separator="true">,</mo>
+    <mo>…</mo>
+    <mo separator="true">,</mo>
+    <msub> <mi>X</mi> <mrow> <mo>−</mo> <mn>1</mn> </mrow> </msub>
+  </mrow>
+</math>,
+in that order, as specified below. If
+<math>
+  <mrow>
+    <msub> <mi>X</mi> <mrow> <mo>−</mo> <mn>1</mn> </mrow> </msub>
+  </mrow>
+</math>
+is then <math> <mn>0</mn> </math>,
+sets <math> <mi>c</mi> </math> to <math> <mn>1</mn> </math>;
+otherwise sets <math> <mi>c</mi> </math> to <math> <mn>0</mn> </math>.
+</p>
+<p>&nbsp;&nbsp;&nbsp;&nbsp;
+To set the values
+<math> <mrow> <msub> <mi>X</mi> <mi>k</mi> </msub> </mrow> </math>,
+first construct <tt>e</tt>, a <tt>linear_congruential_engine</tt> object,
+as if by the following definition:
+</p>
+<blockquote><pre>
+linear_congruential_engine&lt;<del>result_type</del><ins>uint_least32_t</ins>,
+                           40014u,0u,2147483563u&gt; e(value == 0u ? default_seed : value);
+</pre></blockquote>
+<p>&nbsp;&nbsp;&nbsp;&nbsp;
+Then, to set each
+<math> <mrow> <msub> <mi>X</mi> <mi>k</mi> </msub> </mrow> </math>,
+obtain new values
+<math>
+  <mrow>
+    <msub> <mi>z</mi> <mn>0</mn> </msub>
+    <mo separator="true">,</mo>
+    <mo>…</mo>
+    <mo separator="true">,</mo>
+    <msub> <mi>z</mi> <mrow> <mi>n</mi> <mo>−</mo> <mn>1</mn> </mrow> </msub>
+  </mrow>
+</math>
+from
+<math>
+  <mrow>
+    <mi>n</mi> <mo>=</mo>
+    <mo form="prefix" stretchy="false">⌈</mo>
+    <mi>w</mi> <mo lspace="0em" rspace="0em">⁄</mo> <mn>32</mn>
+    <mo form="postfix" stretchy="false">⌉</mo>
+  </mrow>
+</math>
+successive invocations of <tt>e</tt>.
+Set
+<math> <mrow> <msub> <mi>X</mi> <mi>k</mi> </msub> </mrow> </math>
+to
+<math>
+  <mrow>
+    <mrow>
+      <mo fence="true" form="prefix">(</mo>
+      <msubsup>
+        <mo movablelimits="false">∑</mo>
+        <mrow> <mi>j</mi> <mo>=</mo> <mn>0</mn> </mrow>
+        <mrow> <mi>n</mi> <mo>−</mo> <mn>1</mn> </mrow>
+      </msubsup>
+      <msub> <mi>z</mi> <mi>j</mi> </msub>
+      <mo>⋅</mo>
+      <msup> <mn>2</mn> <mrow> <mn>32</mn> <mi>j</mi> </mrow> </msup>
+      <mo fence="true" form="postfix">)</mo>
+    </mrow>
+    <mo lspace="0.2222em" rspace="0.2222em">mod</mo>
+    <mi>m</mi>
+  </mrow>
+</math>.
+</p>
+</blockquote>
+</li>
+</ol>
+
+
+
+
+
 <hr>
 <h3><a name="3892" href="#3892">3892</a><sup><a href="https://cplusplus.github.io/LWG/issue3892">(i)</a></sup>. Incorrect formatting of nested ranges and tuples</h3>
 <p><b>Section:</b> 22.14.7.2 <a href="https://wg21.link/format.range.formatter">[format.range.formatter]</a>, 22.14.9 <a href="https://wg21.link/format.tuple">[format.tuple]</a> <b>Status:</b> <a href="lwg-active.html#Ready">Ready</a>
-Original file line number
+Diff line change
@@ Expand Up @@
     </tr>
     <tr>
     <td align="left">Date:</td>
-    <td align="left"><p>Revised 2023-11-07 at 18:36:07 UTC</p>
+    <td align="left"><p>Revised 2023-11-07 at 20:54:29 UTC</p>
     </td>
     </tr>
     <tr>
@@ Expand Down @@