From c493065d58c245ba95cde4bf2a4180db26559cdc Mon Sep 17 00:00:00 2001 From: github-actions Date: Fri, 2 Aug 2024 21:52:55 +0000 Subject: [PATCH] Automatic update from GitHub Actions workflow --- issue4019.html | 1 + issue4077.html | 12 +- issue4085.html | 11 +- issue4100.html | 13 +- issue4102.html | 12 +- issue4108.html | 22 +- issue4113.html | 17 +- issue4114.html | 11 +- issue4120.html | 12 +- issue4121.html | 17 +- issue4123.html | 11 +- issue4127.html | 17 +- lwg-active.html | 162 +++++++-- lwg-closed.html | 14 +- lwg-defects.html | 14 +- lwg-immediate.html | 2 +- lwg-index-open.html | 76 ++-- lwg-index.html | 76 ++-- lwg-ready.html | 98 ++++- lwg-status-date.html | 210 +++++------ lwg-status.html | 94 ++--- lwg-tentative.html | 98 ++++- lwg-toc.html | 30 +- lwg-unresolved.html | 226 ++++++------ unresolved-index.html | 85 ++--- unresolved-prioritized.html | 707 ++++++++++++++++++------------------ unresolved-status-date.html | 199 +++++----- unresolved-status.html | 83 ++--- unresolved-toc.html | 35 +- votable-index.html | 26 +- votable-status-date.html | 13 +- votable-status.html | 13 +- votable-toc.html | 11 +- 33 files changed, 1411 insertions(+), 1017 deletions(-) diff --git a/issue4019.html b/issue4019.html index b690559cf5..8247e78dd3 100644 --- a/issue4019.html +++ b/issue4019.html @@ -68,6 +68,7 @@

4019. Reversing an infinite ran

Priority: 3

View all other issues in [range.reverse].

+

View all issues with SG9 status.

Discussion:

Consider the following: diff --git a/issue4077.html b/issue4077.html index 0c0f5aac15..e6f200ec93 100644 --- a/issue4077.html +++ b/issue4077.html @@ -64,8 +64,8 @@

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

4077. Unclear preconditions of std::ranges::generate_random

Section: 27.12.2 [alg.rand.generate] Status: New - Submitter: Jiang An Opened: 2024-04-21 Last modified: 2024-04-21

-

Priority: Not Prioritized + Submitter: Jiang An Opened: 2024-04-21 Last modified: 2024-08-02

+

Priority: 2

View other active issues in [alg.rand.generate].

View all other issues in [alg.rand.generate].

@@ -79,6 +79,14 @@

4077. Unclear preconditions of Perhaps we should clarify the conditions in usual Preconditions paragraphs.

+

[2024-08-02; Reflector poll]

+ +

+Set priority to 2 after reflector poll. +When reviewing this we were clear this imposes requirements on users. +

+ +

Proposed resolution:

diff --git a/issue4085.html b/issue4085.html index 6dea0e6573..c04e095177 100644 --- a/issue4085.html +++ b/issue4085.html @@ -64,8 +64,8 @@

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

4085. ranges::generate_random's helper lambda should specify the return type

Section: 27.12.2 [alg.rand.generate] Status: New - Submitter: Hewill Kang Opened: 2024-04-28 Last modified: 2024-05-12

-

Priority: Not Prioritized + Submitter: Hewill Kang Opened: 2024-04-28 Last modified: 2024-08-02

+

Priority: 2

View other active issues in [alg.rand.generate].

View all other issues in [alg.rand.generate].

@@ -120,6 +120,13 @@

4085. ranges::generate_ra

[2024-05-12, Hewill Kang provides improved wording]

+

[2024-08-02; Reflector poll]

+ +

+Set priority to 2 after reflector poll. +

+ +

Proposed resolution:

diff --git a/issue4100.html b/issue4100.html index 73dcfc954a..1a5251227d 100644 --- a/issue4100.html +++ b/issue4100.html @@ -64,8 +64,8 @@

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

4100. Default arguments and signatures of standard library non-member functions

Section: 16.4.6.4 [global.functions] Status: New - Submitter: Jiang An Opened: 2024-05-11 Last modified: 2024-05-12

-

Priority: Not Prioritized + Submitter: Jiang An Opened: 2024-05-11 Last modified: 2024-08-02

+

Priority: 3

View all other issues in [global.functions].

View all issues with New status.

@@ -77,6 +77,15 @@

4100. Default arguments and sig current standard wording doesn't clearly allow such technique.

+

[2024-08-02; Reflector poll]

+ +

+Set priority to 3 after reflector poll. +"It's a lot of new text just to say you can't do that, lose the example?" +"Might be NAD, is this already disallowed?" "Only for member functions." +

+ +

Proposed resolution:

diff --git a/issue4102.html b/issue4102.html index 006add020b..1126f43025 100644 --- a/issue4102.html +++ b/issue4102.html @@ -64,8 +64,8 @@

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

4102. string_view(Iter, Iter) constructor breaks existing code

Section: 23.3.3.2 [string.view.cons] Status: New - Submitter: Derek Zhang Opened: 2024-05-14 Last modified: 2024-05-20

-

Priority: Not Prioritized + Submitter: Derek Zhang Opened: 2024-05-14 Last modified: 2024-08-02

+

Priority: 2

View all other issues in [string.view.cons].

View all issues with New status.

@@ -139,6 +139,14 @@

4102. st is simpler and clearer anyway.

+

[2024-08-02; Reflector poll]

+ +

+Set priority to 2 after reflector poll. +"The constructor should be made explicit as part of any resolution for this." +

+ +

Proposed resolution:

diff --git a/issue4108.html b/issue4108.html index b3cb2fa15e..62de07bb98 100644 --- a/issue4108.html +++ b/issue4108.html @@ -4,7 +4,7 @@ Issue 4108: lazy_split_view should be sized_range when pattern is empty tiny-range - + @@ -61,15 +61,15 @@

-

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

+

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

4108. lazy_split_view should be sized_range when pattern is empty tiny-range

-

Section: 26.7.16.2 [range.lazy.split.view], 26.7.17.2 [range.split.view] Status: New - Submitter: Hewill Kang Opened: 2024-05-23 Last modified: 2024-05-26

-

Priority: Not Prioritized +

Section: 26.7.16.2 [range.lazy.split.view], 26.7.17.2 [range.split.view] Status: SG9 + Submitter: Hewill Kang Opened: 2024-05-23 Last modified: 2024-08-02

+

Priority: 4

View other active issues in [range.lazy.split.view].

View all other issues in [range.lazy.split.view].

-

View all issues with New status.

+

View all issues with SG9 status.

Discussion:

When the pattern range is empty, lazy_split_view will split each element into individual subranges, @@ -80,6 +80,16 @@

4108. lazy_split_viewPattern::size() == 0 in inner-iterator::operator++().

+

[2024-08-02; Reflector poll]

+ +

+Set priority to 4 after reflector poll. Set Status to SG9. +"Design change". +"tiny-range should accept span<T, 0|1> or ref_view<array<T, 0|1>>, +see related paper P1419." +

+ +

Proposed resolution:

diff --git a/issue4113.html b/issue4113.html index 445e705540..7a9e1ecfdf 100644 --- a/issue4113.html +++ b/issue4113.html @@ -4,7 +4,7 @@ Issue 4113: Disallow has_unique_object_representations<Incomplete[]> - + @@ -61,15 +61,15 @@

-

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

+

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

4113. Disallow has_unique_object_representations<Incomplete[]>

-

Section: 21.3.5.4 [meta.unary.prop] Status: New - Submitter: Jonathan Wakely Opened: 2024-06-25 Last modified: 2024-06-25

+

Section: 21.3.5.4 [meta.unary.prop] Status: Tentatively Ready + Submitter: Jonathan Wakely Opened: 2024-06-25 Last modified: 2024-08-02

Priority: Not Prioritized

View other active issues in [meta.unary.prop].

View all other issues in [meta.unary.prop].

-

View all issues with New status.

+

View all issues with Tentatively Ready status.

Discussion:

The type completeness requirements for has_unique_object_representations say: @@ -97,6 +97,13 @@

4113. Disallow has_unique and apply the current rules to determine the trait's result.

+

[2024-08-02; Reflector poll]

+ +

+Set status to Tentatively Ready after nine votes in favour during reflector poll. +

+ +

Proposed resolution:

diff --git a/issue4114.html b/issue4114.html index 28443ad086..8b30673371 100644 --- a/issue4114.html +++ b/issue4114.html @@ -64,8 +64,8 @@

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

4114. elements_view::iterator::operator* missing conditional noexcept specification

Section: 26.7.23.3 [range.elements.iterator] Status: New - Submitter: Hewill Kang Opened: 2024-07-02 Last modified: 2024-07-07

-

Priority: Not Prioritized + Submitter: Hewill Kang Opened: 2024-07-02 Last modified: 2024-08-02

+

Priority: 3

View other active issues in [range.elements.iterator].

View all other issues in [range.elements.iterator].

@@ -101,6 +101,13 @@

4114. elements_view::i The proposed resolution is aligned with the strengthened implementation of MSVC-STL.

+

[2024-08-02; Reflector poll]

+ +

+Set priority to 3 after reflector poll. +

+ +

Proposed resolution:

diff --git a/issue4120.html b/issue4120.html index 203be99e2b..9ae9cbaf45 100644 --- a/issue4120.html +++ b/issue4120.html @@ -67,8 +67,8 @@

4120. move_iterator should provide iterator_category only when it models forward_iterator

Section: 25.5.4.2 [move.iterator] Status: New - Submitter: Hewill Kang Opened: 2024-07-12 Last modified: 2024-07-21

-

Priority: Not Prioritized + Submitter: Hewill Kang Opened: 2024-07-12 Last modified: 2024-08-02

+

Priority: 3

View other active issues in [move.iterator].

View all other issues in [move.iterator].

@@ -81,6 +81,14 @@

4120. move_iteratoriterator_category.

+

[2024-08-02; Reflector poll]

+ +

+Set priority to 3 after reflector poll. +"NAD, would be a major breaking change to something present since C++11." +

+ +

Proposed resolution:

diff --git a/issue4121.html b/issue4121.html index ffc5411f0f..ef55f0e5bd 100644 --- a/issue4121.html +++ b/issue4121.html @@ -64,8 +64,8 @@

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

4121. ranges::to constructs associative containers via c.emplace(c.end(), *it)

Section: 26.5.7.1 [range.utility.conv.general] Status: New - Submitter: Hewill Kang Opened: 2024-07-16 Last modified: 2024-07-23

-

Priority: Not Prioritized + Submitter: Hewill Kang Opened: 2024-07-16 Last modified: 2024-08-02

+

Priority: 2

View all issues with New status.

Discussion:

@@ -100,6 +100,19 @@

4121. ranges::to c +

[2024-08-02; Reflector poll]

+ +

+Set priority to 2 after reflector poll. +"Would like to preserve the ability to use emplace. Tim suggested trying +emplace_hint first, then emplace." +"I tried it, it gets very verbose, because we might also want to try +insert(*it) instead of insert(c.end(), *it) if emplace(*it) is not valid +for associative containers, because c.end() might not be a good hint." +"It might be suboptimal, but it still works." +

+ +

Proposed resolution:

diff --git a/issue4123.html b/issue4123.html index 9c3063c1a2..7dbc6c20d3 100644 --- a/issue4123.html +++ b/issue4123.html @@ -64,8 +64,8 @@

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

4123. Container effects use "the assignment operator or move assignment operator"

Section: 24.3.9.4 [deque.modifiers], 24.3.12.5 [vector.modifiers], 24.3.14.5 [inplace.vector.modifiers] Status: New - Submitter: Jonathan Wakely Opened: 2024-07-25 Last modified: 2024-07-25

-

Priority: Not Prioritized + Submitter: Jonathan Wakely Opened: 2024-07-25 Last modified: 2024-08-02

+

Priority: 3

View other active issues in [deque.modifiers].

View all other issues in [deque.modifiers].

@@ -101,6 +101,13 @@

4123. Container effects use "th of the special member functions.

+

[2024-08-02; Reflector poll]

+ +

+Set priority to 3 after reflector poll. Arthur to draft wording. +

+ +

Proposed resolution:

diff --git a/issue4127.html b/issue4127.html index 56446bf332..9c5886ab9c 100644 --- a/issue4127.html +++ b/issue4127.html @@ -64,8 +64,8 @@

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

4127. The Standard Library should not use predicates of the form pred(*i) != false

Section: 22.10.18.3 [func.search.bm], 22.10.18.4 [func.search.bmh], 24.2.7.1 [associative.reqmts.general], 24.3.11.5 [list.ops], 27.6.6 [alg.find], 27.6.9 [alg.find.first.of], 27.6.10 [alg.adjacent.find], 27.6.11 [alg.count], 27.6.12 [alg.mismatch], 27.6.15 [alg.search], 27.8.1 [alg.sorting.general] Status: New - Submitter: Hewill Kang Opened: 2024-07-25 Last modified: 2024-07-29

-

Priority: Not Prioritized + Submitter: Hewill Kang Opened: 2024-07-25 Last modified: 2024-08-02

+

Priority: 3

View all issues with New status.

Discussion:

@@ -93,6 +93,19 @@

4127. The Standard Library shou if (with built-in conversion semantics) doesn't sound like a meaningful phrase to me.

+

[2024-08-02; Reflector poll]

+ +

+Set priority to 3 after reflector poll. "Needs more 'is true' added". +"Would prefer not to have explicit conversions to bool unless +boolean-testable requires that. +The 'Let E be' lists don't need an 'is true' there, +but the use of 'E' should say 'is true'". +[alg.search] and [func.search.bm] have changed editorially in the draft, +the proposed resolution needs updating. +

+ +

Proposed resolution:

diff --git a/lwg-active.html b/lwg-active.html index 34fe888b12..429d6f3784 100644 --- a/lwg-active.html +++ b/lwg-active.html @@ -79,7 +79,7 @@

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

-

Revised 2024-08-02 at 21:15:32 UTC +

Revised 2024-08-02 at 21:52:48 UTC

Reference ISO/IEC IS 14882:2020(E)

Also see:

@@ -199,26 +199,26 @@

