Automatic update from GitHub Actions workflow

cplusplus · Oct 5, 2024 · d7c5685 · d7c5685
1 parent 6953fb6
commit d7c5685
Show file tree

Hide file tree

Showing 22 changed files with 82 additions and 37 deletions.
diff --git a/issue2136.html b/issue2136.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#Open">Open</a> status.</em></p>
 <h3 id="2136"><a href="lwg-active.html#2136">2136</a>. Postconditions vs. exceptions</h3>
 <p><b>Section:</b> 16.3.2 <a href="https://wg21.link/structure">[structure]</a> <b>Status:</b> <a href="lwg-active.html#Open">Open</a>
- <b>Submitter:</b> Jens Maurer <b>Opened:</b> 2012-03-08 <b>Last modified:</b> 2024-10-03</p>
+ <b>Submitter:</b> Jens Maurer <b>Opened:</b> 2012-03-08 <b>Last modified:</b> 2024-10-05</p>
 <p><b>Priority: </b>3
 </p>
 <p><b>View all issues with</b> <a href="lwg-status.html#Open">Open</a> status.</p>
@@ -118,8 +118,23 @@ <h3 id="2136"><a href="lwg-active.html#2136">2136</a>. Postconditions vs. except
 it doesn't actually change the normative state by itself.
 </p>
 
+<p><i>[2024-10-03; Jonathan adds wording]</i></p>
+
+
 
 <p id="res-2136"><b>Proposed resolution:</b></p>
+<p>This wording is relative to <a href="https://wg21.link/N4988" title=" Working Draft, Programming Languages — C++">N4988</a>.</p>
+
+<ol>
+<li>
+<p>Change 16.3.2.4 <a href="https://wg21.link/structure.specifications">[structure.specifications]</a> as indicated:</p>
+<blockquote>
+(3.6) &mdash;
+<i>Postconditions</i>: the conditions (sometimes termed observable results)
+established by the function <ins>when a call to it returns normally</ins>.
+</blockquote>
+</li>
+</ol>
 
 
 

diff --git a/lwg-active.html b/lwg-active.html
@@ -67,7 +67,7 @@
 </tr>
 <tr>
   <td align="left">Date:</td>
-  <td align="left">2024-10-03</td>
+  <td align="left">2024-10-05</td>
 </tr>
 <tr>
   <td align="left">Project:</td>
@@ -79,7 +79,7 @@
 </tr>
 </table>
 <h1>C++ Standard Library Active Issues List (Revision D125)</h1>
-<p>Revised 2024-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p>
   <p>Reference ISO/IEC IS 14882:2020(E)</p>
   <p>Also see:</p>
@@ -5833,7 +5833,7 @@ <h3 id="2117"><a href="#2117">2117</a><sup><a href="https://cplusplus.github.io/
 <hr>
 <h3 id="2136"><a href="#2136">2136</a><sup><a href="https://cplusplus.github.io/LWG/issue2136">(i)</a></sup>. Postconditions vs. exceptions</h3>
 <p><b>Section:</b> 16.3.2 <a href="https://wg21.link/structure">[structure]</a> <b>Status:</b> <a href="lwg-active.html#Open">Open</a>
- <b>Submitter:</b> Jens Maurer <b>Opened:</b> 2012-03-08 <b>Last modified:</b> 2024-10-03</p>
+ <b>Submitter:</b> Jens Maurer <b>Opened:</b> 2012-03-08 <b>Last modified:</b> 2024-10-05</p>
 <p><b>Priority: </b>3
 </p>
 <p><b>View all issues with</b> <a href="lwg-status.html#Open">Open</a> status.</p>
@@ -5887,8 +5887,23 @@ <h3 id="2136"><a href="#2136">2136</a><sup><a href="https://cplusplus.github.io/
 it doesn't actually change the normative state by itself.
 </p>
 
+<p><i>[2024-10-03; Jonathan adds wording]</i></p>
+
+
 
 <p id="res-2136"><b>Proposed resolution:</b></p>
