[Motions 2025 11 lwg 2] C++ Standard Library Immediate Issues #8580

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

burblebee wants to merge 58 commits into main from motions-2025-11-lwg-2

Contributor

burblebee commented Dec 3, 2025

Fixes #8461.


          LWG3343 Ordering of calls to unlock() and notify_all() in Effects ele…

bf575fb

…ment of notify_all_at_thread_exit() should be reversed

jwakely reviewed

View reviewed changes

source/threads.tex Outdated Show resolved Hide resolved

jwakely reviewed

View reviewed changes

source/memory.tex Show resolved Hide resolved

jwakely reviewed

View reviewed changes

source/utilities.tex Outdated Show resolved Hide resolved

jwakely reviewed

View reviewed changes

source/utilities.tex Show resolved Hide resolved

jwakely reviewed

View reviewed changes

source/utilities.tex Outdated Show resolved Hide resolved

jwakely reviewed

View reviewed changes

source/utilities.tex Outdated Show resolved Hide resolved

jwakely reviewed

View reviewed changes

source/utilities.tex Outdated Show resolved Hide resolved

jwakely reviewed

View reviewed changes

source/support.tex Show resolved Hide resolved

eisenwave added this to the post-2025-11 milestone

burblebee force-pushed the motions-2025-11-lwg-2 branch from 942fd3a to 44373f2 Compare

December 4, 2025 06:16

burblebee added 19 commits

December 3, 2025 23:25


          LWG3454 pointer_traits::pointer_to should be constexpr

97383b5

[pointer.traits] Note: declaration of pointer_to in synopsis was removed in LWG3545.


          LWG4015 LWG 3973 broke const overloads of std::optional monadic opera…

2ea2ab9

…tions


          LWG4230 simd<complex>::real/imag is overconstrained

acfeaba


          LWG4251 Move assignment for indirect unnecessarily requires copy cons…

c7e67b6

…truction


          LWG4260 Query objects must be default constructible

b92f18b


          LWG4272 For rank == 0, layout_stride is atypically convertible

655765a


          LWG4302 Problematic vector_sum_of_squares wording

01bff15


          LWG4304 std::optional<NonReturnable&> is ill-formed due to value_or

c0c704b


          LWG4308 std::optional<T&>::iterator can't be a contiguous iterator fo…

990f680

…r some T


          LWG4316 {can_}substitute specification is ill-formed

3dcd790

Fixes US 114-175 (C++26 CD).


          LWG4358 [exec.as.awaitable] is using "Preconditions:" when it should …

03c5d17

…probably be described in the constraint


          LWG4360 awaitable-sender concept should qualify use of awaitable-rece…

5deca0b

…iver type


          LWG4369 check-types function for upon_error and upon_stopped is wrong

337988d

Fixes US 219-350 (C++26 CD).


          LWG4376 ABI tag in return type of [simd.mask.unary] is overconstrained

25c0671

Fixes DE 298, DE 297 (C++26 CD).
Also fixes LWG4238.


          LWG4383 constant_wrapper's pseudo-mutators are underconstrained

65b4fcd


          LWG4388 Align new definition of va_start with C23

8bb3a00


          LWG4396 Improve inplace_vector(from_range_t, R&& rg)

09251f3


          LWG4420 [simd] conversions (constructor, load, stores, gather, and sc…

df419aa

…atter) are incorrectly constrained for <stdfloat> types

Fixes DE-288, DE-285 (C++26 CD).

[simd] Indent modified declarations for readability.


          LWG4424 meta::define_aggregate should require a class type

f3a2fd9

Fixes US 125-188 (C++26 CD).

burblebee added 17 commits

December 3, 2025 23:30


          LWG4445 sch_ must not be in moved-from state

a32b8bf

Fixes US 239-367 (C++26 CD).


          LWG4446 Bad phrasing for SCHED(s)

3daccf9

Fixes US 240-370 (C++26 CD).


          LWG4447 Remove unnecessary sizeof…(Env) > 1 condition

ceea8a4

Fixes US 206-325 (C++26 CD).


          LWG4448 Do not forward fn in completion_signatures

96853a0

Fixes US 230-360 (C++26 CD).


          LWG4449 define_aggregate members must be public

d44f492


          LWG4450 std::atomic_ref<T>::store_key should be disabled for const T

5dadda7

Fixes US 193-311 (C++26 CD).


          LWG4451 make_shared should not refer to a type U[N] for runtime N

ce23d66

Fixes US 76-139 (C++26 CD).


          LWG4452 Make deref-move constexpr

ea71fdd


          LWG4455 Add missing constraint to basic-sender::get_completion_signat…

566dbda

…ures definition

Fixes US 215-356 (C++26 CD).


          LWG4456 Decay Data and Child in make-sender

e274317

Fixes US 211-351 (C++26 CD).


          LWG4459 Protect get_completion_signatures fold expression from overlo…

aaa993f

…aded commas

Fixes US 214-355 (C++26 CD).


          LWG4461 stop-when needs to evaluate unstoppable tokens

Fixes US 226-345 (C++26 CD).


          LWG4462 Algorithm requirements don't describe semantics of s - i well

87d89ef

Fixes US 154-252 (C++26 CD).


          LWG4463 Change wording to 'model' from 'subsumes' in [algorithms.para…

578c73f

…llel.user]

Fixes US 155-253 (C++26 CD).


          LWG4464 [alg.merge] Wording tweaks

e353581

Fixes US 163-262 (C++26 CD).


          LWG4465 §[alg.partitions] Clarify Returns: element

bd0df64

Fixes US 162-261 (C++26 CD).


          FIXUP LWG3343: Keep "sequenced after" on same line (as per review req…

537b284

…uest)

burblebee force-pushed the motions-2025-11-lwg-2 branch from 5d5ceed to 537b284 Compare

December 4, 2025 07:30

burblebee added 3 commits

December 3, 2025 23:47


          [optional.dtor] Fix double negative in wording added by LWG4015.

033f7e5


          [optional.swap] Fix singular->plural tense that was missed in LWG4015.

d892ebc


          FIXUP LWG4015: Break lines after comma as suggested in review.

997c5d0

burblebee force-pushed the motions-2025-11-lwg-2 branch from b150c04 to 997c5d0 Compare

December 4, 2025 08:51

burblebee marked this pull request as ready for review

December 4, 2025 08:53

burblebee requested a review from jwakely

December 4, 2025 08:54

jwakely reviewed

View reviewed changes

source/meta.tex Show resolved Hide resolved

jwakely reviewed

View reviewed changes

source/memory.tex Outdated Show resolved Hide resolved

jwakely requested changes

View reviewed changes

Member

jwakely left a comment

Just one more tweak, "known" -> "unknown"


          FIXUP LWG4451: "known" -> "unknown"

4d67aae

burblebee requested a review from jwakely

December 4, 2025 21:51

jwakely approved these changes

View reviewed changes

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet