From d7c56854427b0298a29bfb756307355632f6caaa Mon Sep 17 00:00:00 2001 From: github-actions Date: Sat, 5 Oct 2024 10:32:58 +0000 Subject: [PATCH] Automatic update from GitHub Actions workflow --- issue2136.html | 17 ++++++++++++++++- lwg-active.html | 21 ++++++++++++++++++--- lwg-closed.html | 4 ++-- lwg-defects.html | 4 ++-- lwg-immediate.html | 2 +- lwg-index-open.html | 4 ++-- lwg-index.html | 4 ++-- lwg-ready.html | 2 +- lwg-status-date.html | 4 ++-- lwg-status.html | 4 ++-- lwg-tentative.html | 2 +- lwg-toc.html | 4 ++-- lwg-unresolved.html | 19 +++++++++++++++++-- unresolved-index.html | 4 ++-- unresolved-prioritized.html | 4 ++-- unresolved-status-date.html | 4 ++-- unresolved-status.html | 4 ++-- unresolved-toc.html | 4 ++-- votable-index.html | 2 +- votable-status-date.html | 2 +- votable-status.html | 2 +- votable-toc.html | 2 +- 22 files changed, 82 insertions(+), 37 deletions(-) diff --git a/issue2136.html b/issue2136.html index 2be00d37b8..d8769d7f0e 100644 --- a/issue2136.html +++ b/issue2136.html @@ -64,7 +64,7 @@

This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of Open status.

2136. Postconditions vs. exceptions

Section: 16.3.2 [structure] Status: Open - Submitter: Jens Maurer Opened: 2012-03-08 Last modified: 2024-10-03

+ Submitter: Jens Maurer Opened: 2012-03-08 Last modified: 2024-10-05

Priority: 3

View all issues with Open status.

@@ -118,8 +118,23 @@

2136. Postconditions vs. except it doesn't actually change the normative state by itself.

+

[2024-10-03; Jonathan adds wording]

+ +

Proposed resolution:

+

This wording is relative to N4988.

+ +
    +
  1. +

    Change 16.3.2.4 [structure.specifications] as indicated:

    +
    +(3.6) — +Postconditions: the conditions (sometimes termed observable results) +established by the function when a call to it returns normally. +
    +
    2. +
diff --git a/lwg-active.html b/lwg-active.html index d304a5d5bf..aa9d54f703 100644 --- a/lwg-active.html +++ b/lwg-active.html @@ -67,7 +67,7 @@ Date: - 2024-10-03 + 2024-10-05 Project: @@ -79,7 +79,7 @@

C++ Standard Library Active Issues List (Revision D125)

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Reference ISO/IEC IS 14882:2020(E)

Also see:

@@ -5833,7 +5833,7 @@

21172136(i). Postconditions vs. exceptions

Section: 16.3.2 [structure] Status: Open - Submitter: Jens Maurer Opened: 2012-03-08 Last modified: 2024-10-03

+ Submitter: Jens Maurer Opened: 2012-03-08 Last modified: 2024-10-05

Priority: 3

View all issues with Open status.

@@ -5887,8 +5887,23 @@

2136Proposed resolution:

+

This wording is relative to N4988.

+ +
    +
  1. +

    Change 16.3.2.4 [structure.specifications] as indicated:

    +
    +(3.6) — +Postconditions: the conditions (sometimes termed observable results) +established by the function when a call to it returns normally. +
    +
    2. +
diff --git a/lwg-closed.html b/lwg-closed.html index 34da6068fc..4fa9123e2f 100644 --- a/lwg-closed.html +++ b/lwg-closed.html @@ -67,7 +67,7 @@ Date: - 2024-10-03 + 2024-10-05 Project: @@ -79,7 +79,7 @@

C++ Standard Library Closed Issues List (Revision D125)

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Reference ISO/IEC IS 14882:2020(E)

Also see:

diff --git a/lwg-defects.html b/lwg-defects.html index 2e6bd9b1a8..5636c4dbaa 100644 --- a/lwg-defects.html +++ b/lwg-defects.html @@ -67,7 +67,7 @@ Date: - 2024-10-03 + 2024-10-05 Project: @@ -79,7 +79,7 @@

C++ Standard Library Defect Reports and Accepted Issues (Revision D125)

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Reference ISO/IEC IS 14882:2020(E)

Also see:

diff --git a/lwg-immediate.html b/lwg-immediate.html index c73e832245..2eaee5d445 100644 --- a/lwg-immediate.html +++ b/lwg-immediate.html @@ -62,7 +62,7 @@

