C++ Standard Library Issues List (Revision D122)

Index by Section

Reference ISO/IEC IS 14882:2011(E)

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

Index by Section (non-Ready active issues only)

Revised 2020-09-14 at 15:36:47 UTC

Section 6 (1 issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
2506⁽ⁱ⁾	SG1	6.9.2 [intro.multithread]	Underspecification of atomics	No	3

Section 16 (24 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
3105⁽ⁱ⁾	New	16 [library]	`T1` is convertible to `T2`	No	3
2949⁽ⁱ⁾	New	16 [library]	Unclear complexity requirements: space vs. time	No	4
2392⁽ⁱ⁾	New	16.3.18 [defns.ntcts]	"character type" is used but not defined	No	3
2136⁽ⁱ⁾	Open	16.4.1 [structure]	Postconditions vs. exceptions	No	3
3193⁽ⁱ⁾	New	16.4.1.4 [structure.specifications]	Mandates: and Expects: elements are not defined for types	Yes	3
3401⁽ⁱ⁾	New	16.4.1.4 [structure.specifications]	Is "as if by" equivalent to "equivalent to"?	No	3
3092⁽ⁱ⁾	Open	16.4.2.2.4 [bitmask.types]	Unclear semantics of `enum class` bitmask types	Yes	3
2818⁽ⁱ⁾	Open	16.5.1.1 [contents]	`"::std::"` everywhere rule needs tweaking	Yes	2
3240⁽ⁱ⁾	New	16.5.2.2 [using.headers]	Headers declare more than entities	No	3
2146⁽ⁱ⁾	Open	16.5.3.1 [utility.arg.requirements]	Are reference types `Copy`/`Move-Constructible`/`Assignable` or `Destructible`?	No	2
2152⁽ⁱ⁾	LEWG	16.5.3.2 [swappable.requirements]	Instances of standard container types are not swappable	Yes	3
2114⁽ⁱ⁾	Open	16.5.3.3 [nullablepointer.requirements]	Incorrect "contextually convertible to `bool`" requirements	Yes	3
3267⁽ⁱ⁾	New	16.5.3.5 [allocator.requirements]	Rebound allocators and `is_always_equal`	Yes	4
3157⁽ⁱ⁾	New	16.5.3.5 [allocator.requirements]	Allocator `destroy` and fancy pointer operations must be non-throwing	Yes	3
3044⁽ⁱ⁾	New	16.5.3.5 [allocator.requirements]	Strange specification of `max_size()` for an allocator	Yes	3
2461⁽ⁱ⁾	New	16.5.3.5 [allocator.requirements]	Interaction between allocators and container exception safety guarantees	No	3
3441⁽ⁱ⁾	New	16.5.4.2.1 [namespace.std]	Misleading note about calls to customization points	Yes	1
3442⁽ⁱ⁾	New	16.5.4.2.1 [namespace.std]	Unsatisfiable suggested implementation of customization points	Yes	1
3177⁽ⁱ⁾	New	16.5.4.2.1 [namespace.std]	Limit permission to specialize variable templates to program-defined types	Yes	3
3142⁽ⁱ⁾	New	16.5.4.8 [res.on.functions]	`std::foo<incomplete>` should be ill-formed NDR	Yes	3
3429⁽ⁱ⁾	New	16.5.4.12 [res.on.requirements]	"models" should subsume like "satisfies"	Yes	3
2695⁽ⁱ⁾	New	16.5.5.5 [member.functions]	"As if" unclear in [member.functions]	No	3
2414⁽ⁱ⁾	Open	16.5.5.9 [reentrancy]	Member function reentrancy should be implementation-defined	Yes	3
3229⁽ⁱ⁾	New	16.5.5.13 [res.on.exception.handling]	§[res.on.exception.handling]#3 cannot apply to types with implicitly declared destructors	Yes	3

Section 17 (21 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
3217⁽ⁱ⁾	New	17.3.1 [support.limits.general]	`<memory>` and `<execution>` should define `__cpp_lib_parallel_algorithm`	Yes	3
3437⁽ⁱ⁾	Tentatively Ready	17.3.2 [version.syn]	`__cpp_lib_polymorphic_allocator` is in the wrong header	Yes	0
2248⁽ⁱ⁾	New	17.3.5 [numeric.limits]	`numeric_limits::is_iec559` misnamed	No	4
2730⁽ⁱ⁾	Open	17.3.5 [numeric.limits]	`numeric_limits` primary template definition	No	3
2820⁽ⁱ⁾	Tentatively Ready	17.4 [cstdint]	Clarify `<cstdint>` macros	Yes	3
3370⁽ⁱ⁾	New	17.4.1 [cstdint.syn]	§[cstdint.syn]p2 and §[headers]p5 are not sufficiently clear	No	3
2815⁽ⁱ⁾	New	17.5 [support.start.term]	`quick_exit` can deadlock	Yes	3
3084⁽ⁱ⁾	New	17.5 [support.start.term]	Termination in C++ is unclear	No	3
3086⁽ⁱ⁾	New	17.6.2.1 [new.delete.single]	Possible problem in §[new.delete.single]	Yes	3
2737⁽ⁱ⁾	New	17.6.2.1 [new.delete.single]	Consider relaxing object size restrictions for single-object allocation functions	No	3
2303⁽ⁱ⁾	New	17.6.2.3 [new.delete.placement]	Explicit instantiation of `std::vector<UserType>` broken?	No	3
2508⁽ⁱ⁾	New	17.6.2.4 [new.delete.dataraces]	§[new.delete.dataraces] wording needs to be updated	No	3
2398⁽ⁱ⁾	Open	17.7.2 [type.info]	`type_info`'s destructor shouldn't be required to be virtual	Yes	3
2088⁽ⁱ⁾	Open	17.9.4 [exception.terminate]	`std::terminate` problem	No	3
2453⁽ⁱ⁾	New	17.10 [support.initlist]	§[iterator.range] and now [iterator.container] aren't available via `<initializer_list>`	No	3
2493⁽ⁱ⁾	New	17.10 [support.initlist]	`initializer_list` supports incomplete classes	No	4
2432⁽ⁱ⁾	EWG	17.10 [support.initlist]	`initializer_list` assignability	Yes	2
3465⁽ⁱ⁾	Tentatively Ready	17.11.6 [cmp.alg]	`compare_partial_order_fallback` requires `F < E`	Yes	0
3469⁽ⁱ⁾	Tentatively Resolved	17.12.3.5 [coroutine.handle.promise]	Precondition of `coroutine_handle::promise` may be insufficient	Yes	2
3460⁽ⁱ⁾	Tentatively Ready	17.12.4.2.2 [coroutine.handle.noop.resumption]	Unimplementable `noop_coroutine_handle` guarantees	Yes	2
2155⁽ⁱ⁾	Tentatively Resolved	17.13 [support.runtime]	Macro `__bool_true_false_are_defined` should be removed	No	4

Section 18 (4 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
3461⁽ⁱ⁾	Tentatively Ready	18.4.4 [concept.convertible]	`convertible_to`'s description mishandles cv-qualified `void`	Yes	0
3459⁽ⁱ⁾	New	18.4.4 [concept.convertible]	Why doesn't `std::convertible_to` have semantic requirement when `To` is reference-to-function type?	No	3
3151⁽ⁱ⁾	Tentatively Resolved	18.4.4 [concept.convertible]	`ConvertibleTo` rejects conversions from array and function types	Yes	3
3421⁽ⁱ⁾	Tentatively Ready	18.5.2 [concept.booleantestable]	Imperfect ADL emulation for `boolean-testable`	Yes	0

Section 19 (5 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
2413⁽ⁱ⁾	New	19.3 [assertions]	`assert` macro is overconstrained	No	4
3011⁽ⁱ⁾	Open	19.3 [assertions]	Requirements for `assert(E)` inconsistent with C	No	2
3019⁽ⁱ⁾	New	19.5.2.4 [syserr.errcat.derived]	Presentation of "program defined classes derived from `error_category`" [syserr.errcat.derived] unclear and contains mistakes	No	3
3053⁽ⁱ⁾	New	19.5.3.1 [syserr.errcode.overview]	Prohibit `error_code` construction from rvalues of `error_category`	Yes	3
3162⁽ⁱ⁾	New	19.5.7.2 [syserr.syserr.members]	`system_error::system_error(error_code ec)` not explicit	Yes	3

Section 20 (78 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
2153⁽ⁱ⁾	LEWG	20.2.2 [utility.swap]	Narrowing of the non-member `swap` contract	Yes	2
2599⁽ⁱ⁾	New	20.2.6 [declval]	Library incomplete type permission phrase is unclear	No	3
3342⁽ⁱ⁾	New	20.4.2 [pairs.pair]	Library wording uses "initializes `x` with `y`", which is underspecified	No	3
2289⁽ⁱ⁾	Open	20.4.2 [pairs.pair]	`constexpr` guarantees of defaulted functions still insufficient	No	3
2766⁽ⁱ⁾	New	20.4.3 [pairs.spec]	Swapping non-swappable types	Yes	3
3166⁽ⁱ⁾	New	20.4.4 [pair.astuple]	No such descriptive element as Value:	No	3
3378⁽ⁱ⁾	New	20.5.2 [tuple.syn]	`tuple_size_v/tuple_element_t` should be available when `tuple_size/tuple_element` are	Yes	3
3440⁽ⁱ⁾	Tentatively NAD	20.5.3.1 [tuple.cnstr]	Aggregate-paren-init breaks direct-initializing a `tuple` or `optional` from `{aggregate-member-value}`	Yes	2
2528⁽ⁱ⁾	New	20.5.3.1 [tuple.cnstr]	Order of `std::tuple` construction unspecified	No	3
3155⁽ⁱ⁾	Open	20.5.3.1 [tuple.cnstr]	`tuple<any, any>{allocator_arg_t, an_allocator}`	Yes	3
3121⁽ⁱ⁾	Open	20.5.3.1 [tuple.cnstr]	`tuple` constructor constraints for `UTypes&&...` overloads	Yes	2
2933⁽ⁱ⁾	New	20.5.4 [tuple.creation]	PR for LWG 2773 could be clearer	Yes	3
2472⁽ⁱ⁾	New	20.5.8 [tuple.rel]	Heterogeneous comparisons in the standard library can result in ambiguities	No	3
532⁽ⁱ⁾	LEWG	20.5.8 [tuple.rel]	Tuple comparison	Yes		348
2990⁽ⁱ⁾	Open	20.6.3 [optional.optional]	`optional::value_type` is not always a value type	Yes	3
2825⁽ⁱ⁾	Tentatively Resolved	20.6.3 [optional.optional]	LWG 2756 breaks class template argument deduction for `optional`	No	2
2811⁽ⁱ⁾	New	20.6.3.1 [optional.ctor]	"Selected constructor" wording is incorrect for `optional`/`variant`/`any`	Yes	3
2746⁽ⁱ⁾	New	20.6.3.3 [optional.assign]	Inconsistency between requirements for `emplace` between `optional` and `variant`	Yes	3
3424⁽ⁱ⁾	New	20.6.3.5 [optional.observe]	`optional::value_or` should never return a cv-qualified type	Yes	3
2829⁽ⁱ⁾	Open	20.6.3.5 [optional.observe]	LWG 2740 leaves behind vacuous words	No	2
2881⁽ⁱ⁾	New	20.7.3 [variant.variant]	Adopt section III of P0308R0	No	3
3215⁽ⁱ⁾	New	20.7.3.1 [variant.ctor]	`variant` default constructor has vague `constexpr` requirements	No	2
2833⁽ⁱ⁾	Open	20.7.3.1 [variant.ctor]	Library needs to specify what it means when it declares a function `constexpr`	Yes	2
2991⁽ⁱ⁾	LEWG	20.7.3.1 [variant.ctor]	`variant` copy constructor missing `noexcept(see below)`	Yes
3228⁽ⁱ⁾	Tentatively Resolved	20.7.3.1 [variant.ctor]	Surprising `variant` construction	No	2
3069⁽ⁱ⁾	New	20.7.3.3 [variant.assign]	Move assigning `variant`'s subobject corrupts data	Yes	3
3052⁽ⁱ⁾	LEWG	20.7.7 [variant.visit]	`visit` is underconstrained	Yes	2
3416⁽ⁱ⁾	New	20.8.3 [any.class]	The Throws: specification of `std::any` does not mention allocation	No	3
3423⁽ⁱ⁾	New	20.8.4 [any.nonmembers]	`std::any_cast` should never return a cv-qualified type	Yes	3
3305⁽ⁱ⁾	Open	20.8.4 [any.nonmembers]	`any_cast<void>`	Yes	2
2348⁽ⁱ⁾	Open	20.9.2 [template.bitset]	`charT('1')` is not the wide equivalent of `'1'`	Yes	3
3454⁽ⁱ⁾	LEWG	20.10.3 [pointer.traits]	`pointer_traits::pointer_to` should be `constexpr`	Yes
2421⁽ⁱ⁾	New	20.10.6 [ptr.align]	Non-specification of handling zero size in `std::align` [ptr.align]	No	3
3192⁽ⁱ⁾	New	20.10.8.2 [allocator.uses.construction]	§[allocator.uses.construction] functions misbehave for `const` types	Yes	3
3170⁽ⁱ⁾	Open	20.10.10 [default.allocator]	`is_always_equal` added to `std::allocator` makes the standard library treat derived types as always equal	Yes	2
3159⁽ⁱ⁾	New	20.11.1.2 [unique.ptr.single]	§[unique.ptr.single] requirements on deleter may be too strict	No	3
2262⁽ⁱ⁾	Open	20.11.1.2 [unique.ptr.single]	Requirement for `unique_ptr<T>::get_deleter()(p)` to be able to destroy the `unique_ptr`	Yes	3
3455⁽ⁱ⁾	Tentatively Ready	20.11.1.2.3 [unique.ptr.single.asgn]	Incorrect Postconditions on `unique_ptr` move assignment	Yes	0
2762⁽ⁱ⁾	Open	20.11.1.2.4 [unique.ptr.single.observers]	`unique_ptr operator*()` should be `noexcept`	Yes	3
3426⁽ⁱ⁾	Tentatively Ready	20.11.1.5 [unique.ptr.special]	`operator<=>(const unique_ptr<T, D>&, nullptr_t)` can't get no satisfaction	Yes	0
2594⁽ⁱ⁾	New	20.11.3 [util.smartptr.shared]	Contradicting definition of empty `shared_ptr` on `shared_ptr(nullptr, d)`	Yes	3
2906⁽ⁱ⁾	New	20.11.3.1 [util.smartptr.shared.const]	There is no ability to supply an allocator for the control block when constructing a `shared_ptr` from a `unique_ptr`	No	3
2751⁽ⁱ⁾	New	20.11.3.2 [util.smartptr.shared.dest]	`shared_ptr` deleter not specified to observe expired `weak_ptr` instances	No	4
3210⁽ⁱ⁾	New	20.11.3.6 [util.smartptr.shared.create]	`allocate_shared` is inconsistent about removing `const` from the pointer passed to allocator `construct` and `destroy`	Yes	3
3216⁽ⁱ⁾	New	20.11.3.6 [util.smartptr.shared.create]	Rebinding the allocator before calling `construct`/`destroy` in `allocate_shared`	Yes	3
3427⁽ⁱ⁾	Tentatively Ready	20.11.3.7 [util.smartptr.shared.cmp]	`operator<=>(const shared_ptr<T>&, nullptr_t)` definition ill-formed	Yes	0
3471⁽ⁱ⁾	New	20.12 [mem.res]	`polymorphic_allocator::allocate` does not satisfy Cpp17Allocator requirements	Yes	3
3036⁽ⁱ⁾	Open	20.12.3 [mem.poly.allocator.class]	`polymorphic_allocator::destroy` is extraneous	Yes	3
2848⁽ⁱ⁾	New	20.12.5.2 [mem.res.pool.options]	Pass-through threshold for pool allocator	No	3
3120⁽ⁱ⁾	Open	20.12.6.2 [mem.res.monotonic.buffer.mem]	Unclear behavior of `monotonic_buffer_resource::release()`	Yes	2
2690⁽ⁱ⁾	LEWG	20.14.4 [func.invoke]	`invoke<R>`	Yes
3046⁽ⁱ⁾	New	20.14.5 [refwrap]	Do not require `reference_wrapper` to support non-referenceable function types	Yes	3
3146⁽ⁱ⁾	New	20.14.5.5 [refwrap.helpers]	Excessive unwrapping in `std::ref`/`cref`	Yes	3
2491⁽ⁱ⁾	New	20.14.7 [comparisons]	`std::less<T*>` in constant expression	Yes	3
2547⁽ⁱ⁾	New	20.14.7 [comparisons]	Container requirements (and other library text) should say "strict total order", not just "total order"	No	3
2774⁽ⁱ⁾	New	20.14.16.2.1 [func.wrap.func.con]	`std::function` construction vs assignment	Yes	3
2813⁽ⁱ⁾	EWG	20.14.16.2.1 [func.wrap.func.con]	`std::function` should not return dangling references	Yes	2
2290⁽ⁱ⁾	Open	20.15 [meta]	Top-level "SFINAE"-based constraints should get a separate definition in Clause 17	Yes	3
2452⁽ⁱ⁾	Core	20.15 [meta]	`is_constructible`, etc. and default arguments	No	3
2845⁽ⁱ⁾	New	20.15.1 [meta.rqmts]	`enable_if`, `result_of`, `common_type` and `aligned_storage` do not meet the definition of `TransformationTrait`	No	3
3099⁽ⁱ⁾	New	20.15.2 [meta.type.synop]	`is_assignable<Incomplete&, Incomplete&>`	Yes	2
2939⁽ⁱ⁾	New	20.15.2 [meta.type.synop]	Some type-completeness constraints of traits are overspecified	No	2
2922⁽ⁱ⁾	LEWG	20.15.2 [meta.type.synop]	The `*_constant<>` templates do not make use of `template<auto>`	No
2827⁽ⁱ⁾	New	20.15.4.3 [meta.unary.prop]	`is_trivially_constructible` and non-trivial destructors	No	3
2496⁽ⁱ⁾	New	20.15.4.3 [meta.unary.prop]	Certain hard-to-avoid errors not in the immediate context are not allowed to be triggered by the evaluation of type traits	No	3
2116⁽ⁱ⁾	Open	20.15.4.3 [meta.unary.prop]	`is_nothrow_constructible` and destructors	No	3
2358⁽ⁱ⁾	Open	20.15.4.3 [meta.unary.prop]	Apparently-bogus definition of `is_empty` type trait	Yes	3
2077⁽ⁱ⁾	Open	20.15.4.3 [meta.unary.prop]	Further incomplete constraints for type traits	No	3
3400⁽ⁱ⁾	New	20.15.6 [meta.rel]	Does `is_nothrow_convertible` consider destruction of the destination type?	No	3
3174⁽ⁱ⁾	New	20.15.6 [meta.rel]	Precondition on `is_convertible` is too strong	Yes	3
3205⁽ⁱ⁾	New	20.15.7.6 [meta.trans.other]	`decay_t` in the new `common_type` fallback should be `remove_cvref_t`	Yes	3
3152⁽ⁱ⁾	New	20.15.7.6 [meta.trans.other]	`common_type` and `common_reference` have flaws in common	Yes	3
3456⁽ⁱ⁾	New	20.19.3 [charconv.from.chars]	Pattern used by `std::from_chars` is underspecified	Yes	3
3081⁽ⁱ⁾	Open	20.19.3 [charconv.from.chars]	Floating point `from_chars` API does not distinguish between overflow and underflow	Yes	2
3082⁽ⁱ⁾	Open	20.19.3 [charconv.from.chars]	`from_chars` specification regarding floating point rounding is inconsistent	Yes	2
3412⁽ⁱ⁾	New	20.20.2.2 [format.string.std]	§[format.string.std] references to "Unicode encoding" unclear	No	3
3462⁽ⁱ⁾	New	20.20.5.1 [formatter.requirements]	§[formatter.requirements]: Formatter requirements forbid use of `fc.arg()`	Yes	3
3473⁽ⁱ⁾	Tentatively Ready	20.20.6.3 [format.args]	Normative encouragement in non-normative note	Yes	0

Section 21 (11 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
2513⁽ⁱ⁾	New	21.1 [strings.general]	Missing requirements for `basic_string::value_type`	No	4
2994⁽ⁱ⁾	Open	21.2 [char.traits]	Needless UB for `basic_string` and `basic_string_view`	Yes	3
3085⁽ⁱ⁾	Open	21.2.1 [char.traits.require]	`char_traits::copy` precondition too weak	Yes	2
2959⁽ⁱ⁾	New	21.2.3.3 [char.traits.specializations.char16.t]	`char_traits<char16_t>::eof` is a valid UTF-16 code unit	No	3
3339⁽ⁱ⁾	New	21.3.2 [basic.string]	Move-constructed empty-container capacity	No	3
3451⁽ⁱ⁾	New	21.3.2 [basic.string]	Inconsistently explicit deduction guides	Yes	3
2883⁽ⁱ⁾	LEWG	21.4 [string.view]	The standard library should provide `string_view` parameters instead or in addition for functions defined with `char const *` or `string const &` as parameter types.	No
3457⁽ⁱ⁾	New	21.4.2 [string.view.template]	`*this` is not invalidated	Yes	3
3068⁽ⁱ⁾	Open	21.4.2 [string.view.template]	Forbid assigning an rvalue `basic_string` to `basic_string_view`	Yes	2
2237⁽ⁱ⁾	New	21.5 [c.strings]	`<cuchar>` macros	No	4
2238⁽ⁱ⁾	Open	21.5 [c.strings]	Problematic iterator-pair constructor of containers	No	3

Section 22 (36 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
2307⁽ⁱ⁾	LEWG	22 [containers]	Should the Standard Library use `explicit` only when necessary?	No	2
2885⁽ⁱ⁾	LEWG	22 [containers]	The relational operators of `optional` and `variant` completely reflect the semantics of the element types — this is inconsistent with other types in the library	No
2884⁽ⁱ⁾	LEWG	22 [containers]	Relational operators for containers should sfinae; if the underlying type is not comparable, neither should the container be	No
3059⁽ⁱ⁾	New	22.2 [container.requirements]	Wrong requirements for map-like associative container assignment?	No	3
3028⁽ⁱ⁾	New	22.2.1 [container.requirements.general]	Container requirements tables should distinguish `const` and non-`const` variables	Yes	3
3431⁽ⁱ⁾	New	22.2.1 [container.requirements.general]	`<=>` for containers should require `three_way_comparable<T>` instead of `<=>`	Yes	2
2269⁽ⁱ⁾	New	22.2.1 [container.requirements.general]	Container iterators and argument-dependent lookup	No	4
1521⁽ⁱ⁾	Open	22.2.1 [container.requirements.general]	Requirements on internal pointer representations in containers	Yes	3
2321⁽ⁱ⁾	Open	22.2.1 [container.requirements.general]	Moving containers should (usually) be required to preserve iterators	Yes	3
2705⁽ⁱ⁾	New	22.2.3 [sequence.reqmts]	Questionable precondition on Sequence containers `a.assign(n, t)`	Yes	3
3297⁽ⁱ⁾	New	22.2.3 [sequence.reqmts]	Useless sequence container requirement	Yes	3
2206⁽ⁱ⁾	Open	22.2.3 [sequence.reqmts]	Inaccuracy in `initializer_list` constructor requirements	Yes	3
2743⁽ⁱ⁾	Tentatively Ready	22.2.4.1 [container.node.overview]	p0083r3 `node_handle` private members missing "exposition only" comment	Yes	3
3438⁽ⁱ⁾	New	22.2.4.1 [container.node.overview]	§[container.node.overview] missing `multiset`/`map` cases	No	3
3227⁽ⁱ⁾	New	22.2.6 [associative.reqmts]	Ambiguity issue for `extract` in ordered and unordered associative containers	Yes	3
2362⁽ⁱ⁾	New	22.2.6 [associative.reqmts]	unique, associative `emplace()` should not move/copy the `mapped_type` constructor arguments when no insertion happens	No	3
2227⁽ⁱ⁾	Open	22.2.6 [associative.reqmts]	Stateful comparison objects in associative containers	No	3
2844⁽ⁱ⁾	Open	22.2.6 [associative.reqmts]	Stability of `a_uniq.insert(i, j)`	No	3
2215⁽ⁱ⁾	Open	22.2.6 [associative.reqmts]	(unordered) associative container functors should be `CopyConstructible`	Yes	3
1175⁽ⁱ⁾	Open	22.2.7 [unord.req]	`unordered` complexity	Yes	3
2198⁽ⁱ⁾	Open	22.2.7 [unord.req]	`max_load_factor(z)` makes no strong guarantees, but bans useful behavior	Yes	3
2189⁽ⁱ⁾	Open	22.2.7.1 [unord.req.except]	Throwing `swap` breaks unordered containers' state	No	3
2335⁽ⁱ⁾	Tentatively NAD	22.3.7 [array]	`array<array<int, 3>, 4>` should be layout-compatible with `int[4][3]`	No	3
3219⁽ⁱ⁾	New	22.3.7.1 [array.overview]	`std::array` overview container requirements are incorrect	Yes	3
2823⁽ⁱ⁾	Open	22.3.7.1 [array.overview]	`std::array` initialization is still not permissive enough	Yes	3
2157⁽ⁱ⁾	Open	22.3.7.5 [array.zero]	How does `std::array<T,0>` initialization work when `T` is not default-constructible?	Yes	3
3308⁽ⁱ⁾	New	22.3.8.4 [deque.modifiers]	`vector` and `deque` iterator `erase` invalidates elements even when no change occurs	Yes	3
3088⁽ⁱ⁾	New	22.3.9.6 [forwardlist.ops]	`forward_list::merge` behavior unclear when passed `*this`	Yes	3
2997⁽ⁱ⁾	New	22.3.10.5 [list.ops]	LWG 491 and the specification of `{forward_,}list::unique`	Yes	3
2158⁽ⁱ⁾	Open	22.3.11.3 [vector.capacity]	Conditional copy/move in `std::vector`	Yes	3
1102⁽ⁱ⁾	Open	22.3.11.3 [vector.capacity]	`std::vector`'s reallocation policy still unclear	Yes	3
1422⁽ⁱ⁾	Open	22.3.12 [vector.bool]	`vector<bool>` iterators are not random access	No	3
2713⁽ⁱ⁾	New	22.5 [unord]	More missing allocator-extended constructors for unordered containers	Yes	3
3189⁽ⁱ⁾	New	22.6.5 [priority.queue]	Missing requirement for `std::priority_queue`	No	3
3161⁽ⁱ⁾	Open	22.6.6 [stack]	Container adapters mandate use of `emplace_back` but don't require it	Yes	3
3203⁽ⁱ⁾	New	22.7.3.1 [span.overview]	`span` element access invalidation	Yes	2

Section 23 (34 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
1213⁽ⁱ⁾	Open	23.3 [iterator.requirements]	Meaning of valid and singular iterator underspecified	No	4
2375⁽ⁱ⁾	New	23.3.1 [iterator.requirements.general]	Is [iterator.requirements.general]/9 too broadly applied?	No	3
3446⁽ⁱ⁾	Tentatively Ready	23.3.2.2 [readable.traits]	`indirectly_readable_traits` ambiguity for types with both `value_type` and `element_type`	Yes	2
3420⁽ⁱ⁾	Tentatively Ready	23.3.2.3 [iterator.traits]	`cpp17-iterator` should check that the type looks like an iterator first	Yes	0
3283⁽ⁱ⁾	New	23.3.2.3 [iterator.traits]	Types satisfying `input_iterator` but not `equality_comparable` look like C++17 output iterators	Yes	2
3287⁽ⁱ⁾	New	23.3.2.3 [iterator.traits]	Exposition-only `cpp17-input-iterator` concept is needlessly complex	Yes	3
3289⁽ⁱ⁾	New	23.3.2.3 [iterator.traits]	Cannot opt out of C++17 iterator-ness without also opting out of C++20 iterator-ness	Yes	2
3467⁽ⁱ⁾	Tentatively Ready	23.3.4.4 [iterator.concept.winc]	`bool` can't be an integer-like type	Yes	0
3376⁽ⁱ⁾	New	23.3.4.4 [iterator.concept.winc]	"integer-like class type" is too restrictive	No	3
3366⁽ⁱ⁾	New	23.3.4.4 [iterator.concept.winc]	Narrowing conversions between integer and integer-class types	No	3
2962⁽ⁱ⁾	Open	23.3.5.2 [input.iterators]	Iterators of Containers of move-only types do not model `InputIterator`	Yes	2
484⁽ⁱ⁾	Open	23.3.5.2 [input.iterators]	Convertible to `T`	No	2
2035⁽ⁱ⁾	Open	23.3.5.3 [output.iterators]	Output iterator requirements are broken	Yes	3
2038⁽ⁱ⁾	Open	23.3.5.3 [output.iterators]	Missing definition for `incrementable` iterator	No	3
3197⁽ⁱ⁾	New	23.4.2 [iterator.operations]	`std::prev` should not require `BidirectionalIterator`	Yes	3
3439⁽ⁱ⁾	New	23.4.2 [iterator.operations]	"`Distance`" template parameter is underspecified	No	3
3344⁽ⁱ⁾	New	23.4.2 [iterator.operations]	`advance(i, most-negative)` and `prev(i, most-negative)`	Yes	3
2931⁽ⁱ⁾	Open	23.4.2 [iterator.operations]	Missed optimization opportunity with single-argument `std::next`	No	3
3453⁽ⁱ⁾	Tentatively Ready	23.4.3.1 [range.iter.op.advance]	Generic code cannot call `ranges::advance(i, s)`	Yes	2
3306⁽ⁱ⁾	Tentatively Ready	23.4.3.1 [range.iter.op.advance]	`ranges::advance` violates its preconditions	Yes	2
3392⁽ⁱ⁾	Open	23.4.3.2 [range.iter.op.distance]	`ranges::distance()` cannot be used on a move-only iterator with a sized sentinel	Yes	3
2858⁽ⁱ⁾	New	23.5.1 [reverse.iterators]	LWG 2472: actually an incompatibility with C++03	Yes	4
2595⁽ⁱ⁾	New	23.5.1.1 [reverse.iterator]	`reverse_iterator::operator[]`'s return type revisited	Yes	3
3391⁽ⁱ⁾	New	23.5.3 [move.iterators]	Problems with `counted_iterator/move_iterator::base() const &`	Yes	2
3435⁽ⁱ⁾	Tentatively Ready	23.5.3.3 [move.iter.cons]	`three_way_comparable_with<reverse_iterator<int>, reverse_iterator<const int>>`	Yes	2
3293⁽ⁱ⁾	New	23.5.3.8 [move.iter.nonmember]	`move_iterator operator+()` has incorrect constraints	Yes	3
3472⁽ⁱ⁾	Tentatively Ready	23.5.6 [iterators.counted]	`counted_iterator` is missing preconditions	Yes
3408⁽ⁱ⁾	New	23.5.6.1 [counted.iterator]	LWG 3291 reveals deficiencies in `counted_iterator`	No	2
3107⁽ⁱ⁾	New	23.6.3 [istreambuf.iterator]	`istreambuf_iterator` has public exposition-only member	Yes	4
3188⁽ⁱ⁾	New	23.6.3 [istreambuf.iterator]	`istreambuf_iterator::pointer` should not be unspecified	Yes	3
2366⁽ⁱ⁾	New	23.6.3 [istreambuf.iterator]	`istreambuf_iterator` end-of-stream equality	No	3
3108⁽ⁱ⁾	New	23.6.3.1 [istreambuf.iterator.proxy]	`istreambuf_iterator::proxy::operator*` should be `const`	Yes	3
3207⁽ⁱ⁾	Tentatively NAD	23.7 [iterator.range]	`N` in `ssize(const T (&)[N])` should be `size_t`	Yes
2457⁽ⁱ⁾	New	23.7 [iterator.range]	`std::begin()` and `std::end()` do not support multi-dimensional arrays correctly	No	3

Section 24 (24 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
3258⁽ⁱ⁾	New	24.3.1 [range.access.begin]	Range access and `initializer_list`	Yes	3
3368⁽ⁱ⁾	Tentatively Ready	24.3.9 [range.prim.size]	Exactly when does `size` return `end - begin`?	Yes	0
3403⁽ⁱ⁾	Tentatively Ready	24.3.10 [range.prim.ssize]	Domain of `ranges::ssize(E)` doesn't match `ranges::size(E)`	Yes	2
3361⁽ⁱ⁾	New	24.4.2 [range.range]	`safe_range<SomeRange&>` case	Yes	3
3452⁽ⁱ⁾	New	24.4.4 [range.view]	Are views really supposed to have strict `𝒪(1)` destruction?	No	2
3481⁽ⁱ⁾	New	24.4.5 [range.refinements]	`viewable_range` mishandles lvalue move-only views	Yes	2
3404⁽ⁱ⁾	Tentatively Ready	24.5.3 [range.subrange]	Finish removing `subrange`'s conversions from `pair-like`	Yes	0
3470⁽ⁱ⁾	New	24.5.3 [range.subrange]	`convertible-to-non-slicing` seems to reject valid case	No	3
3433⁽ⁱ⁾	New	24.5.3.2 [range.subrange.access]	`subrange::advance(n)` has UB when `n < 0`	Yes	2
3428⁽ⁱ⁾	Tentatively Ready	24.6.2.2 [range.single.view]	`single_view`'s in place constructor should be explicit	Yes	0
3394⁽ⁱ⁾	Tentatively NAD	24.6.4.3 [range.istream.iterator]	`ranges::basic_istream_view::iterator` has an empty `iterator_traits`	No	2
3477⁽ⁱ⁾	Tentatively Ready	24.7.2 [range.semi.wrap]	Simplify constraints for `semiregular-box`	Yes	0
3479⁽ⁱ⁾	New	24.7.2 [range.semi.wrap]	`semiregular-box` mishandles self-assignment	Yes	3
3483⁽ⁱ⁾	Tentatively Ready	24.7.5.3 [range.transform.iterator]	`transform_view::iterator`'s difference is overconstrained	Yes	0
3448⁽ⁱ⁾	New	24.7.5.4 [range.transform.sentinel]	`transform_view`'s `sentinel<false>` not comparable with `iterator<true>`	Yes	1
3407⁽ⁱ⁾	New	24.7.6.1 [range.take.overview]	Some problems with the wording changes of P1739R4	No	2
3449⁽ⁱ⁾	New	24.7.6.3 [range.take.sentinel]	`take_view` and `take_while_view`'s `sentinel<false>` not comparable with their const iterator	Yes	1
3482⁽ⁱ⁾	New	24.7.8.2 [range.drop.view]	`drop_view`'s `const begin` should additionally require `sized_range`	Yes
3474⁽ⁱ⁾	Tentatively Ready	24.7.10 [range.join]	Nesting `join_view`s is broken because of CTAD	Yes
3322⁽ⁱ⁾	Tentatively Resolved	24.7.10.2 [range.join.view]	Add `join_view::base()` member function	Yes	0
3365⁽ⁱ⁾	Tentatively NAD	24.7.10.3 [range.join.iterator]	Rename ref-is-glvalue to deref-is-ref	Yes	0
3478⁽ⁱ⁾	New	24.7.11 [range.split]	`views::split` drops trailing empty range	No	2
3405⁽ⁱ⁾	Tentatively Ready	24.7.13.2 [range.common.view]	`common_view`'s converting constructor is bad, too	Yes	0
3406⁽ⁱ⁾	New	24.7.15.2 [range.elements.view]	`elements_view::begin()` and `elements_view::end()` have incompatible constraints	Yes	1

Section 25 (19 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
2963⁽ⁱ⁾	New	25 [algorithms]	Algorithms with underspecified iterator requirements	No	3
1238⁽ⁱ⁾	Open	25 [algorithms]	Defining algorithms taking iterator for range	No	3
2173⁽ⁱ⁾	Open	25 [algorithms]	The meaning of `operator +` in the description of the algorithms	Yes	4
3419⁽ⁱ⁾	Tentatively Ready	25.2 [algorithms.requirements]	§[algorithms.requirements]/15 doesn't reserve as many rights as it intends to	Yes	0
3049⁽ⁱ⁾	Open	25.2 [algorithms.requirements]	Missing wording allowing algorithms to use copies of function objects as substitutes for their parameters	Yes	3
3213⁽ⁱ⁾	Tentatively Resolved	25.6.4 [alg.foreach]	`for_each_n` and `copy_n` missing requirements for `Size`	Yes	3
3089⁽ⁱ⁾	New	25.7.1 [alg.copy]	`copy_n` should require non-overlapping ranges	Yes	3
2471⁽ⁱ⁾	Open	25.7.1 [alg.copy]	`copy_n`'s number of `InputIterator` increments unspecified	No	3
2985⁽ⁱ⁾	LEWG	25.7.10 [alg.reverse]	`std::reverse` should be permitted to be vectorized	Yes
2267⁽ⁱ⁾	New	25.8.1.4 [partial.sort.copy]	`partial_sort_copy` underspecified for ranges of two different types	No	3
2973⁽ⁱ⁾	LEWG	25.8.5 [alg.merge]	`inplace_merge` exact comparison count complexity prohibits useful real-world optimizations	Yes
3032⁽ⁱ⁾	New	25.8.7 [alg.heap.operations]	`ValueSwappable` requirement missing for `push_heap` and `make_heap`	Yes	3
3029⁽ⁱ⁾	Open	25.8.7.2 [pop.heap]	`pop_heap` over-constrains input	Yes	3
3410⁽ⁱ⁾	New	25.8.11 [alg.three.way]	`lexicographical_compare_three_way` is overspecified	No	3
3060⁽ⁱ⁾	New	25.10.7 [exclusive.scan]	`XXX_scan` algorithms are specified to work with move-only `T`, but are specified to make `N` copies of `T` into the destination range	No	2
3463⁽ⁱ⁾	New	25.10.10 [transform.inclusive.scan]	Incorrect requirements for `transform_inclusive_scan` without initial value	Yes	3
3063⁽ⁱ⁾	New	25.11 [specialized.algorithms]	Parallel algorithms in `<memory>` are underspecified	No	3
3064⁽ⁱ⁾	New	25.11 [specialized.algorithms]	How do uninitialized memory algorithms obtain pointer without undefined behavior?	No	3
3436⁽ⁱ⁾	New	25.11.7 [specialized.construct]	`std::construct_at` should support arrays	No	2

Section 26 (16 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
2714⁽ⁱ⁾	New	26.4.6 [complex.ops]	`complex` stream extraction underspecified	Yes	3
2846⁽ⁱ⁾	New	26.4.9 [cmplx.over]	Undefined phrase "effectively cast"	Yes	3
2154⁽ⁱ⁾	New	26.6.2.3 [rand.req.urng]	What exactly does compile-time complexity imply?	No	4
3422⁽ⁱ⁾	New	26.6.7.1 [rand.util.seedseq]	Issues of `seed_seq`'s constructors	Yes	3
2352⁽ⁱ⁾	New	26.6.7.1 [rand.util.seedseq]	Is a default-constructed `std::seed_seq` intended to produce a predictable `.generate()`?	No	2
3402⁽ⁱ⁾	New	26.6.8.3.4 [rand.dist.bern.negbin]	Wording for `negative_binomial_distribution` is unclear as a consequence of LWG 2406 resolution	No	3
2524⁽ⁱ⁾	Open	26.6.8.4.2 [rand.dist.pois.exp]	`generate_canonical` can occasionally return 1.0	No	2
2423⁽ⁱ⁾	New	26.7.5 [template.slice.array]	Missing specification `slice_array`, `gslice_array`, `mask_array`, `indirect_array` copy constructor	Yes	4
2115⁽ⁱ⁾	Open	26.7.8 [template.mask.array]	Undefined behaviour for `valarray` assignments with `mask_array` index?	No	4
2847⁽ⁱ⁾	New	26.8.1 [cmath.syn]	`sin(float)` should call `sinf(float)`	No	3
3234⁽ⁱ⁾	New	26.8.1 [cmath.syn]	Sufficient Additional Special Math Overloads	No	3
3223⁽ⁱ⁾	New	26.8.1 [cmath.syn]	`lerp` should not add the "sufficient additional overloads"	No	2
2923⁽ⁱ⁾	New	26.8.1 [cmath.syn]	`noexcept` is inconsistently applied across headers which import components of the C standard library	No	4
3093⁽ⁱ⁾	New	26.8.2 [c.math.abs]	LWG 2294/2192 missed a `std::abs` overload	No	3
3172⁽ⁱ⁾	New	26.8.3 [c.math.hypot3]	3-arg `std::hypot` is underspecified compared to the 2-arg overload	Yes	3
3066⁽ⁱ⁾	New	26.8.6 [sf.cmath]	"report a domain error" in [sf.cmath]/1 is underspecified	No	3

Section 27 (5 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
2592⁽ⁱ⁾	New	27.2 [time.syn]	Require that `chrono::duration_cast`s from smaller durations to larger durations do not overflow	Yes	4
3123⁽ⁱ⁾	New	27.5 [time.duration]	`duration` constructor from representation shouldn't be effectively non-throwing	Yes	3
3090⁽ⁱ⁾	New	27.5.1 [time.duration.cons]	What is §[time.duration.cons]p4's "no overflow is induced in the conversion" intended to mean?	Yes	3
2383⁽ⁱ⁾	Open	27.5.8 [time.duration.literals]	Overflow cannot be ill-formed for chrono::duration integer literals	No	3
3125⁽ⁱ⁾	Tentatively Resolved	27.5.10 [time.duration.io]	`duration` streaming precondition should be a SFINAE condition	No	2

Section 28 (12 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
3353⁽ⁱ⁾	New	28.3.1 [locale]	`locale`'s copy assignment operator should return `locale&`	Yes	3
2295⁽ⁱ⁾	New	28.3.1.2 [locale.cons]	Locale name when the provided `Facet` is a `nullptr`	No	3
3337⁽ⁱ⁾	New	28.4.1.4.2 [locale.codecvt.virtuals]	What is "is initialized" supposed to mean?	No	3
3214⁽ⁱ⁾	New	28.4.2.1.2 [facet.num.get.virtuals]	§[facet.num.get.virtuals] doesn't say what it means for digit grouping to be consistent	No	4
2381⁽ⁱ⁾	Open	28.4.2.1.2 [facet.num.get.virtuals]	Inconsistency in parsing floating point numbers	Yes	2
2703⁽ⁱ⁾	New	28.4.2.2.2 [facet.num.put.virtuals]	No provision for fill-padding when `boolalpha` is set	No	3
2702⁽ⁱ⁾	New	28.4.2.2.2 [facet.num.put.virtuals]	`num_put::do_put(..., bool)` performs ill-formed `do_put` call	No	3
2117⁽ⁱ⁾	Open	28.4.2.2.2 [facet.num.put.virtuals]	`ios_base` manipulators should have `showgrouping/noshowgrouping`	No	3
3275⁽ⁱ⁾	New	28.4.5.1.2 [locale.time.get.virtuals]	Why does `time_get::do_get` require a valid pointer when none of the others do?	Yes	3
2512⁽ⁱ⁾	Open	28.4.5.1.2 [locale.time.get.virtuals]	Y2K bites; what is an "unambiguous year identifier"?	No	4
2983⁽ⁱ⁾	New	28.4.6.2.2 [locale.money.put.virtuals]	`money_put::do_put` underspecified	Yes	3
2691⁽ⁱ⁾	New	28.4.6.3 [locale.moneypunct]	`money_base::space` and `do_put`: U+0020 versus `fill`	Yes	3

Section 29 (25 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
423⁽ⁱ⁾	Open	29 [input.output]	Effects of negative `streamsize` in iostreams	Yes	3
2675⁽ⁱ⁾	New	29.5.3.6 [ios.base.callback]	`register_callback` can fail	No	3
3434⁽ⁱ⁾	Tentatively Ready	29.5.3.7 [ios.base.cons]	`ios_base` never reclaims memory for `iarray` and `parray`	Yes
3118⁽ⁱ⁾	New	29.5.4.2 [fpos.operations]	`fpos` equality comparison unspecified	No	4
2214⁽ⁱ⁾	Open	29.5.5.2 [basic.ios.cons]	Clarify `basic_ios::init` call restrictions	Yes	4
2504⁽ⁱ⁾	New	29.6.3 [streambuf]	`basic_streambuf` is not an abstract class	No	3
2349⁽ⁱ⁾	Open	29.7.4.2.1 [istream.formatted.reqmts]	Clarify input/output function rethrow behavior	Yes	3
2498⁽ⁱ⁾	Tentatively Resolved	29.7.4.5 [istream.rvalue]	`operator>>(basic_istream&&, T&&)` returns `basic_istream&`, but should probably return `basic_istream&&`	No	3
2342⁽ⁱ⁾	New	29.7.5.1 [ostream]	User conversion to `wchar_t const*` or to `wchar_t` not invoked for `operator<<`	Yes	4
2497⁽ⁱ⁾	New	29.7.5.1.3 [ostream.sentry]	Use of `uncaught_exception()`	Yes	3
2984⁽ⁱ⁾	New	29.7.7 [ext.manip]	`put_money(99)` is unnecessarily undefined	Yes	3
3309⁽ⁱ⁾	New	29.8 [string.streams]	Is `<ios>` implicitly `#include`d by `<sstream>`, `<fstream>` etc.?	No	3
3006⁽ⁱ⁾	Tentatively Resolved	29.8.2.1 [stringbuf.cons]	Constructing a `basic_stringbuf` from a `string` — where does the allocator come from?	No	3
3097⁽ⁱ⁾	New	29.8.2.4 [stringbuf.virtuals]	`basic_stringbuf seekoff` effects trigger undefined behavior and have contradictory returns	No	3
2286⁽ⁱ⁾	Open	29.8.2.4 [stringbuf.virtuals]	`stringbuf::underflow()` underspecified	Yes	4
3430⁽ⁱ⁾	Open	29.9.1 [fstream.syn]	`std::fstream` & co. should be constructible from `string_view`	Yes	3
3399⁽ⁱ⁾	Tentatively NAD	29.10.2.1 [syncstream.syncbuf.overview]	`basic_syncbuf::emit()` + Qt's `#define emit` = Big Bada-Boom	Yes
3098⁽ⁱ⁾	New	29.11.7.4.9 [fs.path.decompose]	Misleading example for `filesystem::path::filename()`	Yes	3
2947⁽ⁱ⁾	New	29.11.9.1 [fs.enum.path.format]	Clarify several filesystem terms	No	3
3171⁽ⁱ⁾	Tentatively Ready	29.11.11 [fs.class.directory.entry]	LWG 2989 breaks `directory_entry` stream insertion	Yes	2
3078⁽ⁱ⁾	New	29.11.11 [fs.class.directory.entry]	`directory_entry`, `directory_iterator` and `recursive_directory_iterator` perform needless path copies	No	3
3480⁽ⁱ⁾	New	29.11.12 [fs.class.directory.iterator]	`directory_iterator` and `recursive_directory_iterator` are not C++20 ranges	No	3
2708⁽ⁱ⁾	Open	29.11.13.1 [fs.rec.dir.itr.members]	`recursive_directory_iterator::recursion_pending()` is incorrectly specified	Yes	2
3057⁽ⁱ⁾	Open	29.11.14.3 [fs.op.copy]	Correct `copy_options` handling	Yes	2
3056⁽ⁱ⁾	New	29.11.14.4 [fs.op.copy.file]	`copy_file()` copies which attributes?	Yes	3

Section 30 (18 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
2490⁽ⁱ⁾	New	30 [re]	`<regex>` needs lots of `noexcept`	No	3
523⁽ⁱ⁾	Open	30 [re]	regex case-insensitive character ranges are unimplementable as specified	No	4
2431⁽ⁱ⁾	New	30.3 [re.req]	Missing regular expression traits requirements	No	3
2331⁽ⁱ⁾	Open	30.5.1 [re.synopt]	`regex_constants::collate`'s effects are inaccurately summarized	Yes	3
2338⁽ⁱ⁾	Open	30.7 [re.traits]	§[re.traits]/7 expects of locale facets something not guaranteed by [locale.facet]/4	Yes	3
1396⁽ⁱ⁾	Tentatively NAD	30.8 [re.regex]	`regex` should support allocators	No		1451
3261⁽ⁱ⁾	New	30.8 [re.regex]	`regex` components' `noexcept` annotations appear broken for POCMA or throwing `BidirectionalIterator`	No	3
3341⁽ⁱ⁾	New	30.8.1 [re.regex.construct]	`basic_regex` range constructor: Missing requirements for iterator types	No	3
2137⁽ⁱ⁾	Open	30.8.2 [re.regex.assign]	Misleadingly constrained post-condition in the presence of exceptions	Yes	3
3126⁽ⁱ⁾	New	30.9 [re.submatch]	There's no `std::sub_match::compare(string_view)` overload	Yes	3
3204⁽ⁱ⁾	New	30.9 [re.submatch]	`sub_match::swap` only swaps the base class	Yes	3
2195⁽ⁱ⁾	Open	30.10 [re.results]	Missing constructors for `match_results`	Yes	3
2191⁽ⁱ⁾	New	30.10.1 [re.results.const]	Incorrect specification of `match_results(match_results&&)`	Yes	4
2216⁽ⁱ⁾	New	30.11.4 [re.alg.replace]	`regex_replace(basic_string)` allocator handling	No	3
2220⁽ⁱ⁾	Open	30.12.2.2 [re.tokiter.comp]	Under-specification of `operator==` for `regex_token_iterator`	Yes	3
2986⁽ⁱ⁾	New	30.13 [re.grammar]	Handling of multi-character collating elements by the `regex` FSM is underspecified	No	4
2987⁽ⁱ⁾	New	30.13 [re.grammar]	Relationship between `traits_inst.lookup_collatename` and the `regex` FSM is underspecified with regards to `ClassAtomCollatingElement`	No	3
2546⁽ⁱ⁾	New	30.13 [re.grammar]	Implementability of locale-sensitive UnicodeEscapeSequence matching	No	4

Section 31 (12 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
3220⁽ⁱ⁾	New	31.2 [atomics.syn]	P0558 broke conforming C++14 uses of atomic `shared_ptr`	Yes	3
2236⁽ⁱ⁾	SG1	31.2 [atomics.syn]	`kill_dependency` unconditionally noexcept	No
3268⁽ⁱ⁾	New	31.4 [atomics.order]	`memory_order::memory_order_foo` broken in C++20	Yes	4
2265⁽ⁱ⁾	Open	31.4 [atomics.order]	29.3p9 appears to rule out some acceptable executions	No	4
1459⁽ⁱ⁾	LEWG	31.4 [atomics.order]	Overlapping evaluations are allowed	No		1458
3263⁽ⁱ⁾	New	31.6 [atomics.wait]	Atomic waiting function calls should only be unblocked once	Yes	3
3288⁽ⁱ⁾	New	31.6 [atomics.wait]	`atomic<T>::notify_one` is unimplementable	Yes	2
3485⁽ⁱ⁾	New	31.7 [atomics.ref.generic]	`atomic_ref` safety should be based on operations that "potentially conflict" rather than lifetime	No
3409⁽ⁱ⁾	New	31.7.1 [atomics.ref.ops]	Too lax description of `atomic_ref<T>::required_alignment`	Yes	3
3417⁽ⁱ⁾	SG1	31.8.1 [atomics.types.operations]	Missing `volatile` atomic deprecations	Yes	3
3047⁽ⁱ⁾	New	31.8.2 [atomics.types.int]	`atomic` compound assignment operators can cause undefined behavior when corresponding `fetch_meow` members don't	Yes	3
3418⁽ⁱ⁾	New	31.9 [atomics.nonmembers]	Deprecated free functions in `<atomic>`	Yes	3

Section 32 (19 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
2819⁽ⁱ⁾	New	32.2.5 [thread.req.lockable]	Unspecified Return type: elements	Yes	3
1484⁽ⁱ⁾	LEWG	32.4.2 [thread.thread.class]	Need a way to join a thread with a timeout	No
3476⁽ⁱ⁾	Tentatively Ready	32.4.2.2 [thread.thread.constr]	`thread` and `jthread` constructors require that the parameters be move-constructible but never move construct the parameters	Yes	0
3475⁽ⁱ⁾	New	32.4.2.2 [thread.thread.constr]	`std::thread`'s constructor needs to be able to report general memory allocation failures	Yes	3
1488⁽ⁱ⁾	LEWG	32.5 [thread.mutex]	Improve interoperability between the C++0x and C1x threads APIs	No
936⁽ⁱ⁾	LEWG	32.5.3 [thread.mutex.requirements]	Mutex type overspecified	No		961
961⁽ⁱ⁾	LEWG	32.5.3 [thread.mutex.requirements]	Various threading bugs #11	No		936
1493⁽ⁱ⁾	LEWG	32.5.3 [thread.mutex.requirements]	Add `mutex`, `recursive_mutex`, `is_locked` function	No
2363⁽ⁱ⁾	Open	32.5.3.5.1 [thread.sharedtimedmutex.class]	Defect in 30.4.1.4.1 [thread.sharedtimedmutex.class]	Yes	2
2731⁽ⁱ⁾	Tentatively Ready	32.5.4.1 [thread.lock.guard]	Existence of `lock_guard<MutexTypes...>::mutex_type` typedef unclear	Yes	3
3343⁽ⁱ⁾	New	32.6.2 [thread.condition.nonmember]	Ordering of calls to `unlock()` and `notify_all()` in Effects element of `notify_all_at_thread_exit()` should be reversed	Yes	3
3425⁽ⁱ⁾	Tentatively Ready	32.6.4 [thread.condition.condvarany]	`condition_variable_any` fails to constrain its `Lock` parameters	Yes	0
2530⁽ⁱ⁾	Open	32.9.5 [futures.state]	Clarify observable side effects of releasing a shared state	No	3
3466⁽ⁱ⁾	Tentatively Ready	32.9.6 [futures.promise]	Specify the requirements for `promise`/`future`/`shared_future` consistently	Yes	3
3003⁽ⁱ⁾	Open	32.9.6 [futures.promise]	`<future>` still has type-erased allocators in `promise`	Yes	2
2532⁽ⁱ⁾	Open	32.9.6 [futures.promise]	Satisfying a `promise` at thread exit	Yes	3
2095⁽ⁱ⁾	LEWG	32.9.6 [futures.promise]	`promise` and `packaged_task` missing constructors needed for uses-allocator construction	Yes	4
3458⁽ⁱ⁾	Tentatively Resolved	32.9.7 [futures.unique.future]	Is `shared_future` intended to work with arrays or function types?	Yes	0
2202⁽ⁱ⁾	Deferred	32.9.9 [futures.async]	Missing allocator support by `async`	No	4

Section D (8 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
3484⁽ⁱ⁾	New	D.9.6 [depr.c.headers.other]	Should `<stddef.h>` declare `::nullptr_t`?	Yes
3109⁽ⁱ⁾	New	D.12.2 [depr.strstreambuf]	`strstreambuf` is copyable	No	4
3095⁽ⁱ⁾	New	D.12.2.3 [depr.strstreambuf.virtuals]	`strstreambuf` refers to nonexistent member of `fpos`, `fpos::offset`	Yes	4
2507⁽ⁱ⁾	New	D.20 [depr.locale.stdcvt]	`codecvt_mode` should be a bitmask type	No	3
2478⁽ⁱ⁾	New	D.21.1 [depr.conversions.string]	Unclear how `wstring_convert` uses `cvtstate`	No	4
2481⁽ⁱ⁾	New	D.21.1 [depr.conversions.string]	`wstring_convert` should be more precise regarding "byte-error string" etc.	No	4
2479⁽ⁱ⁾	New	D.21.2 [depr.conversions.buffer]	Unclear how `wbuffer_convert` uses `cvtstate`	No	4
2480⁽ⁱ⁾	New	D.21.2 [depr.conversions.buffer]	Error handling of `wbuffer_convert` unclear	No	4

Section concurr.ts 99 (1 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
2533⁽ⁱ⁾	SG1	99 [concurr.ts::futures.unique_future]	[concurr.ts] Constrain threads where `future::then` can run a continuation	No

Section fund.ts.v2 4 (1 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
2564⁽ⁱ⁾	New	4.2 [fund.ts.v2::func.wrap.func]	[fund.ts.v2] `std::experimental::function` constructors taking allocator arguments may throw exceptions	Yes	3

Section fund.ts.v2 5 (1 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
2561⁽ⁱ⁾	New	5.3.4 [fund.ts.v2::optional.object.swap]	[fund.ts.v2] Incorrect exception specifications for 'swap' in C++ Extensions for Library Fundamentals	No	3

Section fund.ts.v3 3 (2 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
3136⁽ⁱ⁾	New	3.2.2.2.1 [fund.ts.v3::propagate_const.class_type_requirements]	[fund.ts.v3] LFTSv3 awkward wording in `propagate_const` requirements	Yes	3
3413⁽ⁱ⁾	Tentatively Ready	3.2.2.7 [fund.ts.v3::propagate_const.modifiers]	[fund.ts.v3] `propagate_const`'s `swap`'s `noexcept` specification needs to be constrained and use a trait	Yes	0

Section fund.ts.v3 5 (1 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
3167⁽ⁱ⁾	New	5.2 [fund.ts.v3::memory.observer.ptr]	[fund.ts.v3] Does `observer_ptr` support function types?	No	3

Section fund.ts.v3 10 (1 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
3357⁽ⁱ⁾	Open	10.1.2.1 [fund.ts.v3::rand.util.randint]	[fund.ts.v3] `default_random_engine` is overspecified for per-thread engine	Yes	3

Section fund.ts.v3 99 (1 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
3411⁽ⁱ⁾	New	99 [fund.ts.v3::memory.resource.syn]	[fund.ts.v3] Contradictory namespace rules in the Library Fundamentals TS	No	3

Section networking.ts 13 (2 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
3414⁽ⁱ⁾	Tentatively Ready	13.7 [networking.ts::async.exec.ctx]	[networking.ts] `service_already_exists` has no usable constructors	Yes	0
3124⁽ⁱ⁾	New	13.7.5 [networking.ts::async.exec.ctx.globals]	[networking.ts] Unclear how `execution_context` is intended to store services	Yes	3

Section networking.ts 16 (4 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
3114⁽ⁱ⁾	LEWG	16 [networking.ts::buffer]	[networking.ts] Permit efficient composition when using `DynamicBuffer`	Yes
3021⁽ⁱ⁾	New	16.2.2 [networking.ts::buffer.reqmts.constbuffersequence]	[networking.ts] Relax pointer equivalence requirement for `ConstBufferSequence`	Yes	3
3027⁽ⁱ⁾	New	16.2.4 [networking.ts::buffer.reqmts.dynamicbuffer]	[networking.ts] `DynamicBuffer` `prepare` exception specification	Yes	3
3072⁽ⁱ⁾	New	16.2.4 [networking.ts::buffer.reqmts.dynamicbuffer]	[networking.ts] `DynamicBuffer` object lifetimes underspecified	Yes	3

Section networking.ts 17 (1 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
3073⁽ⁱ⁾	New	17 [networking.ts::buffer.stream]	[networking.ts] (`async_`)`read` and (`async_`)`write` don't support `DynamicBuffer` lvalues	Yes	3

Section networking.ts 19 (2 issues)

(view all issues)

Issue	Status	Section	Title	Proposed Resolution	Priority	Duplicates
3444⁽ⁱ⁾	New	19.1.2 [networking.ts::socket.streambuf.members]	[networking.ts] `net::basic_socket_streambuf::connect(Args&&...)` effects are wrong	No	2
3445⁽ⁱ⁾	New	19.2.1 [networking.ts::socket.iostream.cons]	[networking.ts] `net::basic_socket_istream::connect` should be constrained	Yes	3