|
67 | 67 | </tr> |
68 | 68 | <tr> |
69 | 69 | <td align="left">Date:</td> |
70 | | - <td align="left">2025-02-09</td> |
| 70 | + <td align="left">2025-02-10</td> |
71 | 71 | </tr> |
72 | 72 | <tr> |
73 | 73 | <td align="left">Project:</td> |
|
79 | 79 | </tr> |
80 | 80 | </table> |
81 | 81 | <h1>C++ Standard Library Active Issues List (Revision D125)</h1> |
82 | | -<p>Revised 2025-02-09 at 16:19:37 UTC |
| 82 | +<p>Revised 2025-02-10 at 13:26:30 UTC |
83 | 83 | </p> |
84 | 84 | <p>Reference ISO/IEC IS 14882:2020(E)</p> |
85 | 85 | <p>Also see:</p> |
@@ -199,9 +199,9 @@ <h2 id='History'>Revision History</h2> |
199 | 199 | <ul> |
200 | 200 | <li>D125: 2023-06-09 Post-Varna<ul> |
201 | 201 | <li><b>Summary:</b><ul> |
202 | | -<li>559 open issues, up by 129.</li> |
| 202 | +<li>560 open issues, up by 130.</li> |
203 | 203 | <li>3131 closed issues, up by 131.</li> |
204 | | -<li>42 reassigned issues, up by 6.</li> |
| 204 | +<li>41 reassigned issues, up by 5.</li> |
205 | 205 | <li>3732 issues total, up by 266.</li> |
206 | 206 | </ul></li> |
207 | 207 | <li><b>Details:</b><ul> |
@@ -229,6 +229,7 @@ <h2 id='History'>Revision History</h2> |
229 | 229 | <li>Changed the following issue to Voting (from New): <a href="lwg-active.html#3578" title="Iterator SCARYness in the context of associative container merging (Status: Voting)">3578</a>.</li> |
230 | 230 | <li>Changed the following 3 issues to Open (from New): <a href="lwg-active.html#2939" title="Some type-completeness constraints of traits are overspecified (Status: Open)">2939</a>, <a href="lwg-active.html#3099" title="is_assignable<Incomplete&, Incomplete&> (Status: Open)">3099</a>, <a href="lwg-active.html#3343" title="Ordering of calls to unlock() and notify_all() in Effects element of notify_all_at_thread_exit() should be reversed (Status: Open)">3343</a>.</li> |
231 | 231 | <li>Changed the following 2 issues to Open (from LEWG): <a href="lwg-active.html#2991" title="variant copy constructor missing noexcept(see below) (Status: Open)">2991</a>, <a href="lwg-active.html#3454" title="pointer_traits::pointer_to should be constexpr (Status: Open)">3454</a>.</li> |
| 232 | +<li>Changed the following issue to Open (from SG1): <a href="lwg-active.html#3941" title="§[atomics.order] inadvertently prohibits widespread implementation techniques (Status: Open)">3941</a>.</li> |
232 | 233 | <li>Changed the following issue to LEWG (from Open): <a href="lwg-active.html#3003" title="<future> still has type-erased allocators in promise (Status: LEWG)">3003</a>.</li> |
233 | 234 | <li>Changed the following 17 issues to WP (from Tentatively Ready): <a href="lwg-defects.html#2994" title="Needless UB for basic_string and basic_string_view (Status: WP)">2994</a>, <a href="lwg-defects.html#3884" title="flat_foo is missing allocator-extended copy/move constructors (Status: WP)">3884</a>, <a href="lwg-defects.html#3885" title="'op' should be in [zombie.names] (Status: WP)">3885</a>, <a href="lwg-defects.html#3887" title="Version macro for allocate_at_least (Status: WP)">3887</a>, <a href="lwg-defects.html#3893" title="LWG 3661 broke atomic<shared_ptr<T>> a; a = nullptr; (Status: WP)">3893</a>, <a href="lwg-defects.html#3894" title="generator::promise_type::yield_value(ranges::elements_of<Rng, Alloc>) should not be noexcept (Status: WP)">3894</a>, <a href="lwg-defects.html#3903" title="span destructor is redundantly noexcept (Status: WP)">3903</a>, <a href="lwg-defects.html#3904" title="lazy_split_view::outer-iterator's const-converting constructor isn't setting trailing_empty_ (Status: WP)">3904</a>, <a href="lwg-defects.html#3905" title="Type of std::fexcept_t (Status: WP)">3905</a>, <a href="lwg-defects.html#3912" title="enumerate_view::iterator::operator- should be noexcept (Status: WP)">3912</a>, <a href="lwg-defects.html#3914" title="Inconsistent template-head of ranges::enumerate_view (Status: WP)">3914</a>, <a href="lwg-defects.html#3915" title="Redundant paragraph about expression variations (Status: WP)">3915</a>, <a href="lwg-defects.html#3925" title="Concept formattable's definition is incorrect (Status: WP)">3925</a>, <a href="lwg-defects.html#3927" title="Unclear preconditions for operator[] for sequence containers (Status: WP)">3927</a>, <a href="lwg-defects.html#3935" title="template<class X> constexpr complex& operator=(const complex<X>&) has no specification (Status: WP)">3935</a>, <a href="lwg-defects.html#3938" title="Cannot use std::expected monadic ops with move-only error_type (Status: WP)">3938</a>, <a href="lwg-defects.html#3940" title="std::expected<void, E>::value() also needs E to be copy constructible (Status: WP)">3940</a>.</li> |
234 | 235 | <li>Changed the following 13 issues to WP (from New): <a href="lwg-defects.html#2392" title=""character type" is used but not defined (Status: WP)">2392</a>, <a href="lwg-defects.html#3203" title="span element access invalidation (Status: WP)">3203</a>, <a href="lwg-defects.html#3216" title="Rebinding the allocator before calling construct/destroy in allocate_shared (Status: WP)">3216</a>, <a href="lwg-defects.html#3431" title="<=> for containers should require three_way_comparable<T> instead of <=> (Status: WP)">3431</a>, <a href="lwg-defects.html#3436" title="std::construct_at should support arrays (Status: WP)">3436</a>, <a href="lwg-defects.html#3749" title="common_iterator should handle integer-class difference types (Status: WP)">3749</a>, <a href="lwg-defects.html#3809" title="Is std::subtract_with_carry_engine<uint16_t> supposed to work? (Status: WP)">3809</a>, <a href="lwg-defects.html#3886" title="Monad mo' problems (Status: WP)">3886</a>, <a href="lwg-defects.html#3892" title="Incorrect formatting of nested ranges and tuples (Status: WP)">3892</a>, <a href="lwg-defects.html#3897" title="inout_ptr will not update raw pointer to 0 (Status: WP)">3897</a>, <a href="lwg-defects.html#3899" title="co_yielding elements of an lvalue generator is unnecessarily inefficient (Status: WP)">3899</a>, <a href="lwg-defects.html#3900" title="The allocator_arg_t overloads of generator::promise_type::operator new |
@@ -278,7 +279,7 @@ <h2 id='History'>Revision History</h2> |
278 | 279 | and user requirements (Status: New)">3923</a>, <a href="lwg-active.html#3924" title="Stop token data race avoidance requirements unclear (Status: New)">3924</a>, <a href="lwg-active.html#3926" title="Which namespace std is the mentioned one? (Status: New)">3926</a>, <a href="lwg-active.html#3928" title="Non-top-level namespace posix shouldn't be reserved (Status: New)">3928</a>, <a href="lwg-active.html#3929" title="Preconditions for type traits should be Mandates (Status: New)">3929</a>, <a href="lwg-active.html#3931" title="Too many paper bump __cpp_lib_ranges (Status: New)">3931</a>, <a href="lwg-active.html#3932" title="Expression-equivalence is sometimes unimplementable when passing prvalue expressions to comparison CPOs (Status: New)">3932</a>, <a href="lwg-active.html#3933" title="P1467R9 accidentally changed the signatures of certain constructors of std::complex (Status: New)">3933</a>, <a href="lwg-active.html#3934" title="std::complex<T>::operator=(const T&) has no specification (Status: New)">3934</a>, <a href="lwg-active.html#3937" title="I/O manipulators should be specified in terms of base classes (Status: New)">3937</a>, <a href="lwg-active.html#3939" title="§[format.string.std] char is not formatted as a character when charT is wchar_t (Status: New)">3939</a>, <a href="lwg-active.html#3942" title="Inconsistent use of const char_type& in standard specializations of std::char_traits (Status: New)">3942</a>, <a href="lwg-active.html#3943" title="Clarify lifetime requirements of BasicFormatter and Formatter (Status: New)">3943</a>.</li> |
279 | 280 | <li>Added the following 2 Open issues: <a href="lwg-active.html#3840" title="filesystem::u8path should be undeprecated (Status: Open)">3840</a>, <a href="lwg-active.html#3844" title="Non-numeric formats for negative durations (Status: Open)">3844</a>.</li> |
280 | 281 | <li>Added the following 2 LEWG issues: <a href="lwg-active.html#3868" title="Constrained algorithms should not require output_iterator (Status: LEWG)">3868</a>, <a href="lwg-defects.html#3918" title="std::uninitialized_move/_n and guaranteed copy elision (Status: WP)">3918</a>.</li> |
281 | | -<li>Added the following SG1 issue: <a href="lwg-active.html#3941" title="§[atomics.order] inadvertently prohibits widespread implementation techniques (Status: SG1)">3941</a>.</li> |
| 282 | +<li>Added the following SG1 issue: <a href="lwg-active.html#3941" title="§[atomics.order] inadvertently prohibits widespread implementation techniques (Status: Open)">3941</a>.</li> |
282 | 283 | <li>Added the following SG9 issue: <a href="lwg-closed.html#3913" title="ranges::const_iterator_t<range R> fails to accept arrays of unknown bound (Status: NAD)">3913</a>.</li> |
283 | 284 | <li>Added the following SG16 issue: <a href="lwg-defects.html#3944" title="Formatters converting sequences of char to sequences of wchar_t (Status: WP)">3944</a>.</li> |
284 | 285 | <li>Added the following 30 WP issues: <a href="lwg-defects.html#3833" title="Remove specialization template<size_t N> struct formatter<const charT[N], charT> (Status: C++23)">3833</a>, <a href="lwg-defects.html#3834" title="Missing constexpr for std::intmax_t math functions in <cinttypes> (Status: C++23)">3834</a>, <a href="lwg-defects.html#3836" title="std::expected<bool, E1> conversion constructor expected(const expected<U, G>&) |
@@ -49861,13 +49862,13 @@ <h3 id="3939"><a href="#3939">3939</a><sup><a href="https://cplusplus.github.io/ |
49861 | 49862 |
|
49862 | 49863 | <hr> |
49863 | 49864 | <h3 id="3941"><a href="#3941">3941</a><sup><a href="https://cplusplus.github.io/LWG/issue3941">(i)</a></sup>. §[atomics.order] inadvertently prohibits widespread implementation techniques</h3> |
49864 | | -<p><b>Section:</b> 32.5.4 <a href="https://wg21.link/atomics.order">[atomics.order]</a> <b>Status:</b> <a href="lwg-active.html#SG1">SG1</a> |
49865 | | - <b>Submitter:</b> Hans Boehm <b>Opened:</b> 2023-05-27 <b>Last modified:</b> 2023-11-07</p> |
| 49865 | +<p><b>Section:</b> 32.5.4 <a href="https://wg21.link/atomics.order">[atomics.order]</a> <b>Status:</b> <a href="lwg-active.html#Open">Open</a> |
| 49866 | + <b>Submitter:</b> Hans Boehm <b>Opened:</b> 2023-05-27 <b>Last modified:</b> 2025-02-10</p> |
49866 | 49867 | <p><b>Priority: </b>3 |
49867 | 49868 | </p> |
49868 | 49869 | <p><b>View other</b> <a href="lwg-index-open.html#atomics.order">active issues</a> in [atomics.order].</p> |
49869 | 49870 | <p><b>View all other</b> <a href="lwg-index.html#atomics.order">issues</a> in [atomics.order].</p> |
49870 | | -<p><b>View all issues with</b> <a href="lwg-status.html#SG1">SG1</a> status.</p> |
| 49871 | +<p><b>View all issues with</b> <a href="lwg-status.html#Open">Open</a> status.</p> |
49871 | 49872 | <p><b>Discussion:</b></p> |
49872 | 49873 | <p> |
49873 | 49874 | [Discovered by Ori Lahav, lead author of <a href="https://plv.mpi-sws.org/scfix/paper.pdf">Repairing Sequential Consistency in C/C++11</a>, |
@@ -49935,6 +49936,13 @@ <h3 id="3941"><a href="#3941">3941</a><sup><a href="https://cplusplus.github.io/ |
49935 | 49936 | Set priority to 3 after reflector poll. Send to SG1. |
49936 | 49937 | </p> |
49937 | 49938 |
|
| 49939 | +<p><i>[2025-02-10; SG1 reviewed the issue in March 2024 ]</i></p> |
| 49940 | + |
| 49941 | +<p> |
| 49942 | +"we want to address LWG3941 in a way that preserves existing implementations |
| 49943 | +like X86" - unanimous consent. |
| 49944 | +</p> |
| 49945 | + |
49938 | 49946 |
|
49939 | 49947 |
|
49940 | 49948 | <p id="res-3941"><b>Proposed resolution:</b></p> |
|
0 commit comments