+<p>This wording is relative to <a href="https://wg21.link/N4988" title=" Working Draft, Programming Languages — C++">N4988</a>.</p>
+
+<ol>
+<li>
+<p>Change 16.3.2.4 <a href="https://wg21.link/structure.specifications">[structure.specifications]</a> as indicated:</p>
+<blockquote>
+(3.6) &mdash;
+<i>Postconditions</i>: the conditions (sometimes termed observable results)
+established by the function <ins>when a call to it returns normally</ins>.
+</blockquote>
+</li>
+</ol>
 
 
 

diff --git a/lwg-closed.html b/lwg-closed.html
@@ -67,7 +67,7 @@
 </tr>
 <tr>
   <td align="left">Date:</td>
-  <td align="left">2024-10-03</td>
+  <td align="left">2024-10-05</td>
 </tr>
 <tr>
   <td align="left">Project:</td>
@@ -79,7 +79,7 @@
 </tr>
 </table>
 <h1>C++ Standard Library Closed Issues List (Revision D125)</h1>
-<p>Revised 2024-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p>
   <p>Reference ISO/IEC IS 14882:2020(E)</p>
   <p>Also see:</p>

diff --git a/lwg-defects.html b/lwg-defects.html
@@ -67,7 +67,7 @@
 </tr>
 <tr>
   <td align="left">Date:</td>
-  <td align="left">2024-10-03</td>
+  <td align="left">2024-10-05</td>
 </tr>
 <tr>
   <td align="left">Project:</td>
@@ -79,7 +79,7 @@
 </tr>
 </table>
 <h1>C++ Standard Library Defect Reports and Accepted Issues (Revision D125)</h1>
-<p>Revised 2024-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p>
   <p>Reference ISO/IEC IS 14882:2020(E)</p>
   <p>Also see:</p>

diff --git a/lwg-immediate.html b/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-10-03 at 20:13:18 UTC
+<td align="left">Revised 2024-10-05 at 10:32:51 UTC
 </td>
 </tr>
 <tr>

diff --git a/lwg-index-open.html b/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-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 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">
@@ -186,7 +186,7 @@ <h2 id="Section_16">Section 16 (43 issues)</h2>
 <td><a href="lwg-active.html#Open">Open</a></td>
 <td>16.3.2 [structure]<a id="structure"></a></td>
 <td>Postconditions vs. exceptions</td>
-<td><span class="no-pr">No</span></td>
+<td>Yes</td>
 <td>3</td>
 <td></td>
 </tr>

diff --git a/lwg-index.html b/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-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p><h2 id="Section_2">Section 2 (2 issues)</h2>
 <table class="issues-index">
 <tr>
@@ -587,7 +587,7 @@ <h2 id="Section_16">Section 16 (226 issues)</h2>
 <td><a href="lwg-active.html#Open">Open</a></td>
 <td>16.3.2 [structure]<a id="structure"></a></td>
 <td>Postconditions vs. exceptions</td>
-<td><span class="no-pr">No</span></td>
+<td>Yes</td>
 <td>3</td>
 <td></td>
 </tr>

diff --git a/lwg-ready.html b/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-10-03 at 20:13:18 UTC
+<td align="left">Revised 2024-10-05 at 10:32:51 UTC
 </td>
 </tr>
 <tr>

diff --git a/lwg-status-date.html b/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-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p><h2 id="Ready">Ready (11 issues)</h2>
 <table class="issues-index">
 <tr>
@@ -4445,7 +4445,7 @@ <h2 id="Open">Open (79 issues)</h2>
 <td><a href="lwg-active.html#Open">Open</a></td>
 <td>16.3.2 [structure]</td>
 <td>Postconditions vs. exceptions</td>
-<td><span class="no-pr">No</span></td>
+<td>Yes</td>
 <td>3</td>
 <td></td>
 </tr>

diff --git a/lwg-status.html b/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-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p><h2 id="Ready">Ready (11 issues)</h2>
 <table class="issues-index">
 <tr>