C++ Standard Library Issues Resolved Directly In [INSERT CURRENT MEETING HER Date: -Revised 2024-10-03 at 20:13:18 UTC +Revised 2024-10-05 at 10:32:51 UTC diff --git a/lwg-index-open.html b/lwg-index-open.html index 9c685a49a2..cb2cabf9b6 100644 --- a/lwg-index-open.html +++ b/lwg-index-open.html @@ -66,7 +66,7 @@

Index by Section

This document is the Index by Section for the Library Active Issues List.

Index by Section (non-Ready active issues only)

(view all issues)

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Section 3 (2 issues)

(view all issues)

@@ -186,7 +186,7 @@

Section 16 (43 issues)

- + diff --git a/lwg-index.html b/lwg-index.html index 6336c973fb..9127704bf8 100644 --- a/lwg-index.html +++ b/lwg-index.html @@ -66,7 +66,7 @@

Index by Section

This document is the Index by Section for the Library Active Issues List, Library Defect Reports and Accepted Issues, and Library Closed Issues List.

Index by Section

(view only non-Ready open issues)

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Section 2 (2 issues)

Open 16.3.2 [structure] Postconditions vs. exceptionsNoYes 3
@@ -587,7 +587,7 @@

Section 16 (226 issues)

- + diff --git a/lwg-ready.html b/lwg-ready.html index ccd6281532..a362c8a408 100644 --- a/lwg-ready.html +++ b/lwg-ready.html @@ -62,7 +62,7 @@

C++ Standard Library Issues to be moved in [INSERT CURRENT MEETING HERE]

- diff --git a/lwg-status-date.html b/lwg-status-date.html index 533dc350c9..c11c6fe7e8 100644 --- a/lwg-status-date.html +++ b/lwg-status-date.html @@ -67,7 +67,7 @@

Index by Status and Date

This document is the Index by Status and Date for the Library Active Issues List, Library Defect Reports and Accepted Issues, and Library Closed Issues List.

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Ready (11 issues)

Open 16.3.2 [structure] Postconditions vs. exceptionsNoYes 3
Date:Revised 2024-10-03 at 20:13:18 UTC +Revised 2024-10-05 at 10:32:51 UTC
@@ -4445,7 +4445,7 @@

Open (79 issues)

- + diff --git a/lwg-status.html b/lwg-status.html index c54337b365..5ae5aa90ea 100644 --- a/lwg-status.html +++ b/lwg-status.html @@ -62,7 +62,7 @@

Index by Status and Section

Library Defect Reports and Accepted Issues, and Library Closed Issues List.

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Ready (11 issues)

Open 16.3.2 [structure] Postconditions vs. exceptionsNoYes 3
@@ -4440,7 +4440,7 @@

Open (79 issues)

- + diff --git a/lwg-tentative.html b/lwg-tentative.html index 7312c562c2..c4725e56a1 100644 --- a/lwg-tentative.html +++ b/lwg-tentative.html @@ -54,7 +54,7 @@ -

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Tentative Issues

3216(i). Rebinding the allocator before calling construct/destroy in allocate_shared

diff --git a/lwg-toc.html b/lwg-toc.html index 70dd5f0714..0c5e61a1ab 100644 --- a/lwg-toc.html +++ b/lwg-toc.html @@ -59,7 +59,7 @@

Table of Contents

Reference ISO/IEC IS 14882:2020(E)

This document is the Table of Contents for the Library Active Issues List, Library Defect Reports and Accepted Issues, and Library Closed Issues List.

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Open 16.3.2 [structure] Postconditions vs. exceptionsNoYes 3
@@ -15042,7 +15042,7 @@

Table of Contents

- + diff --git a/lwg-unresolved.html b/lwg-unresolved.html index 9cdf77a3bd..a816a1ba11 100644 --- a/lwg-unresolved.html +++ b/lwg-unresolved.html @@ -54,7 +54,7 @@ -

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Unresolved Issues

423(i). Effects of negative streamsize in iostreams

@@ -4286,7 +4286,7 @@

21172136(i). Postconditions vs. exceptions

Section: 16.3.2 [structure] Status: Open - Submitter: Jens Maurer Opened: 2012-03-08 Last modified: 2024-10-03

+ Submitter: Jens Maurer Opened: 2012-03-08 Last modified: 2024-10-05

Priority: 3

View all issues with Open status.

@@ -4340,8 +4340,23 @@

2136Proposed resolution:

+

This wording is relative to N4988.

+ +
    +
  1. +

    Change 16.3.2.4 [structure.specifications] as indicated:

    +
    +(3.6) — +Postconditions: the conditions (sometimes termed observable results) +established by the function when a call to it returns normally. +
    +
    2. +
diff --git a/unresolved-index.html b/unresolved-index.html index 78e6373878..c806ad5d20 100644 --- a/unresolved-index.html +++ b/unresolved-index.html @@ -66,7 +66,7 @@

Index by Section

This document is the Index by Section for the Library Active Issues List, Library Defect Reports and Accepted Issues, and Library Closed Issues List.

Index by Section

(view only non-Ready open issues)

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Section 3 (2 issues)

(view only non-Ready open issues)

Issue Open 16.3.2 [structure] Postconditions vs. exceptionsNoYes 3
@@ -186,7 +186,7 @@

Section 16 (43 issues)

- + diff --git a/unresolved-prioritized.html b/unresolved-prioritized.html index 510459284e..bebb9a8b9a 100644 --- a/unresolved-prioritized.html +++ b/unresolved-prioritized.html @@ -60,7 +60,7 @@

Table of Contents

This document is the Table of Contents for the Library Active Issues List, Library Defect Reports and Accepted Issues, and Library Closed Issues List, sorted by priority.

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Priority 1 (2 issues)

Open 16.3.2 [structure] Postconditions vs. exceptionsNoYes 3
@@ -607,7 +607,7 @@

Priority 3 (378 issues)

- + diff --git a/unresolved-status-date.html b/unresolved-status-date.html index 6b63c8ea28..eace046b26 100644 --- a/unresolved-status-date.html +++ b/unresolved-status-date.html @@ -67,7 +67,7 @@

Index by Status and Date

This document is the Index by Status and Date for the Library Active Issues List, Library Defect Reports and Accepted Issues, and Library Closed Issues List.

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

New (437 issues)

Open 16.3.2 [structure] Postconditions vs. exceptionsNoYes 3
@@ -4081,7 +4081,7 @@

Open (79 issues)

- + diff --git a/unresolved-status.html b/unresolved-status.html index c9bf474f87..d9d0e0096d 100644 --- a/unresolved-status.html +++ b/unresolved-status.html @@ -62,7 +62,7 @@

Index by Status and Section

Library Defect Reports and Accepted Issues, and Library Closed Issues List.

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

New (437 issues)

Open 16.3.2 [structure] Postconditions vs. exceptionsNoYes 3
@@ -4076,7 +4076,7 @@

Open (79 issues)

- + diff --git a/unresolved-toc.html b/unresolved-toc.html index 945388206a..52103c740f 100644 --- a/unresolved-toc.html +++ b/unresolved-toc.html @@ -59,7 +59,7 @@

Table of Contents

Reference ISO/IEC IS 14882:2020(E)

This document is the Table of Contents for the Library Active Issues List, Library Defect Reports and Accepted Issues, and Library Closed Issues List.

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Open 16.3.2 [structure] Postconditions vs. exceptionsNoYes 3
@@ -300,7 +300,7 @@

Table of Contents

- + diff --git a/votable-index.html b/votable-index.html index 4fa531a8ae..482f407c42 100644 --- a/votable-index.html +++ b/votable-index.html @@ -66,7 +66,7 @@

Index by Section

This document is the Index by Section for the Library Active Issues List, Library Defect Reports and Accepted Issues, and Library Closed Issues List.

Index by Section

(view only non-Ready open issues)

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Section 17 (2 issues)

(view only non-Ready open issues)

Issue Open 16.3.2 [structure] Postconditions vs. exceptionsNoYes 3
diff --git a/votable-status-date.html b/votable-status-date.html index 0785fd21a4..f4b220dadd 100644 --- a/votable-status-date.html +++ b/votable-status-date.html @@ -67,7 +67,7 @@

Index by Status and Date

This document is the Index by Status and Date for the Library Active Issues List, Library Defect Reports and Accepted Issues, and Library Closed Issues List.

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Ready (11 issues)

diff --git a/votable-status.html b/votable-status.html index 41ce78ad49..34b8f0f72a 100644 --- a/votable-status.html +++ b/votable-status.html @@ -62,7 +62,7 @@

Index by Status and Section

Library Defect Reports and Accepted Issues, and Library Closed Issues List.

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Ready (11 issues)

diff --git a/votable-toc.html b/votable-toc.html index 29da2a4c02..524a6baae3 100644 --- a/votable-toc.html +++ b/votable-toc.html @@ -59,7 +59,7 @@

Table of Contents

Reference ISO/IEC IS 14882:2020(E)

This document is the Table of Contents for the Library Active Issues List, Library Defect Reports and Accepted Issues, and Library Closed Issues List.

-

Revised 2024-10-03 at 20:13:18 UTC +

Revised 2024-10-05 at 10:32:51 UTC

Issue