Revision History

  • D125: 2023-06-09 Post-Varna
    • Summary:
        -
      • 518 open issues, up by 88.
        • +
      • 517 open issues, up by 87.
      • 3091 closed issues, up by 91.
        • -
      • 40 reassigned issues, up by 4.
        • +
      • 41 reassigned issues, up by 5.
      • 3649 issues total, up by 183.
    • Details:
      • Added the following 4 Ready issues: 4027, 4044, 4064, 4112.
        • -
      • Added the following 2 Tentatively Ready issues: 4119, 4124.
        • +
      • Added the following 3 Tentatively Ready issues: 4113, 4119, 4124.
      • Added the following 7 Tentatively NAD issues: 3958, 3980, 3981, 3982, 4003, 4006, 4095.
        • -
      • Added the following 108 New issues: 3945, 3952, 3954, 3955, 3956, 3959, 3960, 3961, 3962, 3963, 3945, 3952, 3954, 3955, 3956, 3959, 3960, 3961, 3962, 3963, 3964, 3966, 3967, 3968, 3969, 3972, 3976, 3977, 3979, 3983, 3985, 3986, 3989, 3991, 3992, 3993, 3994, 3995, 3997, 3998, 3999, 4000, 4002, 4005, 4007, 4008, 4009, 4010, 4014, 4017, 4018, 4020, 4021, 4022, 4024, 4026, 4028, 4029, 4032, 4033, 4034, 4039, 4040, 4041, 4046, 4047, 4048, 4049, 4050, 4051, 4052, 4055, 4057, 4058, 4059, 4062, 4063, 4065, 4066, 4067, 4068, 4072, 4073, 4077, 4078, 4080, 4081, 4085, 4088, 4089, 4091, 4092, 4093, 4094, 4099, 4100, 4101, 4102, 4103, 4104, 4107, 4108, 4109, 4110, 4111, 4113, 4114, 4115, 4103, 4104, 4107, 4109, 4110, 4111, 4114, 4115, 4116, 4117, 4118, 4120, 4121, 4122, 4123, 4125, 4126, 4127.
      • Added the following 3 Open issues: 3988, 4015, 4069.
      • Added the following 3 LEWG issues: 4042, 4084, 4097.
      • Added the following 2 SG1 issues: 4004, 4075.
        • -
      • Added the following SG9 issue: 4019.
        • +
      • Added the following 2 SG9 issues: 4019, 4108.
      • Added the following 3 SG16 issues: 4070, 4087, 4090.
      • Added the following 45 WP issues: 3946, 3947, 3948, 3949, 3950, 3951, 3953, 3957, 3965, 3970, 3973, 3974, 3975, 3984, 3987, 3990, 4001, 4011, 4012, 4013, 4016, 4023, 4025, 4030, 4031, 4035, 4036, 4037, 4038, 4043, 4045, 4053, 4054, 4060, 4061, 4071, 4074, 4076, 4079, 4082, 4083, 4096, 4098, 4105, 4106.
      • Added the following Resolved issue: 3978.
        • @@ -56023,6 +56023,7 @@

        4019issues in [range.reverse].

        +

        View all issues with SG9 status.

        Discussion:

        Consider the following: @@ -60481,8 +60482,8 @@

        40754077(i). Unclear preconditions of std::ranges::generate_random

        Section: 27.12.2 [alg.rand.generate] Status: New - Submitter: Jiang An Opened: 2024-04-21 Last modified: 2024-04-21

        -

        Priority: Not Prioritized + Submitter: Jiang An Opened: 2024-04-21 Last modified: 2024-08-02

        +

        Priority: 2

        View other active issues in [alg.rand.generate].

        View all other issues in [alg.rand.generate].

        @@ -60496,6 +60497,14 @@

        4077Proposed resolution:

        @@ -60831,8 +60840,8 @@

        40844085(i). ranges::generate_random's helper lambda should specify the return type

        Section: 27.12.2 [alg.rand.generate] Status: New - Submitter: Hewill Kang Opened: 2024-04-28 Last modified: 2024-05-12

        -

        Priority: Not Prioritized + Submitter: Hewill Kang Opened: 2024-04-28 Last modified: 2024-08-02

        +

        Priority: 2

        View other active issues in [alg.rand.generate].

        View all other issues in [alg.rand.generate].

        @@ -60887,6 +60896,13 @@

        4085Proposed resolution:

        @@ -62421,8 +62437,8 @@

        40994100(i). Default arguments and signatures of standard library non-member functions

        Section: 16.4.6.4 [global.functions] Status: New - Submitter: Jiang An Opened: 2024-05-11 Last modified: 2024-05-12

        -

        Priority: Not Prioritized + Submitter: Jiang An Opened: 2024-05-11 Last modified: 2024-08-02

        +

        Priority: 3

        View all other issues in [global.functions].

        View all issues with New status.

        @@ -62434,6 +62450,15 @@

        4100 + +

        Proposed resolution:

        @@ -62617,8 +62642,8 @@

        41014102(i). string_view(Iter, Iter) constructor breaks existing code

        Section: 23.3.3.2 [string.view.cons] Status: New - Submitter: Derek Zhang Opened: 2024-05-14 Last modified: 2024-05-20

        -

        Priority: Not Prioritized + Submitter: Derek Zhang Opened: 2024-05-14 Last modified: 2024-08-02

        +

        Priority: 2

        View all other issues in [string.view.cons].

        View all issues with New status.

        @@ -62692,6 +62717,14 @@

        4102explicit as part of any resolution for this." +

        + +

        Proposed resolution:

        @@ -63064,13 +63097,13 @@

        41074108(i). lazy_split_view should be sized_range when pattern is empty tiny-range

        -

        Section: 26.7.16.2 [range.lazy.split.view], 26.7.17.2 [range.split.view] Status: New - Submitter: Hewill Kang Opened: 2024-05-23 Last modified: 2024-05-26

        -

        Priority: Not Prioritized +

        Section: 26.7.16.2 [range.lazy.split.view], 26.7.17.2 [range.split.view] Status: SG9 + Submitter: Hewill Kang Opened: 2024-05-23 Last modified: 2024-08-02

        +

        Priority: 4

        View other active issues in [range.lazy.split.view].

        View all other issues in [range.lazy.split.view].

        -

        View all issues with New status.

        +

        View all issues with SG9 status.

        Discussion:

        When the pattern range is empty, lazy_split_view will split each element into individual subranges, @@ -63081,6 +63114,16 @@

        4108tiny-range should accept span<T, 0|1> or ref_view<array<T, 0|1>>, +see related paper P1419." +

        + +

        Proposed resolution:

        @@ -63473,13 +63516,13 @@

        41124113(i). Disallow has_unique_object_representations<Incomplete[]>

        -

        Section: 21.3.5.4 [meta.unary.prop] Status: New - Submitter: Jonathan Wakely Opened: 2024-06-25 Last modified: 2024-06-25

        +

        Section: 21.3.5.4 [meta.unary.prop] Status: Tentatively Ready + Submitter: Jonathan Wakely Opened: 2024-06-25 Last modified: 2024-08-02

        Priority: Not Prioritized

        View other active issues in [meta.unary.prop].

        View all other issues in [meta.unary.prop].

        -

        View all issues with New status.

        +

        View all issues with Tentatively Ready status.

        Discussion:

        The type completeness requirements for has_unique_object_representations say: @@ -63507,6 +63550,13 @@

        4113Proposed resolution:

        @@ -63563,8 +63613,8 @@

        41134114(i). elements_view::iterator::operator* missing conditional noexcept specification

        Section: 26.7.23.3 [range.elements.iterator] Status: New - Submitter: Hewill Kang Opened: 2024-07-02 Last modified: 2024-07-07

        -

        Priority: Not Prioritized + Submitter: Hewill Kang Opened: 2024-07-02 Last modified: 2024-08-02

        +

        Priority: 3

        View other active issues in [range.elements.iterator].

        View all other issues in [range.elements.iterator].

        @@ -63600,6 +63650,13 @@

        4114Proposed resolution:

        @@ -64054,8 +64111,8 @@

        41194120(i). move_iterator should provide iterator_category only when it models forward_iterator

        Section: 25.5.4.2 [move.iterator] Status: New - Submitter: Hewill Kang Opened: 2024-07-12 Last modified: 2024-07-21

        -

        Priority: Not Prioritized + Submitter: Hewill Kang Opened: 2024-07-12 Last modified: 2024-08-02

        +

        Priority: 3

        View other active issues in [move.iterator].

        View all other issues in [move.iterator].

        @@ -64068,6 +64125,14 @@

        4120 + +

        Proposed resolution:

        @@ -64114,8 +64179,8 @@

        41204121(i). ranges::to constructs associative containers via c.emplace(c.end(), *it)

        Section: 26.5.7.1 [range.utility.conv.general] Status: New - Submitter: Hewill Kang Opened: 2024-07-16 Last modified: 2024-07-23

        -

        Priority: Not Prioritized + Submitter: Hewill Kang Opened: 2024-07-16 Last modified: 2024-08-02

        +

        Priority: 2

        View all issues with New status.

        Discussion:

        @@ -64150,6 +64215,19 @@

        4121emplace. Tim suggested trying +emplace_hint first, then emplace." +"I tried it, it gets very verbose, because we might also want to try +insert(*it) instead of insert(c.end(), *it) if emplace(*it) is not valid +for associative containers, because c.end() might not be a good hint." +"It might be suboptimal, but it still works." +

        + +

        Proposed resolution:

        @@ -64266,8 +64344,8 @@

        41224123(i). Container effects use "the assignment operator or move assignment operator"

        Section: 24.3.9.4 [deque.modifiers], 24.3.12.5 [vector.modifiers], 24.3.14.5 [inplace.vector.modifiers] Status: New - Submitter: Jonathan Wakely Opened: 2024-07-25 Last modified: 2024-07-25

        -

        Priority: Not Prioritized + Submitter: Jonathan Wakely Opened: 2024-07-25 Last modified: 2024-08-02

        +

        Priority: 3

        View other active issues in [deque.modifiers].

        View all other issues in [deque.modifiers].

        @@ -64303,6 +64381,13 @@

        4123Proposed resolution:

        @@ -64593,8 +64678,8 @@

        41264127(i). The Standard Library should not use predicates of the form pred(*i) != false

        Section: 22.10.18.3 [func.search.bm], 22.10.18.4 [func.search.bmh], 24.2.7.1 [associative.reqmts.general], 24.3.11.5 [list.ops], 27.6.6 [alg.find], 27.6.9 [alg.find.first.of], 27.6.10 [alg.adjacent.find], 27.6.11 [alg.count], 27.6.12 [alg.mismatch], 27.6.15 [alg.search], 27.8.1 [alg.sorting.general] Status: New - Submitter: Hewill Kang Opened: 2024-07-25 Last modified: 2024-07-29

        -

        Priority: Not Prioritized + Submitter: Hewill Kang Opened: 2024-07-25 Last modified: 2024-08-02

        +

        Priority: 3

        View all issues with New status.

        Discussion:

        @@ -64622,6 +64707,19 @@

        4127true' added". +"Would prefer not to have explicit conversions to bool unless +boolean-testable requires that. +The 'Let E be' lists don't need an 'is true' there, +but the use of 'E' should say 'is true'". +[alg.search] and [func.search.bm] have changed editorially in the draft, +the proposed resolution needs updating. +

        + +

        Proposed resolution:

        diff --git a/lwg-closed.html b/lwg-closed.html index b858c0456f..0b32e0880e 100644 --- a/lwg-closed.html +++ b/lwg-closed.html @@ -79,7 +79,7 @@

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

        -

        Revised 2024-08-02 at 21:15:32 UTC +

        Revised 2024-08-02 at 21:52:48 UTC

        Reference ISO/IEC IS 14882:2020(E)

        Also see:

        @@ -103,26 +103,26 @@

        Revision History

        • D125: 2023-06-09 Post-Varna
          • Summary:
              -
            • 518 open issues, up by 88.
              • +
            • 517 open issues, up by 87.
            • 3091 closed issues, up by 91.
              • -
            • 40 reassigned issues, up by 4.
              • +
            • 41 reassigned issues, up by 5.
            • 3649 issues total, up by 183.
          • Details:
            • Added the following 4 Ready issues: 4027, 4044, 4064, 4112.
              • -
            • Added the following 2 Tentatively Ready issues: 4119, 4124.
              • +
            • Added the following 3 Tentatively Ready issues: 4113, 4119, 4124.
            • Added the following 7 Tentatively NAD issues: 3958, 3980, 3981, 3982, 4003, 4006, 4095.
              • -
            • Added the following 108 New issues: 3945, 3952, 3954, 3955, 3956, 3959, 3960, 3961, 3962, 3963, 3945, 3952, 3954, 3955, 3956, 3959, 3960, 3961, 3962, 3963, 3964, 3966, 3967, 3968, 3969, 3972, 3976, 3977, 3979, 3983, 3985, 3986, 3989, 3991, 3992, 3993, 3994, 3995, 3997, 3998, 3999, 4000, 4002, 4005, 4007, 4008, 4009, 4010, 4014, 4017, 4018, 4020, 4021, 4022, 4024, 4026, 4028, 4029, 4032, 4033, 4034, 4039, 4040, 4041, 4046, 4047, 4048, 4049, 4050, 4051, 4052, 4055, 4057, 4058, 4059, 4062, 4063, 4065, 4066, 4067, 4068, 4072, 4073, 4077, 4078, 4080, 4081, 4085, 4088, 4089, 4091, 4092, 4093, 4094, 4099, 4100, 4101, 4102, 4103, 4104, 4107, 4108, 4109, 4110, 4111, 4113, 4114, 4115, 4103, 4104, 4107, 4109, 4110, 4111, 4114, 4115, 4116, 4117, 4118, 4120, 4121, 4122, 4123, 4125, 4126, 4127.
            • Added the following 3 Open issues: 3988, 4015, 4069.
            • Added the following 3 LEWG issues: 4042, 4084, 4097.
            • Added the following 2 SG1 issues: 4004, 4075.
              • -
            • Added the following SG9 issue: 4019.
              • +
            • Added the following 2 SG9 issues: 4019, 4108.
            • Added the following 3 SG16 issues: 4070, 4087, 4090.
            • Added the following 45 WP issues: 3946, 3947, 3948, 3949, 3950, 3951, 3953, 3957, 3965, 3970, 3973, 3974, 3975, 3984, 3987, 3990, 4001, 4011, 4012, 4013, 4016, 4023, 4025, 4030, 4031, 4035, 4036, 4037, 4038, 4043, 4045, 4053, 4054, 4060, 4061, 4071, 4074, 4076, 4079, 4082, 4083, 4096, 4098, 4105, 4106.
            • Added the following Resolved issue: 3978.
              • diff --git a/lwg-defects.html b/lwg-defects.html index d05968f466..ca54586704 100644 --- a/lwg-defects.html +++ b/lwg-defects.html @@ -79,7 +79,7 @@

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

              -

              Revised 2024-08-02 at 21:15:32 UTC +

              Revised 2024-08-02 at 21:52:48 UTC

              Reference ISO/IEC IS 14882:2020(E)

              Also see:

              @@ -104,26 +104,26 @@

              Revision History

              • D125: 2023-06-09 Post-Varna
                • Summary:
                    -
                  • 518 open issues, up by 88.
                    • +
                  • 517 open issues, up by 87.
                  • 3091 closed issues, up by 91.
                    • -
                  • 40 reassigned issues, up by 4.
                    • +
                  • 41 reassigned issues, up by 5.
                  • 3649 issues total, up by 183.
                • Details:
                  • Added the following 4 Ready issues: 4027, 4044, 4064, 4112.
                    • -
                  • Added the following 2 Tentatively Ready issues: 4119, 4124.
                    • +
                  • Added the following 3 Tentatively Ready issues: 4113, 4119, 4124.
                  • Added the following 7 Tentatively NAD issues: 3958, 3980, 3981, 3982, 4003, 4006, 4095.
                    • -
                  • Added the following 108 New issues: 3945, 3952, 3954, 3955, 3956, 3959, 3960, 3961, 3962, 3963, 3945, 3952, 3954, 3955, 3956, 3959, 3960, 3961, 3962, 3963, 3964, 3966, 3967, 3968, 3969, 3972, 3976, 3977, 3979, 3983, 3985, 3986, 3989, 3991, 3992, 3993, 3994, 3995, 3997, 3998, 3999, 4000, 4002, 4005, 4007, 4008, 4009, 4010, 4014, 4017, 4018, 4020, 4021, 4022, 4024, 4026, 4028, 4029, 4032, 4033, 4034, 4039, 4040, 4041, 4046, 4047, 4048, 4049, 4050, 4051, 4052, 4055, 4057, 4058, 4059, 4062, 4063, 4065, 4066, 4067, 4068, 4072, 4073, 4077, 4078, 4080, 4081, 4085, 4088, 4089, 4091, 4092, 4093, 4094, 4099, 4100, 4101, 4102, 4103, 4104, 4107, 4108, 4109, 4110, 4111, 4113, 4114, 4115, 4103, 4104, 4107, 4109, 4110, 4111, 4114, 4115, 4116, 4117, 4118, 4120, 4121, 4122, 4123, 4125, 4126, 4127.
                  • Added the following 3 Open issues: 3988, 4015, 4069.
                  • Added the following 3 LEWG issues: 4042, 4084, 4097.
                  • Added the following 2 SG1 issues: 4004, 4075.
                    • -
                  • Added the following SG9 issue: 4019.
                    • +
                  • Added the following 2 SG9 issues: 4019, 4108.
                  • Added the following 3 SG16 issues: 4070, 4087, 4090.
                  • Added the following 45 WP issues: 3946, 3947, 3948, 3949, 3950, 3951, 3953, 3957, 3965, 3970, 3973, 3974, 3975, 3984, 3987, 3990, 4001, 4011, 4012, 4013, 4016, 4023, 4025, 4030, 4031, 4035, 4036, 4037, 4038, 4043, 4045, 4053, 4054, 4060, 4061, 4071, 4074, 4076, 4079, 4082, 4083, 4096, 4098, 4105, 4106.
                  • Added the following Resolved issue: 3978.
                    • diff --git a/lwg-immediate.html b/lwg-immediate.html index cc5c334756..474764cd79 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-08-02 at 21:15:32 UTC +Revised 2024-08-02 at 21:52:48 UTC diff --git a/lwg-index-open.html b/lwg-index-open.html index 35b8171aed..3e36dadea0 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-08-02 at 21:15:32 UTC +

                    Revised 2024-08-02 at 21:52:48 UTC

                    Section 3 (2 issues)

                    (view all issues)

                    @@ -459,7 +459,7 @@

                    Section 16 (38 issues)

                    - + @@ -1213,8 +1213,8 @@

                    Section 21 (20 issues)

                    - - + + @@ -1773,7 +1773,7 @@

                    Section 22 (64 issues)

                    - + @@ -2022,7 +2022,7 @@

                    Section 23 (17 issues)

                    - + @@ -2383,7 +2383,7 @@

                    Section 24 (52 issues)

                    - + @@ -2834,23 +2834,23 @@

                    Section 25 (37 issues)

                    - + - + - + - + - + @@ -3009,7 +3009,7 @@

                    Section 26 (61 issues)

                    - + @@ -3280,18 +3280,9 @@

                    Section 26 (61 issues)

                    - - - - - - - - - - + @@ -3316,6 +3307,15 @@

                    Section 26 (61 issues)

                    + + + + + + + + + @@ -3408,21 +3408,21 @@

                    Section 26 (61 issues)

                    - + - + - + - + - + @@ -3787,21 +3787,21 @@

                    Section 27 (31 issues)

                    - + - - - + + + - + - - - + + +
                    16.4.6.4 [global.functions] Default arguments and signatures of standard library non-member functions Yes3
                    4113(i)New4113(i)Tentatively Ready 21.3.5.4 [meta.unary.prop] Disallow has_unique_object_representations<Incomplete[]> Yes 22.10.18.3 [func.search.bm] The Standard Library should not use predicates of the form pred(*i) != false Yes3
                    23.3.3.2 [string.view.cons] string_view(Iter, Iter) constructor breaks existing code No2
                    24.3.9.4 [deque.modifiers] Container effects use "the assignment operator or move assignment operator" No3
                    4125(i)4120(i) New 25.5.4.2 [move.iterator]move_iterator's default constructor should be constrainedmove_iterator should provide iterator_category only when it models +forward_iterator Yes 3
                    4120(i)4125(i) New 25.5.4.2 [move.iterator]move_iterator should provide iterator_category only when it models -forward_iteratormove_iterator's default constructor should be constrained Yes3
                    26.5.7.1 [range.utility.conv.general] ranges::to constructs associative containers via c.emplace(c.end(), *it) Yes2
                    4108(i)New26.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes
                    3855(i) New26.7.16.2 [range.lazy.split.view]26.7.16.2 [range.lazy.split.view] tiny-range is not quite right Yes 4
                    4108(i)SG926.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes4
                    3686(i) New
                    3832(i)4114(i) New 26.7.23.3 [range.elements.iterator]Missing change for element_view::iterator in LWG 3798elements_view::iterator::operator* missing conditional noexcept specification Yes 3
                    4114(i)3832(i) New 26.7.23.3 [range.elements.iterator]elements_view::iterator::operator* missing conditional noexcept specificationMissing change for element_view::iterator in LWG 3798 Yes3
                    4085(i)4077(i) New 27.12.2 [alg.rand.generate]ranges::generate_random's helper lambda should specify the return typeYesUnclear preconditions of std::ranges::generate_randomNo2
                    4077(i)4085(i) New 27.12.2 [alg.rand.generate]Unclear preconditions of std::ranges::generate_randomNoranges::generate_random's helper lambda should specify the return typeYes2
                    diff --git a/lwg-index.html b/lwg-index.html index 16e967df4a..f56ced3503 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-08-02 at 21:15:32 UTC +

                    Revised 2024-08-02 at 21:52:48 UTC

                    Section 2 (2 issues)

                    @@ -2045,7 +2045,7 @@

                    Section 16 (221 issues)

                    - + @@ -6436,8 +6436,8 @@

                    Section 21 (108 issues)

                    - - + + @@ -9910,7 +9910,7 @@

                    Section 22 (390 issues)

                    - + @@ -10975,7 +10975,7 @@

                    Section 23 (149 issues)

                    - + @@ -13653,7 +13653,7 @@

                    Section 24 (368 issues)

                    - + @@ -16621,23 +16621,23 @@

                    Section 25 (202 issues)

                    - + - + - + - + - + @@ -17634,7 +17634,7 @@

                    Section 26 (228 issues)

                    - + @@ -18539,18 +18539,9 @@

                    Section 26 (228 issues)

                    - - - - - - - - - - + @@ -18575,6 +18566,15 @@

                    Section 26 (228 issues)

                    + + + + + + + + + @@ -18885,21 +18885,21 @@

                    Section 26 (228 issues)

                    - + - + - + - + - + @@ -20973,21 +20973,21 @@

                    Section 27 (191 issues)

                    - + - - - + + + - + - - - + + + diff --git a/lwg-ready.html b/lwg-ready.html index 36a6618c72..6d9652175d 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]

                    - @@ -1726,6 +1726,102 @@

                    41124113(i). Disallow has_unique_object_representations<Incomplete[]>

                    +

                    Section: 21.3.5.4 [meta.unary.prop] Status: Tentatively Ready + Submitter: Jonathan Wakely Opened: 2024-06-25 Last modified: 2024-08-02

                    +

                    Priority: Not Prioritized +

                    +

                    View other active issues in [meta.unary.prop].

                    +

                    View all other issues in [meta.unary.prop].

                    +

                    View all issues with Tentatively Ready status.

                    +

                    Discussion:

                    +

                    +The type completeness requirements for has_unique_object_representations say: +

                    +T shall be a complete type, cv void, or an array of unknown bound. +
                    +

                    +

                    +This implies that the trait works for all arrays of unknown bound, +whether the element type is complete or not. That seems to be incorrect, +because has_unique_object_representations_v<Incomplete[]> +is required to have the same result as +has_unique_object_representations_v<Incomplete> +which is ill-formed if Incomplete is an incomplete class type. +

                    + +

                    +I think we need the element type to be complete to be able to give an answer. +Alternatively, if the intended result for an array of unknown bound is false +(maybe because there can be no objects of type T[], or because we can't +know that two objects declared as extern T a[]; and extern T b[]; have +the same number of elements?) then the condition for the trait needs to be +special-cased as false for arrays of unknown bound. +The current spec is inconsistent, we can't allow arrays of unknown bound +and apply the current rules to determine the trait's result. +

                    + +

                    [2024-08-02; Reflector poll]

                    + +

                    +Set status to Tentatively Ready after nine votes in favour during reflector poll. +

                    + + + +

                    Proposed resolution:

                    +

                    +This wording is relative to N4981. +

                    + +
                      +

                    1. Modify 21.3.5.4 [meta.unary.prop] as indicated:

                      + +
                      +
                    16.4.6.4 [global.functions] Default arguments and signatures of standard library non-member functions Yes3
                    4113(i)New4113(i)Tentatively Ready 21.3.5.4 [meta.unary.prop] Disallow has_unique_object_representations<Incomplete[]> Yes 22.10.18.3 [func.search.bm] The Standard Library should not use predicates of the form pred(*i) != false Yes3
                    23.3.3.2 [string.view.cons] string_view(Iter, Iter) constructor breaks existing code No2
                    24.3.9.4 [deque.modifiers] Container effects use "the assignment operator or move assignment operator" No3
                    4125(i)4120(i) New 25.5.4.2 [move.iterator]move_iterator's default constructor should be constrainedmove_iterator should provide iterator_category only when it models +forward_iterator Yes 3
                    4120(i)4125(i) New 25.5.4.2 [move.iterator]move_iterator should provide iterator_category only when it models -forward_iteratormove_iterator's default constructor should be constrained Yes3
                    26.5.7.1 [range.utility.conv.general] ranges::to constructs associative containers via c.emplace(c.end(), *it) Yes2
                    4108(i)New26.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes
                    3855(i) New26.7.16.2 [range.lazy.split.view]26.7.16.2 [range.lazy.split.view] tiny-range is not quite right Yes 4
                    4108(i)SG926.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes4
                    3592(i) C++23 26.7.16.2 [range.lazy.split.view]
                    3832(i)4114(i) New 26.7.23.3 [range.elements.iterator]Missing change for element_view::iterator in LWG 3798elements_view::iterator::operator* missing conditional noexcept specification Yes 3
                    4114(i)3832(i) New 26.7.23.3 [range.elements.iterator]elements_view::iterator::operator* missing conditional noexcept specificationMissing change for element_view::iterator in LWG 3798 Yes3
                    4085(i)4077(i) New 27.12.2 [alg.rand.generate]ranges::generate_random's helper lambda should specify the return typeYesUnclear preconditions of std::ranges::generate_randomNo2
                    4077(i)4085(i) New 27.12.2 [alg.rand.generate]Unclear preconditions of std::ranges::generate_randomNoranges::generate_random's helper lambda should specify the return typeYes2
                    Date:Revised 2024-08-02 at 21:15:32 UTC +Revised 2024-08-02 at 21:52:48 UTC
                    + + + + + + + + + + + +
                    TemplateConditionPreconditions
                    ………
                    +
                    template<class T>
+struct has_unique_object_representations;
                    +                    		 +For an array type T, the same result as +has_unique_object_representations_v<remove_all_extents_t<T>>, +otherwise see below. + +remove_all_extents_t<T> +T +shall be a complete type, +or cv void, or an array of unknown bound. +
                    + +
                    +

                    +[Drafting note: We could use remove_extent_t<T> +to remove just the first array dimension, because only that first one can +have an unknown bound. +The proposed resolution uses remove_all_extents_t<T> +for consistency with the Condition column.] +

                    +
                    + + + + + + + +

                    4119(i). generator::promise_type::yield_value(ranges::elements_of<R, Alloc>)'s nested generator may be ill-formed

                    Section: 26.8.5 [coro.generator.promise] Status: Tentatively Ready diff --git a/lwg-status-date.html b/lwg-status-date.html index 83a9983f55..e482eabfd8 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-08-02 at 21:15:32 UTC +

                    Revised 2024-08-02 at 21:52:48 UTC

                    Ready (8 issues)

                    @@ -154,7 +154,7 @@

                    Index by Status and Date

                    -

                    Tentatively Ready (2 issues)

                    +

                    Tentatively Ready (3 issues)

                    @@ -166,6 +166,15 @@

                    Tentatively Ready (2 issues)

                    + + + + + + + + + @@ -277,7 +286,7 @@

                    Tentatively NAD (9 issues)

                    Issue Duplicates
                    4113(i)Tentatively Ready21.3.5.4 [meta.unary.prop]Disallow has_unique_object_representations<Incomplete[]>Yes
                    4119(i) Tentatively Ready 26.8.5 [coro.generator.promise]
                    -

                    New (420 issues)

                    +

                    New (418 issues)

                    @@ -289,6 +298,15 @@

                    New (420 issues)

                    + + + + + + + + + @@ -298,6 +316,33 @@

                    New (420 issues)

                    + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -307,6 +352,17 @@

                    New (420 issues)

                    + + + + + + + + + @@ -325,6 +381,15 @@

                    New (420 issues)

                    + + + + + + + + + @@ -334,6 +399,15 @@

                    New (420 issues)

                    + + + + + + + + + @@ -343,6 +417,24 @@

                    New (420 issues)

                    + + + + + + + + + + + + + + + + + + @@ -361,15 +453,6 @@

                    New (420 issues)

                    - - - - - - - - - @@ -388,15 +471,6 @@

                    New (420 issues)

                    - - - - - - - - - @@ -406,26 +480,6 @@

                    New (420 issues)

                    - - - - - - - - - - - - - - - - - - @@ -444,15 +498,6 @@

                    New (420 issues)

                    - - - - - - - - - @@ -464,15 +509,6 @@

                    New (420 issues)

                    - - - - - - - - - @@ -655,15 +691,6 @@

                    New (420 issues)

                    - - - - - - - - - @@ -682,15 +709,6 @@

                    New (420 issues)

                    - - - - - - - - - @@ -709,24 +727,6 @@

                    New (420 issues)

                    - - - - - - - - - - - - - - - - - - @@ -763,15 +763,6 @@

                    New (420 issues)

                    - - - - - - - - - @@ -5199,7 +5190,7 @@

                    SG1 (7 issues)

                    Issue Duplicates
                    4100(i)New16.4.6.4 [global.functions]Default arguments and signatures of standard library non-member functionsYes3
                    4126(i) New 17.3.2 [version.syn]
                    4127(i)New22.10.18.3 [func.search.bm]The Standard Library should not use predicates of the form pred(*i) != falseYes3
                    4102(i)New23.3.3.2 [string.view.cons]string_view(Iter, Iter) constructor breaks existing codeNo2
                    4123(i)New24.3.9.4 [deque.modifiers]Container effects use "the assignment operator or move assignment operator"No3
                    4122(i) New 24.3.14.1 [inplace.vector.overview]
                    4120(i)New25.5.4.2 [move.iterator]move_iterator should provide iterator_category only when it models +forward_iteratorYes3
                    4125(i) New 25.5.4.2 [move.iterator]
                    4121(i)New26.5.7.1 [range.utility.conv.general]ranges::to constructs associative containers via c.emplace(c.end(), *it)Yes2
                    4081(i) New 26.7.18.3 [range.concat.iterator]
                    4114(i)New26.7.23.3 [range.elements.iterator]elements_view::iterator::operator* missing conditional noexcept specificationYes3
                    4117(i) New 26.8.6 [coro.generator.iterator]
                    4077(i)New27.12.2 [alg.rand.generate]Unclear preconditions of std::ranges::generate_randomNo2
                    4085(i)New27.12.2 [alg.rand.generate]ranges::generate_random's helper lambda should specify the return typeYes2
                    3922(i) New 17.3.5.1 [numeric.limits.general]
                    4127(i)New22.10.18.3 [func.search.bm]The Standard Library should not use predicates of the form pred(*i) != falseYes
                    3931(i) New 17.3.2 [version.syn]
                    4123(i)New24.3.9.4 [deque.modifiers]Container effects use "the assignment operator or move assignment operator"No
                    3688(i) New 22.8.4 [expected.bad]
                    4121(i)New26.5.7.1 [range.utility.conv.general]ranges::to constructs associative containers via c.emplace(c.end(), *it)Yes
                    4120(i)New25.5.4.2 [move.iterator]move_iterator should provide iterator_category only when it models -forward_iteratorYes
                    4092(i) New 25.5.5.1 [common.iterator]
                    4114(i)New26.7.23.3 [range.elements.iterator]elements_view::iterator::operator* missing conditional noexcept specificationYes
                    4116(i) New
                    4113(i)New21.3.5.4 [meta.unary.prop]Disallow has_unique_object_representations<Incomplete[]>Yes
                    4005(i) New 3.47 [defns.required.behavior]
                    4108(i)New26.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes
                    4109(i) New 28.5.3.1 [rand.req.genl]
                    4102(i)New23.3.3.2 [string.view.cons]string_view(Iter, Iter) constructor breaks existing codeNo
                    4107(i) New 22.14.7.4 [format.range.fmtmap]
                    4100(i)New16.4.6.4 [global.functions]Default arguments and signatures of standard library non-member functionsYes
                    4085(i)New27.12.2 [alg.rand.generate]ranges::generate_random's helper lambda should specify the return typeYes
                    4063(i) New 23.2.4.2 [char.traits.specializations.char]
                    4077(i)New27.12.2 [alg.rand.generate]Unclear preconditions of std::ranges::generate_randomNo
                    4068(i) New 16.4.5.11 [res.on.requirements]
                    -

                    SG9 (1 issues)

                    +

                    SG9 (2 issues)

                    @@ -5211,6 +5202,15 @@

                    SG9 (1 issues)

                    + + + + + + + + + diff --git a/lwg-status.html b/lwg-status.html index f519a8eecb..881ba621ea 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-08-02 at 21:15:32 UTC +

                    Revised 2024-08-02 at 21:52:48 UTC

                    Ready (8 issues)

                    Issue Duplicates
                    4108(i)SG926.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes4
                    4019(i) SG9 26.7.21 [range.reverse]
                    @@ -149,7 +149,7 @@

                    Index by Status and Section

                    -

                    Tentatively Ready (2 issues)

                    +

                    Tentatively Ready (3 issues)

                    @@ -161,6 +161,15 @@

                    Tentatively Ready (2 issues)

                    + + + + + + + + + @@ -272,7 +281,7 @@

                    Tentatively NAD (9 issues)

                    Issue Duplicates
                    4113(i)Tentatively Ready21.3.5.4 [meta.unary.prop]Disallow has_unique_object_representations<Incomplete[]>Yes
                    4119(i) Tentatively Ready 26.8.5 [coro.generator.promise]
                    -

                    New (420 issues)

                    +

                    New (418 issues)

                    @@ -570,7 +579,7 @@

                    New (420 issues)

                    - + @@ -1151,15 +1160,6 @@

                    New (420 issues)

                    - - - - - - - - - @@ -1581,7 +1581,7 @@

                    New (420 issues)

                    - + @@ -1779,7 +1779,7 @@

                    New (420 issues)

                    - + @@ -1972,7 +1972,7 @@

                    New (420 issues)

                    - + @@ -2311,23 +2311,23 @@

                    New (420 issues)

                    - + - + - + - + - + @@ -2455,7 +2455,7 @@

                    New (420 issues)

                    - + @@ -2699,15 +2699,6 @@

                    New (420 issues)

                    - - - - - - - - - @@ -2809,21 +2800,21 @@

                    New (420 issues)

                    - + - + - + - + - + @@ -3049,21 +3040,21 @@

                    New (420 issues)

                    - + - - - + + + - + - - - + + + @@ -5194,7 +5185,7 @@

                    SG1 (7 issues)

                    Issue 16.4.6.4 [global.functions] Default arguments and signatures of standard library non-member functions Yes3
                    4113(i)New21.3.5.4 [meta.unary.prop]Disallow has_unique_object_representations<Incomplete[]>Yes
                    3967(i) New 21.3.5.4 [meta.unary.prop] 22.10.18.3 [func.search.bm] The Standard Library should not use predicates of the form pred(*i) != false Yes3
                    23.3.3.2 [string.view.cons] string_view(Iter, Iter) constructor breaks existing code No2
                    24.3.9.4 [deque.modifiers] Container effects use "the assignment operator or move assignment operator" No3
                    4125(i)4120(i) New 25.5.4.2 [move.iterator]move_iterator's default constructor should be constrainedmove_iterator should provide iterator_category only when it models +forward_iterator Yes 3
                    4120(i)4125(i) New 25.5.4.2 [move.iterator]move_iterator should provide iterator_category only when it models -forward_iteratormove_iterator's default constructor should be constrained Yes3
                    26.5.7.1 [range.utility.conv.general] ranges::to constructs associative containers via c.emplace(c.end(), *it) Yes2
                    4108(i)New26.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes
                    3855(i) New 26.7.16.2 [range.lazy.split.view]
                    3832(i)4114(i) New 26.7.23.3 [range.elements.iterator]Missing change for element_view::iterator in LWG 3798elements_view::iterator::operator* missing conditional noexcept specification Yes 3
                    4114(i)3832(i) New 26.7.23.3 [range.elements.iterator]elements_view::iterator::operator* missing conditional noexcept specificationMissing change for element_view::iterator in LWG 3798 Yes3
                    4085(i)4077(i) New 27.12.2 [alg.rand.generate]ranges::generate_random's helper lambda should specify the return typeYesUnclear preconditions of std::ranges::generate_randomNo2
                    4077(i)4085(i) New 27.12.2 [alg.rand.generate]Unclear preconditions of std::ranges::generate_randomNoranges::generate_random's helper lambda should specify the return typeYes2
                    -

                    SG9 (1 issues)

                    +

                    SG9 (2 issues)

                    @@ -5206,6 +5197,15 @@

                    SG9 (1 issues)

                    + + + + + + + + + diff --git a/lwg-tentative.html b/lwg-tentative.html index 1475829c3f..7820c31e1e 100644 --- a/lwg-tentative.html +++ b/lwg-tentative.html @@ -54,7 +54,7 @@ -

                    Revised 2024-08-02 at 21:15:32 UTC +

                    Revised 2024-08-02 at 21:52:48 UTC

                    Tentative Issues

                    3908(i). enumerate_view::iterator constructor is explicit

                    @@ -1174,6 +1174,102 @@

                    40954113(i). Disallow has_unique_object_representations<Incomplete[]>

                    +

                    Section: 21.3.5.4 [meta.unary.prop] Status: Tentatively Ready + Submitter: Jonathan Wakely Opened: 2024-06-25 Last modified: 2024-08-02

                    +

                    Priority: Not Prioritized +

                    +

                    View other active issues in [meta.unary.prop].

                    +

                    View all other issues in [meta.unary.prop].

                    +

                    View all issues with Tentatively Ready status.

                    +

                    Discussion:

                    +

                    +The type completeness requirements for has_unique_object_representations say: +

                    +T shall be a complete type, cv void, or an array of unknown bound. +
                    +

                    +

                    +This implies that the trait works for all arrays of unknown bound, +whether the element type is complete or not. That seems to be incorrect, +because has_unique_object_representations_v<Incomplete[]> +is required to have the same result as +has_unique_object_representations_v<Incomplete> +which is ill-formed if Incomplete is an incomplete class type. +

                    + +

                    +I think we need the element type to be complete to be able to give an answer. +Alternatively, if the intended result for an array of unknown bound is false +(maybe because there can be no objects of type T[], or because we can't +know that two objects declared as extern T a[]; and extern T b[]; have +the same number of elements?) then the condition for the trait needs to be +special-cased as false for arrays of unknown bound. +The current spec is inconsistent, we can't allow arrays of unknown bound +and apply the current rules to determine the trait's result. +

                    + +

                    [2024-08-02; Reflector poll]

                    + +

                    +Set status to Tentatively Ready after nine votes in favour during reflector poll. +

                    + + + +

                    Proposed resolution:

                    +

                    +This wording is relative to N4981. +

                    + +
                      +

                    1. Modify 21.3.5.4 [meta.unary.prop] as indicated:

                      + +
                      +
                    Issue Duplicates
                    4108(i)SG926.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes4
                    4019(i) SG9 26.7.21 [range.reverse]
                    + + + + + + + + + + + +
                    TemplateConditionPreconditions
                    ………
                    +
                    template<class T>
+struct has_unique_object_representations;
                    +                    		 +For an array type T, the same result as +has_unique_object_representations_v<remove_all_extents_t<T>>, +otherwise see below. + +remove_all_extents_t<T> +T +shall be a complete type, +or cv void, or an array of unknown bound. +
                    + +
                    +

                    +[Drafting note: We could use remove_extent_t<T> +to remove just the first array dimension, because only that first one can +have an unknown bound. +The proposed resolution uses remove_all_extents_t<T> +for consistency with the Condition column.] +

                    +
                    + + + + + + + +

                    4119(i). generator::promise_type::yield_value(ranges::elements_of<R, Alloc>)'s nested generator may be ill-formed

                    Section: 26.8.5 [coro.generator.promise] Status: Tentatively Ready diff --git a/lwg-toc.html b/lwg-toc.html index 82e55d209d..26aee60e53 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-08-02 at 21:15:32 UTC +

                    Revised 2024-08-02 at 21:52:48 UTC

                    @@ -32643,7 +32643,7 @@

                    Table of Contents

                    - + @@ -32715,7 +32715,7 @@

                    Table of Contents

                    - + @@ -32850,7 +32850,7 @@

                    Table of Contents

                    - + @@ -32868,7 +32868,7 @@

                    Table of Contents

                    - + @@ -32919,12 +32919,12 @@

                    Table of Contents

                    - - + + - + @@ -32964,8 +32964,8 @@

                    Table of Contents

                    - - + + @@ -32978,7 +32978,7 @@

                    Table of Contents

                    - + @@ -33036,7 +33036,7 @@

                    Table of Contents

                    - + @@ -33045,7 +33045,7 @@

                    Table of Contents

                    - + @@ -33063,7 +33063,7 @@

                    Table of Contents

                    - + @@ -33099,7 +33099,7 @@

                    Table of Contents

                    - +
                    Issue 27.12.2 [alg.rand.generate] Unclear preconditions of std::ranges::generate_random No2
                    27.12.2 [alg.rand.generate] ranges::generate_random's helper lambda should specify the return type Yes2
                    16.4.6.4 [global.functions] Default arguments and signatures of standard library non-member functions Yes3
                    23.3.3.2 [string.view.cons] string_view(Iter, Iter) constructor breaks existing code No2
                    4108(i)New4108(i)SG9 26.7.16.2 [range.lazy.split.view] lazy_split_view should be sized_range when pattern is empty tiny-range Yes4
                    4113(i)New4113(i)Tentatively Ready 21.3.5.4 [meta.unary.prop] Disallow has_unique_object_representations<Incomplete[]> Yes 26.7.23.3 [range.elements.iterator] elements_view::iterator::operator* missing conditional noexcept specification Yes3
                    move_iterator should provide iterator_category only when it models forward_iterator Yes3
                    26.5.7.1 [range.utility.conv.general] ranges::to constructs associative containers via c.emplace(c.end(), *it) Yes2
                    24.3.9.4 [deque.modifiers] Container effects use "the assignment operator or move assignment operator" No3
                    22.10.18.3 [func.search.bm] The Standard Library should not use predicates of the form pred(*i) != false Yes3
                    diff --git a/lwg-unresolved.html b/lwg-unresolved.html index 05d2941cbe..f78279b0f6 100644 --- a/lwg-unresolved.html +++ b/lwg-unresolved.html @@ -54,7 +54,7 @@ -

                    Revised 2024-08-02 at 21:15:32 UTC +

                    Revised 2024-08-02 at 21:52:48 UTC

                    Unresolved Issues

                    423(i). Effects of negative streamsize in iostreams

                    @@ -52858,6 +52858,7 @@

                    4019issues in [range.reverse].

                    +

                    View all issues with SG9 status.

                    Discussion:

                    Consider the following: @@ -56528,8 +56529,8 @@

                    40754077(i). Unclear preconditions of std::ranges::generate_random

                    Section: 27.12.2 [alg.rand.generate] Status: New - Submitter: Jiang An Opened: 2024-04-21 Last modified: 2024-04-21

                    -

                    Priority: Not Prioritized + Submitter: Jiang An Opened: 2024-04-21 Last modified: 2024-08-02

                    +

                    Priority: 2

                    View other active issues in [alg.rand.generate].

                    View all other issues in [alg.rand.generate].

                    @@ -56543,6 +56544,14 @@

                    4077Proposed resolution:

                    @@ -56878,8 +56887,8 @@

                    40844085(i). ranges::generate_random's helper lambda should specify the return type

                    Section: 27.12.2 [alg.rand.generate] Status: New - Submitter: Hewill Kang Opened: 2024-04-28 Last modified: 2024-05-12

                    -

                    Priority: Not Prioritized + Submitter: Hewill Kang Opened: 2024-04-28 Last modified: 2024-08-02

                    +

                    Priority: 2

                    View other active issues in [alg.rand.generate].

                    View all other issues in [alg.rand.generate].

                    @@ -56934,6 +56943,13 @@

                    4085Proposed resolution:

                    @@ -58159,8 +58175,8 @@

                    40994100(i). Default arguments and signatures of standard library non-member functions

                    Section: 16.4.6.4 [global.functions] Status: New - Submitter: Jiang An Opened: 2024-05-11 Last modified: 2024-05-12

                    -

                    Priority: Not Prioritized + Submitter: Jiang An Opened: 2024-05-11 Last modified: 2024-08-02

                    +

                    Priority: 3

                    View all other issues in [global.functions].

                    View all issues with New status.

                    @@ -58172,6 +58188,15 @@

                    4100 + +

                    Proposed resolution:

                    @@ -58355,8 +58380,8 @@

                    41014102(i). string_view(Iter, Iter) constructor breaks existing code

                    Section: 23.3.3.2 [string.view.cons] Status: New - Submitter: Derek Zhang Opened: 2024-05-14 Last modified: 2024-05-20

                    -

                    Priority: Not Prioritized + Submitter: Derek Zhang Opened: 2024-05-14 Last modified: 2024-08-02

                    +

                    Priority: 2

                    View all other issues in [string.view.cons].

                    View all issues with New status.

                    @@ -58430,6 +58455,14 @@

                    4102explicit as part of any resolution for this." +

                    + +

                    Proposed resolution:

                    @@ -58802,13 +58835,13 @@

                    41074108(i). lazy_split_view should be sized_range when pattern is empty tiny-range

                    -

                    Section: 26.7.16.2 [range.lazy.split.view], 26.7.17.2 [range.split.view] Status: New - Submitter: Hewill Kang Opened: 2024-05-23 Last modified: 2024-05-26

                    -

                    Priority: Not Prioritized +

                    Section: 26.7.16.2 [range.lazy.split.view], 26.7.17.2 [range.split.view] Status: SG9 + Submitter: Hewill Kang Opened: 2024-05-23 Last modified: 2024-08-02

                    +

                    Priority: 4

                    View other active issues in [range.lazy.split.view].

                    View all other issues in [range.lazy.split.view].

                    -

                    View all issues with New status.

                    +

                    View all issues with SG9 status.

                    Discussion:

                    When the pattern range is empty, lazy_split_view will split each element into individual subranges, @@ -58819,6 +58852,16 @@

                    4108tiny-range should accept span<T, 0|1> or ref_view<array<T, 0|1>>, +see related paper P1419." +

                    + +

                    Proposed resolution:

                    @@ -59158,100 +59201,11 @@

                    41114113(i). Disallow has_unique_object_representations<Incomplete[]>

                    -

                    Section: 21.3.5.4 [meta.unary.prop] Status: New - Submitter: Jonathan Wakely Opened: 2024-06-25 Last modified: 2024-06-25

                    -

                    Priority: Not Prioritized -

                    -

                    View other active issues in [meta.unary.prop].

                    -

                    View all other issues in [meta.unary.prop].

                    -

                    View all issues with New status.

                    -

                    Discussion:

                    -

                    -The type completeness requirements for has_unique_object_representations say: -

                    -T shall be a complete type, cv void, or an array of unknown bound. -
                    -

                    -

                    -This implies that the trait works for all arrays of unknown bound, -whether the element type is complete or not. That seems to be incorrect, -because has_unique_object_representations_v<Incomplete[]> -is required to have the same result as -has_unique_object_representations_v<Incomplete> -which is ill-formed if Incomplete is an incomplete class type. -

                    - -

                    -I think we need the element type to be complete to be able to give an answer. -Alternatively, if the intended result for an array of unknown bound is false -(maybe because there can be no objects of type T[], or because we can't -know that two objects declared as extern T a[]; and extern T b[]; have -the same number of elements?) then the condition for the trait needs to be -special-cased as false for arrays of unknown bound. -The current spec is inconsistent, we can't allow arrays of unknown bound -and apply the current rules to determine the trait's result. -

                    - - -

                    Proposed resolution:

                    -

                    -This wording is relative to N4981. -

                    - -
                      -

                    1. Modify 21.3.5.4 [meta.unary.prop] as indicated:

                      - -
                      - - - - - - - - - - - - -
                      TemplateConditionPreconditions
                      ………
                      -
                      template<class T>
-struct has_unique_object_representations;
                      -                      		 -For an array type T, the same result as -has_unique_object_representations_v<remove_all_extents_t<T>>, -otherwise see below. - -remove_all_extents_t<T> -T -shall be a complete type, -or cv void, or an array of unknown bound. -
                      -
                      -
                      -

                      -[Drafting note: We could use remove_extent_t<T> -to remove just the first array dimension, because only that first one can -have an unknown bound. -The proposed resolution uses remove_all_extents_t<T> -for consistency with the Condition column.] -

                      -
                      - -
                      2. -
                    - - - - -

                    4114(i). elements_view::iterator::operator* missing conditional noexcept specification

                    Section: 26.7.23.3 [range.elements.iterator] Status: New - Submitter: Hewill Kang Opened: 2024-07-02 Last modified: 2024-07-07

                    -

                    Priority: Not Prioritized + Submitter: Hewill Kang Opened: 2024-07-02 Last modified: 2024-08-02

                    +

                    Priority: 3

                    View other active issues in [range.elements.iterator].

                    View all other issues in [range.elements.iterator].

                    @@ -59287,6 +59241,13 @@

                    4114Proposed resolution:

                    @@ -59662,8 +59623,8 @@

                    41184120(i). move_iterator should provide iterator_category only when it models forward_iterator

                    Section: 25.5.4.2 [move.iterator] Status: New - Submitter: Hewill Kang Opened: 2024-07-12 Last modified: 2024-07-21

                    -

                    Priority: Not Prioritized + Submitter: Hewill Kang Opened: 2024-07-12 Last modified: 2024-08-02

                    +

                    Priority: 3

                    View other active issues in [move.iterator].

                    View all other issues in [move.iterator].

                    @@ -59676,6 +59637,14 @@

                    4120 + +

                    Proposed resolution:

                    @@ -59722,8 +59691,8 @@

                    41204121(i). ranges::to constructs associative containers via c.emplace(c.end(), *it)

                    Section: 26.5.7.1 [range.utility.conv.general] Status: New - Submitter: Hewill Kang Opened: 2024-07-16 Last modified: 2024-07-23

                    -

                    Priority: Not Prioritized + Submitter: Hewill Kang Opened: 2024-07-16 Last modified: 2024-08-02

                    +

                    Priority: 2

                    View all issues with New status.

                    Discussion:

                    @@ -59758,6 +59727,19 @@

                    4121emplace. Tim suggested trying +emplace_hint first, then emplace." +"I tried it, it gets very verbose, because we might also want to try +insert(*it) instead of insert(c.end(), *it) if emplace(*it) is not valid +for associative containers, because c.end() might not be a good hint." +"It might be suboptimal, but it still works." +

                    + +

                    Proposed resolution:

                    @@ -59874,8 +59856,8 @@

                    41224123(i). Container effects use "the assignment operator or move assignment operator"

                    Section: 24.3.9.4 [deque.modifiers], 24.3.12.5 [vector.modifiers], 24.3.14.5 [inplace.vector.modifiers] Status: New - Submitter: Jonathan Wakely Opened: 2024-07-25 Last modified: 2024-07-25

                    -

                    Priority: Not Prioritized + Submitter: Jonathan Wakely Opened: 2024-07-25 Last modified: 2024-08-02

                    +

                    Priority: 3

                    View other active issues in [deque.modifiers].

                    View all other issues in [deque.modifiers].

                    @@ -59911,6 +59893,13 @@

                    4123Proposed resolution:

                    @@ -60091,8 +60080,8 @@

                    41264127(i). The Standard Library should not use predicates of the form pred(*i) != false

                    Section: 22.10.18.3 [func.search.bm], 22.10.18.4 [func.search.bmh], 24.2.7.1 [associative.reqmts.general], 24.3.11.5 [list.ops], 27.6.6 [alg.find], 27.6.9 [alg.find.first.of], 27.6.10 [alg.adjacent.find], 27.6.11 [alg.count], 27.6.12 [alg.mismatch], 27.6.15 [alg.search], 27.8.1 [alg.sorting.general] Status: New - Submitter: Hewill Kang Opened: 2024-07-25 Last modified: 2024-07-29

                    -

                    Priority: Not Prioritized + Submitter: Hewill Kang Opened: 2024-07-25 Last modified: 2024-08-02

                    +

                    Priority: 3

                    View all issues with New status.

                    Discussion:

                    @@ -60120,6 +60109,19 @@

                    4127true' added". +"Would prefer not to have explicit conversions to bool unless +boolean-testable requires that. +The 'Let E be' lists don't need an 'is true' there, +but the use of 'E' should say 'is true'". +[alg.search] and [func.search.bm] have changed editorially in the draft, +the proposed resolution needs updating. +

                    + +

                    Proposed resolution:

                    diff --git a/unresolved-index.html b/unresolved-index.html index 6e4f712bd2..e145f34303 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-08-02 at 21:15:32 UTC +

                    Revised 2024-08-02 at 21:52:48 UTC

                    Section 3 (2 issues)

                    (view only non-Ready open issues)

                    @@ -459,7 +459,7 @@

                    Section 16 (38 issues)

                    - + @@ -1144,7 +1144,7 @@

                    Section 20 (23 issues)

                    16.4.6.4 [global.functions] Default arguments and signatures of standard library non-member functions Yes3
                    -

                    Section 21 (20 issues)

                    +

                    Section 21 (19 issues)

                    (view only non-Ready open issues)

                    @@ -1213,18 +1213,9 @@

                    Section 21 (20 issues)

                    - - - - - - - - - - + @@ -1773,7 +1764,7 @@

                    Section 22 (64 issues)

                    - + @@ -2022,7 +2013,7 @@

                    Section 23 (17 issues)

                    - + @@ -2383,7 +2374,7 @@

                    Section 24 (52 issues)

                    - + @@ -2834,23 +2825,23 @@

                    Section 25 (37 issues)

                    - + - + - + - + - + @@ -2991,7 +2982,7 @@

                    Section 26 (54 issues)

                    - + @@ -3244,18 +3235,9 @@

                    Section 26 (54 issues)

                    - - - - - - - - - - + @@ -3280,6 +3262,15 @@

                    Section 26 (54 issues)

                    + + + + + + + + + @@ -3372,21 +3363,21 @@

                    Section 26 (54 issues)

                    - + - + - + - + - + @@ -3715,21 +3706,21 @@

                    Section 27 (30 issues)

                    - + - - - + + + - + - - - + + +
                    4113(i)New21.3.5.4 [meta.unary.prop]Disallow has_unique_object_representations<Incomplete[]>Yes
                    3967(i) New21.3.5.4 [meta.unary.prop]21.3.5.4 [meta.unary.prop] The specification for std::is_nothrow_* traits may be ambiguous in some cases involving noexcept(false) No 22.10.18.3 [func.search.bm] The Standard Library should not use predicates of the form pred(*i) != false Yes3
                    23.3.3.2 [string.view.cons] string_view(Iter, Iter) constructor breaks existing code No2
                    24.3.9.4 [deque.modifiers] Container effects use "the assignment operator or move assignment operator" No3
                    4125(i)4120(i) New 25.5.4.2 [move.iterator]move_iterator's default constructor should be constrainedmove_iterator should provide iterator_category only when it models +forward_iterator Yes 3
                    4120(i)4125(i) New 25.5.4.2 [move.iterator]move_iterator should provide iterator_category only when it models -forward_iteratormove_iterator's default constructor should be constrained Yes3
                    26.5.7.1 [range.utility.conv.general] ranges::to constructs associative containers via c.emplace(c.end(), *it) Yes2
                    4108(i)New26.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes
                    3855(i) New26.7.16.2 [range.lazy.split.view]26.7.16.2 [range.lazy.split.view] tiny-range is not quite right Yes 4
                    4108(i)SG926.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes4
                    3686(i) New
                    3832(i)4114(i) New 26.7.23.3 [range.elements.iterator]Missing change for element_view::iterator in LWG 3798elements_view::iterator::operator* missing conditional noexcept specification Yes 3
                    4114(i)3832(i) New 26.7.23.3 [range.elements.iterator]elements_view::iterator::operator* missing conditional noexcept specificationMissing change for element_view::iterator in LWG 3798 Yes3
                    4085(i)4077(i) New 27.12.2 [alg.rand.generate]ranges::generate_random's helper lambda should specify the return typeYesUnclear preconditions of std::ranges::generate_randomNo2
                    4077(i)4085(i) New 27.12.2 [alg.rand.generate]Unclear preconditions of std::ranges::generate_randomNoranges::generate_random's helper lambda should specify the return typeYes2
                    diff --git a/unresolved-prioritized.html b/unresolved-prioritized.html index 7aee4b5b62..327e21e1bc 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-08-02 at 21:15:32 UTC +

                    Revised 2024-08-02 at 21:52:48 UTC

                    Priority 1 (2 issues)

                    @@ -91,7 +91,7 @@

                    Table of Contents

                    -

                    Priority 2 (46 issues)

                    +

                    Priority 2 (50 issues)

                    @@ -265,19 +265,19 @@

                    Priority 2 (46 issues)

                    - + - + - + - + @@ -292,6 +292,15 @@

                    Priority 2 (46 issues)

                    + + + + + + + + + @@ -319,19 +328,19 @@

                    Priority 2 (46 issues)

                    - + - + - + - + @@ -373,6 +382,15 @@

                    Priority 2 (46 issues)

                    + + + + + + + + + @@ -420,6 +438,24 @@

                    Priority 2 (46 issues)

                    + + + + + + + + + + + + + + + + + + @@ -519,7 +555,7 @@

                    Priority 2 (46 issues)

                    Issue
                    3586(i)3644(i) New 22.14.2.2 [format.string.std]Formatting character alignment inconsistenciesstd::format does not define "integer presentation type" Yes 2
                    3644(i)3586(i) New 22.14.2.2 [format.string.std]std::format does not define "integer presentation type"Formatting character alignment inconsistencies Yes 2
                    4102(i)New23.3.3.2 [string.view.cons]string_view(Iter, Iter) constructor breaks existing codeNo2
                    2307(i) LEWG 24 [containers]
                    3804(i)3802(i) New 24.6.9 [flat.map]flat_foo missing some allocator-extended deduction guidesflat_foo allocator-extended constructors lack move semantics No 2
                    3802(i)3804(i) New 24.6.9 [flat.map]flat_foo allocator-extended constructors lack move semanticsflat_foo missing some allocator-extended deduction guides No 2
                    4121(i)New26.5.7.1 [range.utility.conv.general]ranges::to constructs associative containers via c.emplace(c.end(), *it)Yes2
                    3666(i) New 26.7.14 [range.join]
                    4077(i)New27.12.2 [alg.rand.generate]Unclear preconditions of std::ranges::generate_randomNo2
                    4085(i)New27.12.2 [alg.rand.generate]ranges::generate_random's helper lambda should specify the return typeYes2
                    4014(i) New 28.5.4.4 [rand.eng.sub]
                    -

                    Priority 3 (365 issues)

                    +

                    Priority 3 (370 issues)

                    @@ -686,19 +722,19 @@

                    Priority 3 (365 issues)

                    - + - + - + - + @@ -713,20 +749,20 @@

                    Priority 3 (365 issues)

                    - + - - + + - + - - + + @@ -785,6 +821,15 @@

                    Priority 3 (365 issues)

                    + + + + + + + + + @@ -803,20 +848,20 @@

                    Priority 3 (365 issues)

                    - + - - + + - + - - + + @@ -877,15 +922,6 @@

                    Priority 3 (365 issues)

                    - - - - - - - - - @@ -895,10 +931,10 @@

                    Priority 3 (365 issues)

                    - + - - + + @@ -913,6 +949,15 @@

                    Priority 3 (365 issues)

                    + + + + + + + + + @@ -996,19 +1041,19 @@

                    Priority 3 (365 issues)

                    - + - + - + - + @@ -1068,19 +1113,19 @@

                    Priority 3 (365 issues)

                    - + - + - + - + @@ -1232,21 +1277,21 @@

                    Priority 3 (365 issues)

                    - + - + - + - + @@ -1279,20 +1324,20 @@

                    Priority 3 (365 issues)

                    - - + + - - + + - - + + - - + + @@ -1308,29 +1353,29 @@

                    Priority 3 (365 issues)

                    - + - + - + - - + + - + - - + + @@ -1409,19 +1454,19 @@

                    Priority 3 (365 issues)

                    - - + + - + - - + + - + @@ -1454,19 +1499,19 @@

                    Priority 3 (365 issues)

                    - + - + - + - + @@ -1634,20 +1679,20 @@

                    Priority 3 (365 issues)

                    - + - - + + - + - - + + @@ -1670,6 +1715,15 @@

                    Priority 3 (365 issues)

                    + + + + + + + + + @@ -1861,28 +1915,28 @@

                    Priority 3 (365 issues)

                    - + - + - + - + - - + + - + @@ -1897,10 +1951,10 @@

                    Priority 3 (365 issues)

                    - - + + - + @@ -1915,75 +1969,75 @@

                    Priority 3 (365 issues)

                    - - + + - + - - + + - + - - + + - + - + - + - - + + - + - + - - + + - + - - + + - + - + @@ -2061,19 +2115,19 @@

                    Priority 3 (365 issues)

                    - + - - + + - - - - + + + + @@ -2099,11 +2153,11 @@

                    Priority 3 (365 issues)

                    - + - - - + + + @@ -2117,6 +2171,15 @@

                    Priority 3 (365 issues)

                    + + + + + + + + + @@ -2207,19 +2270,19 @@

                    Priority 3 (365 issues)

                    - + - + - + - + @@ -2279,37 +2342,37 @@

                    Priority 3 (365 issues)

                    - - + + - - + + - + - - + + - - + + - + - + - + @@ -2351,6 +2414,15 @@

                    Priority 3 (365 issues)

                    + + + + + + + + + @@ -2360,11 +2432,13 @@

                    Priority 3 (365 issues)

                    - + - - - + + + @@ -2378,19 +2452,19 @@

                    Priority 3 (365 issues)

                    - + - + - + - + @@ -2405,19 +2479,19 @@

                    Priority 3 (365 issues)

                    - + - + - + - + @@ -2463,19 +2537,19 @@

                    Priority 3 (365 issues)

                    - + - + - + - + @@ -2658,19 +2732,19 @@

                    Priority 3 (365 issues)

                    - + - + - + - + @@ -2712,6 +2786,15 @@

                    Priority 3 (365 issues)

                    + + + + + + + + + @@ -2775,19 +2858,19 @@

                    Priority 3 (365 issues)

                    - + - + - + - + @@ -3038,19 +3121,19 @@

                    Priority 3 (365 issues)

                    - - + + - + - + - + @@ -3067,56 +3150,56 @@

                    Priority 3 (365 issues)

                    - + - + - - + + - + - + - + - + - - + + - + - + - + - - + + @@ -3166,20 +3249,20 @@

                    Priority 3 (365 issues)

                    - - + + - - + + - - + + - - + + @@ -3328,19 +3411,19 @@

                    Priority 3 (365 issues)

                    - + - + - + - + @@ -3427,19 +3510,19 @@

                    Priority 3 (365 issues)

                    - + - + - + - + @@ -3820,19 +3903,19 @@

                    Priority 3 (365 issues)

                    - + - + - + - + @@ -3858,7 +3941,7 @@

                    Priority 3 (365 issues)

                    Issue
                    3157(i)3044(i) New 16.4.4.6 [allocator.requirements]Allocator destroy and fancy pointer operations must be non-throwingStrange specification of max_size() for an allocator Yes 3
                    3044(i)3157(i) New 16.4.4.6 [allocator.requirements]Strange specification of max_size() for an allocatorAllocator destroy and fancy pointer operations must be non-throwing Yes 3
                    4065(i)3682(i) New 16.4.4.6.1 [allocator.requirements.general]Requirements for fancy pointers might be insufficient for self-referential implementation of containersYesA Cpp17Allocator type can't silently ignore an unsupported alignmentNo 3
                    3682(i)4065(i) New 16.4.4.6.1 [allocator.requirements.general]A Cpp17Allocator type can't silently ignore an unsupported alignmentNoRequirements for fancy pointers might be insufficient for self-referential implementation of containersYes 3
                    4100(i)New16.4.6.4 [global.functions]Default arguments and signatures of standard library non-member functionsYes3
                    2695(i) New 16.4.6.5 [member.functions]
                    3854(i)3229(i) New 16.4.6.13 [res.on.exception.handling]§[res.on.exception.handling]/3 should not be applied to all standard library typesNo§[res.on.exception.handling]#3 cannot apply to types with implicitly declared destructorsYes 3
                    3229(i)3854(i) New 16.4.6.13 [res.on.exception.handling]§[res.on.exception.handling]#3 cannot apply to types with implicitly declared destructorsYes§[res.on.exception.handling]/3 should not be applied to all standard library typesNo 3
                    3084(i)New17.5 [support.start.term]Termination in C++ is unclearNo3
                    2815(i) New 17.5 [support.start.term]
                    2737(i)3084(i) New17.6.3.2 [new.delete.single]Consider relaxing object size restrictions for single-object allocation functions17.5 [support.start.term]Termination in C++ is unclear No 3
                    2737(i)New17.6.3.2 [new.delete.single]Consider relaxing object size restrictions for single-object allocation functionsNo3
                    2303(i) New 17.6.3.4 [new.delete.placement]
                    3491(i)3932(i) New 17.11.6 [cmp.alg]What is a "decayed type"?Expression-equivalence is sometimes unimplementable when passing prvalue expressions to comparison CPOs No 3
                    3932(i)3491(i) New 17.11.6 [cmp.alg]Expression-equivalence is sometimes unimplementable when passing prvalue expressions to comparison CPOsWhat is a "decayed type"? No 3
                    3608(i)3459(i) New 18.4.4 [concept.convertible]convertible_to and temporary-bound referencesWhy doesn't std::convertible_to have semantic requirement when To is reference-to-function type? No 3
                    3459(i)3608(i) New 18.4.4 [concept.convertible]Why doesn't std::convertible_to have semantic requirement when To is reference-to-function type?convertible_to and temporary-bound references No 3
                    3216(i)3210(i) New 20.3.2.2.7 [util.smartptr.shared.create]Rebinding the allocator before calling construct/destroy in allocate_sharedallocate_shared is inconsistent about removing const from the pointer +passed to allocator construct and destroy Yes 3
                    3210(i)3216(i) New 20.3.2.2.7 [util.smartptr.shared.create]allocate_shared is inconsistent about removing const from the pointer -passed to allocator construct and destroyRebinding the allocator before calling construct/destroy in allocate_shared Yes 3
                    2452(i)Core2290(i)Open 21 [meta]is_constructible, etc. and default argumentsNoTop-level "SFINAE"-based constraints should get a separate definition in Clause 17Yes 3
                    2290(i)Open2452(i)Core 21 [meta]Top-level "SFINAE"-based constraints should get a separate definition in Clause 17Yesis_constructible, etc. and default argumentsNo 3
                    3929(i)3697(i) New 21.3.5.4 [meta.unary.prop]Preconditions for type traits should be MandatesPreconditions of reference_constructs_from_temporary/reference_converts_from_temporary seem wrong Yes 3
                    2827(i)3929(i) New 21.3.5.4 [meta.unary.prop]is_trivially_constructible and non-trivial destructorsNoPreconditions for type traits should be MandatesYes 3
                    3697(i)2827(i) New 21.3.5.4 [meta.unary.prop]Preconditions of reference_constructs_from_temporary/reference_converts_from_temporary seem wrongYesis_trivially_constructible and non-trivial destructorsNo 3
                    2289(i)Open3342(i)New 22.3.2 [pairs.pair]constexpr guarantees of defaulted functions still insufficientLibrary wording uses "initializes x with y", which is underspecified No 3
                    3342(i)New2289(i)Open 22.3.2 [pairs.pair]Library wording uses "initializes x with y", which is underspecifiedconstexpr guarantees of defaulted functions still insufficient No 3
                    3583(i)2528(i) New 22.4.4.2 [tuple.cnstr]Clarify if/when short circuiting applies to conditions in Constraints: elementsOrder of std::tuple construction unspecified No 3
                    2528(i)3583(i) New 22.4.4.2 [tuple.cnstr]Order of std::tuple construction unspecifiedClarify if/when short circuiting applies to conditions in Constraints: elements No 3
                    2491(i)2547(i) New 22.10.8 [comparisons]std::less<T*> in constant expressionYesContainer requirements (and other library text) should say "strict total order", not just "total order"No 3
                    2547(i)2491(i) New 22.10.8 [comparisons]Container requirements (and other library text) should say "strict total order", not just "total order"Nostd::less<T*> in constant expressionYes 3
                    4127(i)New22.10.18.3 [func.search.bm]The Standard Library should not use predicates of the form pred(*i) != falseYes3
                    3512(i) New 22.10.19 [unord.hash]
                    2321(i)1521(i) Open 24.2.2 [container.requirements.general]Moving containers should (usually) be required to preserve iteratorsRequirements on internal pointer representations in containers Yes 3
                    1521(i)2321(i) Open 24.2.2 [container.requirements.general]Requirements on internal pointer representations in containersMoving containers should (usually) be required to preserve iterators Yes 3
                    3297(i)New2206(i)Open 24.2.4 [sequence.reqmts]Useless sequence container requirementInaccuracy in initializer_list constructor requirements Yes 3
                    2206(i)Open3297(i)New 24.2.4 [sequence.reqmts]Inaccuracy in initializer_list constructor requirementsUseless sequence container requirement Yes 3
                    2362(i)New2844(i)Open 24.2.7 [associative.reqmts]unique, associative emplace() should not move/copy the mapped_type constructor -arguments when no insertion happensStability of a_uniq.insert(i, j) No 3
                    2215(i)Open3227(i)New 24.2.7 [associative.reqmts](unordered) associative container functors should be CopyConstructibleAmbiguity issue for extract in ordered and unordered associative containers Yes 3
                    2227(i)Open2362(i)New 24.2.7 [associative.reqmts]Stateful comparison objects in associative containersunique, associative emplace() should not move/copy the mapped_type constructor +arguments when no insertion happens No 3
                    2844(i)2227(i) Open 24.2.7 [associative.reqmts]Stability of a_uniq.insert(i, j)Stateful comparison objects in associative containers No 3
                    3227(i)New2215(i)Open 24.2.7 [associative.reqmts]Ambiguity issue for extract in ordered and unordered associative containers(unordered) associative container functors should be CopyConstructible Yes 3
                    3691(i)3577(i) New 24.2.7.1 [associative.reqmts.general]Replacement of keys in associative containersYesMerging an (unordered) associative container with itselfNo 3
                    3578(i)3691(i) New 24.2.7.1 [associative.reqmts.general]Iterator SCARYness in the context of associative container mergingNoReplacement of keys in associative containersYes 3
                    3577(i)3578(i) New 24.2.7.1 [associative.reqmts.general]Merging an (unordered) associative container with itselfIterator SCARYness in the context of associative container merging No 3
                    3308(i)4123(i) New 24.3.9.4 [deque.modifiers]vector and deque iterator erase invalidates elements even when no change occursYesContainer effects use "the assignment operator or move assignment operator"No 3
                    1102(i)Open24.3.12.3 [vector.capacity]std::vector's reallocation policy still unclear3308(i)New24.3.9.4 [deque.modifiers]vector and deque iterator erase invalidates elements even when no change occurs Yes 3
                    1422(i)1102(i) Open24.3.13 [vector.bool]vector<bool> iterators are not random accessNo24.3.12.3 [vector.capacity]std::vector's reallocation policy still unclearYes 3
                    1422(i)Open24.3.13 [vector.bool]vector<bool> iterators are not random accessNo3
                    3531(i) New 24.4.4.1 [map.overview]
                    3838(i)3615(i) New 25.3.2.1 [incrementable.traits]The last specialization of incrementable_traits is under-constrainedThe last specialization of incrementable_traits has wrong operand types Yes 3
                    3615(i)3838(i) New 25.3.2.1 [incrementable.traits]The last specialization of incrementable_traits has wrong operand typesThe last specialization of incrementable_traits is under-constrained Yes 3
                    2931(i)Open3197(i)New 25.4.3 [iterator.operations]Missed optimization opportunity with single-argument std::nextNostd::prev should not require BidirectionalIteratorYes 3
                    3344(i)3439(i) New 25.4.3 [iterator.operations]advance(i, most-negative) and prev(i, most-negative)Yes"Distance" template parameter is underspecifiedNo 3
                    3439(i)New2931(i)Open 25.4.3 [iterator.operations]"Distance" template parameter is underspecifiedMissed optimization opportunity with single-argument std::next No 3
                    3197(i)3344(i) New 25.4.3 [iterator.operations]std::prev should not require BidirectionalIteratoradvance(i, most-negative) and prev(i, most-negative) Yes 3
                    3986(i)New25.5.3 [const.iterators]basic_const_iterator doesn't work with optionalNo3
                    3988(i) Open 25.5.3 [const.iterators]
                    3986(i)4120(i) New25.5.3 [const.iterators]basic_const_iterator doesn't work with optionalNo25.5.4.2 [move.iterator]move_iterator should provide iterator_category only when it models +forward_iteratorYes 3
                    3783(i)4092(i) New 25.5.5.1 [common.iterator]views::common may not be a range adaptor objectThe monotonic version of common_iterator::operator== is underconstrained Yes 3
                    4092(i)3783(i) New 25.5.5.1 [common.iterator]The monotonic version of common_iterator::operator== is underconstrainedviews::common may not be a range adaptor object Yes 3
                    2366(i)3188(i) New 25.6.4 [istreambuf.iterator]istreambuf_iterator end-of-stream equalityistreambuf_iterator::pointer should not be unspecified Yes 3
                    3188(i)2366(i) New 25.6.4 [istreambuf.iterator]istreambuf_iterator::pointer should not be unspecifiedistreambuf_iterator end-of-stream equality Yes 3
                    3985(i)4018(i) New 26.5.7.2 [range.utility.conv.to]ranges::to should Mandates C not to be viewranges::to's copy branch is underconstrained Yes 3
                    4018(i)3985(i) New 26.5.7.2 [range.utility.conv.to]ranges::to's copy branch is underconstrainedranges::to should Mandates C not to be view Yes 3
                    4089(i)4081(i) New 26.7.18.3 [range.concat.iterator]concat_view::iterator's iter_swap is overconstrainedconcat_view::iterator::operator- is overconstrained Yes 3
                    4081(i)4089(i) New 26.7.18.3 [range.concat.iterator]concat_view::iterator::operator- is overconstrainedconcat_view::iterator's iter_swap is overconstrained Yes 3
                    4114(i)New26.7.23.3 [range.elements.iterator]elements_view::iterator::operator* missing conditional noexcept specificationYes3
                    3731(i) New 26.7.25.2 [range.zip.view]
                    4093(i)3969(i) New 27.6.18 [alg.fold]ranges::fold_left_first_with_iter incorrectly constructs optional<U>std::ranges::fold_left_first_with_iter should be more ADL-proof Yes 3
                    3969(i)4093(i) New 27.6.18 [alg.fold]std::ranges::fold_left_first_with_iter should be more ADL-proofranges::fold_left_first_with_iter incorrectly constructs optional<U> Yes 3
                    4118(i)New3844(i)Open 29.12 [time.format]How should duration formatters format custom rep types?Non-numeric formats for negative durations Yes 3
                    3856(i)3831(i) New 29.12 [time.format]Unclear which conversion specifiers are valid for each chrono typeTwo-digit formatting of negative year is ambiguous Yes 3
                    3831(i)3856(i) New 29.12 [time.format]Two-digit formatting of negative year is ambiguousUnclear which conversion specifiers are valid for each chrono type Yes 3
                    3844(i)Open4118(i)New 29.12 [time.format]Non-numeric formats for negative durationsHow should duration formatters format custom rep types? Yes 3
                    3961(i)3962(i) New 29.13 [time.parse]Does chrono::parse check format strings?What is the "decimal precision of the input"? Yes 3
                    3956(i)3960(i) New 29.13 [time.parse]chrono::parse uses from_stream as a customization pointNoHow does chrono::parse handle duplicated data?Yes 3
                    3962(i)3961(i) New 29.13 [time.parse]What is the "decimal precision of the input"?Does chrono::parse check format strings? Yes 3
                    3960(i)3956(i) New 29.13 [time.parse]How does chrono::parse handle duplicated data?Yeschrono::parse uses from_stream as a customization pointNo 3
                    4084(i)LEWG2117(i)Open 30.4.3.3.3 [facet.num.put.virtuals]std::fixed ignores std::uppercaseYesios_base manipulators should have showgrouping/noshowgroupingNo 3
                    2117(i)Open4084(i)LEWG 30.4.3.3.3 [facet.num.put.virtuals]ios_base manipulators should have showgrouping/noshowgroupingNostd::fixed ignores std::uppercaseYes 3
                    3496(i)3497(i) New 31.11.2.4 [syncstream.syncbuf.members]What does "uniquely associated" mean for basic_syncbuf::emit()?Postconditions for basic_syncbuf::emit() No 3
                    3497(i)3496(i) New 31.11.2.4 [syncstream.syncbuf.members]Postconditions for basic_syncbuf::emit()What does "uniquely associated" mean for basic_syncbuf::emit()? No 3
                    3606(i)2431(i) New 32.2 [re.req]Missing regex_traits::locale_type requirementsMissing regular expression traits requirements No 3
                    2431(i)3606(i) New 32.2 [re.req]Missing regular expression traits requirementsMissing regex_traits::locale_type requirements No 3
                    3072(i)3027(i) New 16.2.4 [networking.ts::buffer.reqmts.dynamicbuffer][networking.ts] DynamicBuffer object lifetimes underspecified[networking.ts] DynamicBuffer prepare exception specification Yes 3
                    3027(i)3072(i) New 16.2.4 [networking.ts::buffer.reqmts.dynamicbuffer][networking.ts] DynamicBuffer prepare exception specification[networking.ts] DynamicBuffer object lifetimes underspecified Yes 3
                    -

                    Priority 4 (71 issues)

                    +

                    Priority 4 (72 issues)

                    @@ -4176,6 +4259,15 @@

                    Priority 4 (71 issues)

                    + + + + + + + + + @@ -4412,6 +4504,15 @@

                    Priority 4 (71 issues)

                    + + + + + + + + + @@ -4430,15 +4531,6 @@

                    Priority 4 (71 issues)

                    - - - - - - - - - @@ -4457,46 +4549,37 @@

                    Priority 4 (71 issues)

                    - - - - - - - - - - + - - + + - + - - + + - + - + - + - - + + @@ -4510,8 +4593,17 @@

                    Priority 4 (71 issues)

                    + + + + + + + + +
                    Issue
                    4108(i)SG926.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes4
                    4073(i) New 26.7.18.2 [range.concat.view]
                    3268(i)New33.5.4 [atomics.order]memory_order::memory_order_foo broken in C++20Yes4
                    2265(i) Open 33.5.4 [atomics.order]
                    3268(i)New33.5.4 [atomics.order]memory_order::memory_order_foo broken in C++20Yes4
                    2095(i) LEWG 33.10.6 [futures.promise]
                    2478(i)New99 [depr.conversions.string]Unclear how wstring_convert uses cvtstateNo4
                    2480(i)3109(i) New99 [depr.conversions.buffer]Error handling of wbuffer_convert unclear99 [depr.strstreambuf]strstreambuf is copyable No 4
                    2479(i)2481(i) New99 [depr.conversions.buffer]Unclear how wbuffer_convert uses cvtstate99 [depr.conversions.string]wstring_convert should be more precise regarding "byte-error string" etc. No 4
                    2481(i)2478(i) New 99 [depr.conversions.string]wstring_convert should be more precise regarding "byte-error string" etc.Unclear how wstring_convert uses cvtstate No 4
                    3109(i)2480(i) New99 [depr.strstreambuf]strstreambuf is copyable99 [depr.conversions.buffer]Error handling of wbuffer_convert unclear No 4 4
                    2479(i)New99 [depr.conversions.buffer]Unclear how wbuffer_convert uses cvtstateNo4
                    -

                    Not Prioritized (55 issues)

                    +

                    Not Prioritized (44 issues)

                    @@ -4550,15 +4642,6 @@

                    Not Prioritized (55 issues)

                    - - - - - - - - - @@ -4604,15 +4687,6 @@

                    Not Prioritized (55 issues)

                    - - - - - - - - - @@ -4622,11 +4696,11 @@

                    Not Prioritized (55 issues)

                    - - + + - - + + @@ -4658,15 +4732,6 @@

                    Not Prioritized (55 issues)

                    - - - - - - - - - @@ -4696,30 +4761,21 @@

                    Not Prioritized (55 issues)

                    - - - - - - - - - - + - + - + - + @@ -4734,15 +4790,6 @@

                    Not Prioritized (55 issues)

                    - - - - - - - - - @@ -4770,17 +4817,6 @@

                    Not Prioritized (55 issues)

                    - - - - - - - - - @@ -4790,15 +4826,6 @@

                    Not Prioritized (55 issues)

                    - - - - - - - - - @@ -4826,24 +4853,6 @@

                    Not Prioritized (55 issues)

                    - - - - - - - - - - - - - - - - - - @@ -4882,24 +4891,6 @@

                    Not Prioritized (55 issues)

                    - - - - - - - - - - - - - - - - - - @@ -4983,13 +4974,13 @@

                    Not Prioritized (55 issues)

                    - + - + - + @@ -5001,13 +4992,13 @@

                    Not Prioritized (55 issues)

                    - + - + - + diff --git a/unresolved-status-date.html b/unresolved-status-date.html index ddaaed03f8..ee3e37454f 100644 --- a/unresolved-status-date.html +++ b/unresolved-status-date.html @@ -67,8 +67,8 @@

                    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-08-02 at 21:15:32 UTC -

                    New (420 issues)

                    +

                    Revised 2024-08-02 at 21:52:48 UTC +

                    New (418 issues)

                    Issue
                    4100(i)New16.4.6.4 [global.functions]Default arguments and signatures of standard library non-member functionsYes
                    4051(i) New 17.11.2 [cmp.categories]
                    3486(i)LEWG21.3.5.4 [meta.unary.prop]is_constructible<T[], T...> may be misleading in C++20No
                    3967(i) New 21.3.5.4 [meta.unary.prop]
                    4113(i)New3486(i)LEWG 21.3.5.4 [meta.unary.prop]Disallow has_unique_object_representations<Incomplete[]>Yesis_constructible<T[], T...> may be misleading in C++20No
                    4127(i)New22.10.18.3 [func.search.bm]The Standard Library should not use predicates of the form pred(*i) != falseYes
                    4078(i) New 22.14.5 [format.functions]
                    4102(i)New23.3.3.2 [string.view.cons]string_view(Iter, Iter) constructor breaks existing codeNo
                    2884(i)2885(i) LEWG 24 [containers]Relational operators for containers should sfinae; if the underlying type is not comparable, neither should the container beThe relational operators of optional and variant completely reflect the semantics of the element +types — this is inconsistent with other types in the library No
                    2885(i)2884(i) LEWG 24 [containers]The relational operators of optional and variant completely reflect the semantics of the element -types — this is inconsistent with other types in the libraryRelational operators for containers should sfinae; if the underlying type is not comparable, neither should the container be No
                    4123(i)New24.3.9.4 [deque.modifiers]Container effects use "the assignment operator or move assignment operator"No
                    3959(i) New 24.6.9 [flat.map]
                    4120(i)New25.5.4.2 [move.iterator]move_iterator should provide iterator_category only when it models -forward_iteratorYes
                    4062(i) New 26.3.12 [range.prim.empty]
                    4121(i)New26.5.7.1 [range.utility.conv.general]ranges::to constructs associative containers via c.emplace(c.end(), *it)Yes
                    4066(i) New 26.5.7.2 [range.utility.conv.to]
                    4108(i)New26.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes
                    4114(i)New26.7.23.3 [range.elements.iterator]elements_view::iterator::operator* missing conditional noexcept specificationYes
                    4116(i) New
                    4077(i)New27.12.2 [alg.rand.generate]Unclear preconditions of std::ranges::generate_randomNo
                    4085(i)New27.12.2 [alg.rand.generate]ranges::generate_random's helper lambda should specify the return typeYes
                    4109(i) New 28.5.3.1 [rand.req.genl]
                    936(i)1493(i) LEWG 33.6.4 [thread.mutex.requirements]Mutex type overspecifiedAdd mutex, recursive_mutex, is_locked function No 961
                    961(i) 936
                    1493(i)936(i) LEWG 33.6.4 [thread.mutex.requirements]Add mutex, recursive_mutex, is_locked functionMutex type overspecified No 961
                    2533(i)
                    @@ -80,6 +80,15 @@

                    Index by Status and Date

                    + + + + + + + + + @@ -89,6 +98,33 @@

                    Index by Status and Date

                    + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -98,6 +134,17 @@

                    Index by Status and Date

                    + + + + + + + + + @@ -116,6 +163,15 @@

                    Index by Status and Date

                    + + + + + + + + + @@ -125,6 +181,15 @@

                    Index by Status and Date

                    + + + + + + + + + @@ -134,6 +199,24 @@

                    Index by Status and Date

                    + + + + + + + + + + + + + + + + + + @@ -152,15 +235,6 @@

                    Index by Status and Date

                    - - - - - - - - - @@ -179,15 +253,6 @@

                    Index by Status and Date

                    - - - - - - - - - @@ -197,26 +262,6 @@

                    Index by Status and Date

                    - - - - - - - - - - - - - - - - - - @@ -235,15 +280,6 @@

                    Index by Status and Date

                    - - - - - - - - - @@ -255,15 +291,6 @@

                    Index by Status and Date

                    - - - - - - - - - @@ -446,15 +473,6 @@

                    Index by Status and Date

                    - - - - - - - - - @@ -473,15 +491,6 @@

                    Index by Status and Date

                    - - - - - - - - - @@ -500,24 +509,6 @@

                    Index by Status and Date

                    - - - - - - - - - - - - - - - - - - @@ -554,15 +545,6 @@

                    Index by Status and Date

                    - - - - - - - - - @@ -4990,7 +4972,7 @@

                    SG1 (7 issues)

                    Issue Duplicates
                    4100(i)New16.4.6.4 [global.functions]Default arguments and signatures of standard library non-member functionsYes3
                    4126(i) New 17.3.2 [version.syn]
                    4127(i)New22.10.18.3 [func.search.bm]The Standard Library should not use predicates of the form pred(*i) != falseYes3
                    4102(i)New23.3.3.2 [string.view.cons]string_view(Iter, Iter) constructor breaks existing codeNo2
                    4123(i)New24.3.9.4 [deque.modifiers]Container effects use "the assignment operator or move assignment operator"No3
                    4122(i) New 24.3.14.1 [inplace.vector.overview]
                    4120(i)New25.5.4.2 [move.iterator]move_iterator should provide iterator_category only when it models +forward_iteratorYes3
                    4125(i) New 25.5.4.2 [move.iterator]
                    4121(i)New26.5.7.1 [range.utility.conv.general]ranges::to constructs associative containers via c.emplace(c.end(), *it)Yes2
                    4081(i) New 26.7.18.3 [range.concat.iterator]
                    4114(i)New26.7.23.3 [range.elements.iterator]elements_view::iterator::operator* missing conditional noexcept specificationYes3
                    4117(i) New 26.8.6 [coro.generator.iterator]
                    4077(i)New27.12.2 [alg.rand.generate]Unclear preconditions of std::ranges::generate_randomNo2
                    4085(i)New27.12.2 [alg.rand.generate]ranges::generate_random's helper lambda should specify the return typeYes2
                    3922(i) New 17.3.5.1 [numeric.limits.general]
                    4127(i)New22.10.18.3 [func.search.bm]The Standard Library should not use predicates of the form pred(*i) != falseYes
                    3931(i) New 17.3.2 [version.syn]
                    4123(i)New24.3.9.4 [deque.modifiers]Container effects use "the assignment operator or move assignment operator"No
                    3688(i) New 22.8.4 [expected.bad]
                    4121(i)New26.5.7.1 [range.utility.conv.general]ranges::to constructs associative containers via c.emplace(c.end(), *it)Yes
                    4120(i)New25.5.4.2 [move.iterator]move_iterator should provide iterator_category only when it models -forward_iteratorYes
                    4092(i) New 25.5.5.1 [common.iterator]
                    4114(i)New26.7.23.3 [range.elements.iterator]elements_view::iterator::operator* missing conditional noexcept specificationYes
                    4116(i) New
                    4113(i)New21.3.5.4 [meta.unary.prop]Disallow has_unique_object_representations<Incomplete[]>Yes
                    4005(i) New 3.47 [defns.required.behavior]
                    4108(i)New26.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes
                    4109(i) New 28.5.3.1 [rand.req.genl]
                    4102(i)New23.3.3.2 [string.view.cons]string_view(Iter, Iter) constructor breaks existing codeNo
                    4107(i) New 22.14.7.4 [format.range.fmtmap]
                    4100(i)New16.4.6.4 [global.functions]Default arguments and signatures of standard library non-member functionsYes
                    4085(i)New27.12.2 [alg.rand.generate]ranges::generate_random's helper lambda should specify the return typeYes
                    4063(i) New 23.2.4.2 [char.traits.specializations.char]
                    4077(i)New27.12.2 [alg.rand.generate]Unclear preconditions of std::ranges::generate_randomNo
                    4068(i) New 16.4.5.11 [res.on.requirements]
                    -

                    SG9 (1 issues)

                    +

                    SG9 (2 issues)

                    @@ -5002,6 +4984,15 @@

                    SG9 (1 issues)

                    + + + + + + + + + diff --git a/unresolved-status.html b/unresolved-status.html index 3bbe6b1946..ba9d549969 100644 --- a/unresolved-status.html +++ b/unresolved-status.html @@ -62,8 +62,8 @@

                    Index by Status and Section

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

                    -

                    Revised 2024-08-02 at 21:15:32 UTC -

                    New (420 issues)

                    +

                    Revised 2024-08-02 at 21:52:48 UTC +

                    New (418 issues)

                    Issue Duplicates
                    4108(i)SG926.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes4
                    4019(i) SG9 26.7.21 [range.reverse]
                    @@ -361,7 +361,7 @@

                    Index by Status and Section

                    - + @@ -942,15 +942,6 @@

                    Index by Status and Section

                    - - - - - - - - - @@ -1372,7 +1363,7 @@

                    Index by Status and Section

                    - + @@ -1570,7 +1561,7 @@

                    Index by Status and Section

                    - + @@ -1763,7 +1754,7 @@

                    Index by Status and Section

                    - + @@ -2102,23 +2093,23 @@

                    Index by Status and Section

                    - + - + - + - + - + @@ -2246,7 +2237,7 @@

                    Index by Status and Section

                    - + @@ -2490,15 +2481,6 @@

                    Index by Status and Section

                    - - - - - - - - - @@ -2600,21 +2582,21 @@

                    Index by Status and Section

                    - + - + - + - + - + @@ -2840,21 +2822,21 @@

                    Index by Status and Section

                    - + - - - + + + - + - - - + + + @@ -4985,7 +4967,7 @@

                    SG1 (7 issues)

                    Issue 16.4.6.4 [global.functions] Default arguments and signatures of standard library non-member functions Yes3
                    4113(i)New21.3.5.4 [meta.unary.prop]Disallow has_unique_object_representations<Incomplete[]>Yes
                    3967(i) New 21.3.5.4 [meta.unary.prop] 22.10.18.3 [func.search.bm] The Standard Library should not use predicates of the form pred(*i) != false Yes3
                    23.3.3.2 [string.view.cons] string_view(Iter, Iter) constructor breaks existing code No2
                    24.3.9.4 [deque.modifiers] Container effects use "the assignment operator or move assignment operator" No3
                    4125(i)4120(i) New 25.5.4.2 [move.iterator]move_iterator's default constructor should be constrainedmove_iterator should provide iterator_category only when it models +forward_iterator Yes 3
                    4120(i)4125(i) New 25.5.4.2 [move.iterator]move_iterator should provide iterator_category only when it models -forward_iteratormove_iterator's default constructor should be constrained Yes3
                    26.5.7.1 [range.utility.conv.general] ranges::to constructs associative containers via c.emplace(c.end(), *it) Yes2
                    4108(i)New26.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes
                    3855(i) New 26.7.16.2 [range.lazy.split.view]
                    3832(i)4114(i) New 26.7.23.3 [range.elements.iterator]Missing change for element_view::iterator in LWG 3798elements_view::iterator::operator* missing conditional noexcept specification Yes 3
                    4114(i)3832(i) New 26.7.23.3 [range.elements.iterator]elements_view::iterator::operator* missing conditional noexcept specificationMissing change for element_view::iterator in LWG 3798 Yes3
                    4085(i)4077(i) New 27.12.2 [alg.rand.generate]ranges::generate_random's helper lambda should specify the return typeYesUnclear preconditions of std::ranges::generate_randomNo2
                    4077(i)4085(i) New 27.12.2 [alg.rand.generate]Unclear preconditions of std::ranges::generate_randomNoranges::generate_random's helper lambda should specify the return typeYes2
                    -

                    SG9 (1 issues)

                    +

                    SG9 (2 issues)

                    @@ -4997,6 +4979,15 @@

                    SG9 (1 issues)

                    + + + + + + + + + diff --git a/unresolved-toc.html b/unresolved-toc.html index 61099c39a6..4e3a8dc4c3 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-08-02 at 21:15:32 UTC +

                    Revised 2024-08-02 at 21:52:48 UTC

                    Issue Duplicates
                    4108(i)SG926.7.16.2 [range.lazy.split.view]lazy_split_view should be sized_range when pattern is empty tiny-rangeYes4
                    4019(i) SG9 26.7.21 [range.reverse]
                    @@ -4626,7 +4626,7 @@

                    Table of Contents

                    - + @@ -4671,7 +4671,7 @@

                    Table of Contents

                    - + @@ -4770,7 +4770,7 @@

                    Table of Contents

                    - + @@ -4788,7 +4788,7 @@

                    Table of Contents

                    - + @@ -4821,12 +4821,12 @@

                    Table of Contents

                    - - + + - + @@ -4857,21 +4857,12 @@

                    Table of Contents

                    - - - - - - - - - - + @@ -4920,7 +4911,7 @@

                    Table of Contents

                    - + @@ -4929,7 +4920,7 @@

                    Table of Contents

                    - + @@ -4947,7 +4938,7 @@

                    Table of Contents

                    - + @@ -4974,7 +4965,7 @@

                    Table of Contents

                    - +
                    Issue 27.12.2 [alg.rand.generate] Unclear preconditions of std::ranges::generate_random No2
                    27.12.2 [alg.rand.generate] ranges::generate_random's helper lambda should specify the return type Yes2
                    16.4.6.4 [global.functions] Default arguments and signatures of standard library non-member functions Yes3
                    23.3.3.2 [string.view.cons] string_view(Iter, Iter) constructor breaks existing code No2
                    4108(i)New4108(i)SG9 26.7.16.2 [range.lazy.split.view] lazy_split_view should be sized_range when pattern is empty tiny-range Yes4
                    4113(i)New21.3.5.4 [meta.unary.prop]Disallow has_unique_object_representations<Incomplete[]>Yes
                    4114(i) New 26.7.23.3 [range.elements.iterator] elements_view::iterator::operator* missing conditional noexcept specification Yes3
                    move_iterator should provide iterator_category only when it models forward_iterator Yes3
                    26.5.7.1 [range.utility.conv.general] ranges::to constructs associative containers via c.emplace(c.end(), *it) Yes2
                    24.3.9.4 [deque.modifiers] Container effects use "the assignment operator or move assignment operator" No3
                    22.10.18.3 [func.search.bm] The Standard Library should not use predicates of the form pred(*i) != false Yes3
                    diff --git a/votable-index.html b/votable-index.html index 4dc7ad2ecb..0b39e8146a 100644 --- a/votable-index.html +++ b/votable-index.html @@ -66,8 +66,30 @@

                    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-08-02 at 21:15:32 UTC -

                    Section 23 (1 issues)

                    +

                    Revised 2024-08-02 at 21:52:48 UTC +

                    Section 21 (1 issues)

                    +

                    (view only non-Ready open issues)

                    + + + + + + + + + + + + + + + + + + + +
                    IssueStatusSectionTitleProposed ResolutionPriorityDuplicates
                    4113(i)Tentatively Ready21.3.5.4 [meta.unary.prop]Disallow has_unique_object_representations<Incomplete[]>Yes
                    +

                    Section 23 (1 issues)

                    diff --git a/votable-status-date.html b/votable-status-date.html index 2868da99f1..868786c915 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-08-02 at 21:15:32 UTC +

                    Revised 2024-08-02 at 21:52:48 UTC

                    Ready (8 issues)

                    Issue
                    @@ -154,7 +154,7 @@

                    Index by Status and Date

                    -

                    Tentatively Ready (2 issues)

                    +

                    Tentatively Ready (3 issues)

                    @@ -166,6 +166,15 @@

                    Tentatively Ready (2 issues)

                    + + + + + + + + + diff --git a/votable-status.html b/votable-status.html index d6544dea54..42f627a48f 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-08-02 at 21:15:32 UTC +

                    Revised 2024-08-02 at 21:52:48 UTC

                    Ready (8 issues)

                    Issue Duplicates
                    4113(i)Tentatively Ready21.3.5.4 [meta.unary.prop]Disallow has_unique_object_representations<Incomplete[]>Yes
                    4119(i) Tentatively Ready 26.8.5 [coro.generator.promise]
                    @@ -149,7 +149,7 @@

                    Index by Status and Section

                    -

                    Tentatively Ready (2 issues)

                    +

                    Tentatively Ready (3 issues)

                    @@ -161,6 +161,15 @@

                    Tentatively Ready (2 issues)

                    + + + + + + + + + diff --git a/votable-toc.html b/votable-toc.html index 06269b5c78..88717599ef 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-08-02 at 21:15:32 UTC +

                    Revised 2024-08-02 at 21:52:48 UTC

                    Issue Duplicates
                    4113(i)Tentatively Ready21.3.5.4 [meta.unary.prop]Disallow has_unique_object_representations<Incomplete[]>Yes
                    4119(i) Tentatively Ready 26.8.5 [coro.generator.promise]
                    @@ -145,6 +145,15 @@

                    Table of Contents

                    + + + + + + + + +
                    Issue
                    4113(i)Tentatively Ready21.3.5.4 [meta.unary.prop]Disallow has_unique_object_representations<Incomplete[]>Yes
                    4119(i) Tentatively Ready 26.8.5 [coro.generator.promise]