@@ -4440,7 +4440,7 @@ <h2 id="Open">Open (79 issues)</h2>
 <td><a href="lwg-active.html#Open">Open</a></td>
 <td>16.3.2 [structure]</td>
 <td>Postconditions vs. exceptions</td>
-<td><span class="no-pr">No</span></td>
+<td>Yes</td>
 <td>3</td>
 <td></td>
 </tr>

diff --git a/lwg-tentative.html b/lwg-tentative.html
@@ -54,7 +54,7 @@
 </style>
 </head>
 <body>
-<p>Revised 2024-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p><h2>Tentative Issues</h2>
 <hr>
 <h3 id="3216"><a href="#3216">3216</a><sup><a href="https://cplusplus.github.io/LWG/issue3216">(i)</a></sup>. Rebinding the allocator before calling <code>construct</code>/<code>destroy</code> in <code>allocate_shared</code></h3>

diff --git a/lwg-toc.html b/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-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p><table class="issues-index">
 <tr>
   <th><a href="lwg-toc.html">Issue</a></th>
@@ -15042,7 +15042,7 @@ <h1>Table of Contents</h1>
 <td><a href="lwg-active.html#Open">Open</a></td>
 <td>16.3.2 [structure]</td>
 <td>Postconditions vs. exceptions</td>
-<td><span class="no-pr">No</span></td>
+<td>Yes</td>
 <td>3</td>
 <td></td>
 </tr>

diff --git a/lwg-unresolved.html b/lwg-unresolved.html
@@ -54,7 +54,7 @@
 </style>
 </head>
 <body>
-<p>Revised 2024-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p><h2>Unresolved Issues</h2>
 <hr>
 <h3 id="423"><a href="#423">423</a><sup><a href="https://cplusplus.github.io/LWG/issue423">(i)</a></sup>. Effects of negative <code>streamsize</code> in iostreams</h3>
@@ -4286,7 +4286,7 @@ <h3 id="2117"><a href="#2117">2117</a><sup><a href="https://cplusplus.github.io/
 <hr>
 <h3 id="2136"><a href="#2136">2136</a><sup><a href="https://cplusplus.github.io/LWG/issue2136">(i)</a></sup>. Postconditions vs. exceptions</h3>
 <p><b>Section:</b> 16.3.2 <a href="https://wg21.link/structure">[structure]</a> <b>Status:</b> <a href="lwg-active.html#Open">Open</a>
- <b>Submitter:</b> Jens Maurer <b>Opened:</b> 2012-03-08 <b>Last modified:</b> 2024-10-03</p>
+ <b>Submitter:</b> Jens Maurer <b>Opened:</b> 2012-03-08 <b>Last modified:</b> 2024-10-05</p>
 <p><b>Priority: </b>3
 </p>
 <p><b>View all issues with</b> <a href="lwg-status.html#Open">Open</a> status.</p>
@@ -4340,8 +4340,23 @@ <h3 id="2136"><a href="#2136">2136</a><sup><a href="https://cplusplus.github.io/
 it doesn't actually change the normative state by itself.
 </p>
 
+<p><i>[2024-10-03; Jonathan adds wording]</i></p>
+
+
 
 <p id="res-2136"><b>Proposed resolution:</b></p>
+<p>This wording is relative to <a href="https://wg21.link/N4988" title=" Working Draft, Programming Languages — C++">N4988</a>.</p>
+
+<ol>
+<li>
+<p>Change 16.3.2.4 <a href="https://wg21.link/structure.specifications">[structure.specifications]</a> as indicated:</p>
+<blockquote>
+(3.6) &mdash;
+<i>Postconditions</i>: the conditions (sometimes termed observable results)
+established by the function <ins>when a call to it returns normally</ins>.
+</blockquote>
+</li>
+</ol>
 
 
 

diff --git a/unresolved-index.html b/unresolved-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-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p><h2 id="Section_3">Section 3 (2 issues)</h2>
 <p><a href="lwg-index-open.html#Section_3">(view only non-Ready open issues)</a></p>
 <table class="issues-index">
@@ -186,7 +186,7 @@ <h2 id="Section_16">Section 16 (43 issues)</h2>
 <td><a href="lwg-active.html#Open">Open</a></td>
 <td>16.3.2 [structure]<a id="structure"></a></td>
 <td>Postconditions vs. exceptions</td>
-<td><span class="no-pr">No</span></td>
+<td>Yes</td>
 <td>3</td>
 <td></td>
 </tr>

diff --git a/unresolved-prioritized.html b/unresolved-prioritized.html
@@ -60,7 +60,7 @@ <h1>Table of Contents</h1>
 <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>,
 sorted by priority.</p>
-<p>Revised 2024-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p><h2 id="Priority_1">Priority 1 (2 issues)</h2>
 <table class="issues-index">
 <tr>
@@ -607,7 +607,7 @@ <h2 id="Priority_3">Priority 3 (378 issues)</h2>
 <td><a href="lwg-active.html#Open">Open</a></td>
 <td>16.3.2 [structure]</td>
 <td>Postconditions vs. exceptions</td>
-<td><span class="no-pr">No</span></td>
+<td>Yes</td>
 <td>3</td>
 <td></td>
 </tr>

diff --git a/unresolved-status-date.html b/unresolved-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-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p><h2 id="New">New (437 issues)</h2>
 <table class="issues-index">
 <tr>
@@ -4081,7 +4081,7 @@ <h2 id="Open">Open (79 issues)</h2>
 <td><a href="lwg-active.html#Open">Open</a></td>
 <td>16.3.2 [structure]</td>
 <td>Postconditions vs. exceptions</td>
-<td><span class="no-pr">No</span></td>
+<td>Yes</td>
 <td>3</td>
 <td></td>
 </tr>

diff --git a/unresolved-status.html b/unresolved-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-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p><h2 id="New">New (437 issues)</h2>
 <table class="issues-index">
 <tr>
@@ -4076,7 +4076,7 @@ <h2 id="Open">Open (79 issues)</h2>
 <td><a href="lwg-active.html#Open">Open</a></td>
 <td>16.3.2 [structure]</td>
 <td>Postconditions vs. exceptions</td>
-<td><span class="no-pr">No</span></td>
+<td>Yes</td>
 <td>3</td>
 <td></td>
 </tr>

diff --git a/unresolved-toc.html b/unresolved-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-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p><table class="issues-index">
 <tr>
   <th><a href="lwg-toc.html">Issue</a></th>
@@ -300,7 +300,7 @@ <h1>Table of Contents</h1>
 <td><a href="lwg-active.html#Open">Open</a></td>
 <td>16.3.2 [structure]</td>
 <td>Postconditions vs. exceptions</td>
-<td><span class="no-pr">No</span></td>
+<td>Yes</td>
 <td>3</td>
 <td></td>
 </tr>

diff --git a/votable-index.html b/votable-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-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p><h2 id="Section_17">Section 17 (2 issues)</h2>
 <p><a href="lwg-index-open.html#Section_17">(view only non-Ready open issues)</a></p>
 <table class="issues-index">

diff --git a/votable-status-date.html b/votable-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-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p><h2 id="Ready">Ready (11 issues)</h2>
 <table class="issues-index">
 <tr>

diff --git a/votable-status.html b/votable-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-10-03 at 20:13:18 UTC
+<p>Revised 2024-10-05 at 10:32:51 UTC
 </p><h2 id="Ready">Ready (11 issues)</h2>
 <table class="issues-index">
 <tr>
-Original file line number
+Diff line change
@@ Expand Up @@
     </tr>
     <tr>
     <td align="left">Date:</td>
-    <td align="left">Revised 2024-10-03 at 20:13:18 UTC
+    <td align="left">Revised 2024-10-05 at 10:32:51 UTC
     </td>
     </tr>
     <tr>
@@ Expand Down @@