C++ Standard Library Issues List (Revision D125)

Index by Status and Section

Reference ISO/IEC IS 14882:2020(E)

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

Revised 2024-01-25 at 14:42:31 UTC

Ready (6 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
3975 Ready [format.context] Specializations of basic_format_context should not be permitted Yes 3
3950 Ready 23.3.2 [string.view.synop] std::basic_string_view comparison operators are overspecified Yes
3988 Ready 25.5.3 [const.iterators] Should as_const_view and basic_const_iterator provide base()? Yes 3
3984 Ready [range.utility.conv.to] ranges::to's recursion branch may be ill-formed Yes 3
3919 Ready 26.7.23 [range.enumerate] enumerate_view may invoke UB for sized common non-forward underlying ranges Yes 3
3767 Ready [locale.category] codecvt<charN_t, char8_t, mbstate_t> incorrectly added to locale Yes 3

Tentatively NAD (14 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
3635 Tentatively NAD 17.3.2 [version.syn] Add __cpp_lib_deduction_guides to feature test macros Yes 3
3901 Tentatively NAD 20.2.8 [allocator.uses] Is uses-allocator construction of a cv-qualified object type still well-formed after LWG 3870? No
3930 Tentatively NAD 21 [meta] Simplify type trait wording Yes
3996 Tentatively NAD [projected] projected<I, identity> should just be I Yes
2457 Tentatively NAD 25.7 [iterator.range] std::begin() and std::end() do not support multi-dimensional arrays correctly No 3
3982 Tentatively NAD 26.4.4 [range.view] is-derived-from-view-interface should require that T is derived from view_interface<T> Yes
4003 Tentatively NAD 26.5.3 [view.interface] view_interface::back is overconstrained Yes
3958 Tentatively NAD [range.utility.conv.to] ranges::to should prioritize the "reserve" branch Yes
3981 Tentatively NAD 26.7.2 [range.adaptor.object] Range adaptor closure object is underspecified for its return type Yes
3908 Tentatively NAD [range.enumerate.iterator] enumerate_view::iterator constructor is explicit Yes
3714 Tentatively NAD [range.zip.transform.view] Non-single-argument constructors for range adaptors should not be explicit Yes 4
3980 Tentatively NAD 33.5.4 [atomics.order] The read exclusive ownership of an atomic read-modify-write operation and whether its read and write are two operations are unclear Yes
3909 Tentatively NAD 99 [ranges.refinements] Issues about viewable_range Yes
3936 Tentatively NAD D [depr] Are implementations allowed to deprecate components not in [depr]? Yes

New (393 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
3513 New 3.41 [defns.prog.def.type] Fix definition of program-defined based on its uses Yes 3
4005 New 3.46 [defns.required.behavior] "Required behavior" too narrowly defined No
3669 New 4.1.2 [intro.abstract] std::filesystem operations should be observable behaviour No 3
3105 New 16 [library] T1 is convertible to T2 No 3
2949 New 16 [library] Unclear complexity requirements: space vs. time No 4
3538 New 16.2 [library.c] §[library.c] C library functions are not addressable No 2
3556 New [structure.requirements] Specification of when semantic constraints are imposed by use of concepts is unclear No 3
3193 New [structure.specifications] Mandates: and Expects: elements are not defined for types Yes 3
3401 New [structure.specifications] Is "as if by" equivalent to "equivalent to"? No 3
3977 New [bitmask.types] constexpr and noexcept for operators for bitmask types Yes
3620 New [character.seq.general] What are execution character sets and execution wide-character sets (after P2314R4)? No 3
3690 New [contents] std::make_from_tuple etc. should find all tuple-like std::get overloads Yes 3
3240 New [using.headers] Headers declare more than entities No 3
3640 New 16.4.4 [utility.requirements] Clarify which exceptions are propagated Yes 3
3044 New [allocator.requirements] Strange specification of max_size() for an allocator Yes 3
3267 New [allocator.requirements] Rebound allocators and is_always_equal Yes 4
3157 New [allocator.requirements] Allocator destroy and fancy pointer operations must be non-throwing Yes 3
2461 New [allocator.requirements] Interaction between allocators and container exception safety guarantees No 3
3682 New [allocator.requirements.general] A Cpp17Allocator type can't silently ignore an unsupported alignment No 3
3926 New [namespace.std] Which namespace std is the mentioned one? Yes 4
3928 New [namespace.posix] Non-top-level namespace posix shouldn't be reserved Yes 3
3550 New [reserved.names] Names reserved by C for standard library not reserved by C++ No 3
4033 New [macro.names] §[macro.names] defining macros after importing the standard library Yes
3920 New [extern.names] Bad footnotes claiming external linkage for entities defined as macros No 3
3142 New [res.on.functions] std::foo<incomplete> should be ill-formed NDR Yes 3
3511 New [res.on.arguments] Clarify global permission to move Yes 3
3429 New [res.on.requirements] "models" should subsume like "satisfies" Yes 3
2695 New [member.functions] "As if" unclear in [member.functions] No 3
3854 New [res.on.exception.handling] §[res.on.exception.handling]/3 should not be applied to all standard library types No 3
3229 New [res.on.exception.handling] §[res.on.exception.handling]#3 cannot apply to types with implicitly declared destructors Yes 3
3217 New 17.3.1 [support.limits.general] <memory> and <execution> should define __cpp_lib_parallel_algorithm Yes 3
3931 New 17.3.2 [version.syn] Too many paper bump __cpp_lib_ranges Yes 3
2248 New 17.3.5 [numeric.limits] numeric_limits::is_iec559 misnamed No 4
3922 New [numeric.limits.general] It's unclear whether numeric_limits can be specialized by users Yes 3
3923 New [numeric.limits.general] The specification of numeric_limits doesn't clearly distinguish between implementation requirements and user requirements 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 [new.delete.single] Possible problem in §[new.delete.single] Yes 3
2737 New [new.delete.single] Consider relaxing object size restrictions for single-object allocation functions No 3
2303 New [new.delete.placement] Explicit instantiation of std::vector<UserType> broken? No 3
2508 New [new.delete.dataraces] §[new.delete.dataraces] wording needs to be updated No 3
3624 New 17.7 [support.rtti] Inconsistency of <typeinfo>, <initializer_list>, and <compare> in the standard library Yes 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
3584 New 17.11.3 [cmp.common] Clarify common comparison category conversions Yes 3
3587 New 17.11.4 [cmp.concept] std::three_way_comparable_with<T, U, void> can be satisfied but can't be modeled No 3
3932 New 17.11.6 [cmp.alg] Expression-equivalence is sometimes unimplementable when passing prvalue expressions to comparison CPOs No 3
3491 New 17.11.6 [cmp.alg] What is a "decayed type"? No 3
3653 New 17.12.2 [coroutine.syn] <coroutine> is freestanding, but uses std::hash which is not No 3
3945 New 17.13.2 [cstdarg.syn] §[cstdarg.syn] 'Compatible types' are undefined No 3
3954 New 17.14.1 [support.c.headers.general] Feature-test macros in C headers (<stddef.h> etc.) No
3883 New 17.14.7 [support.c.headers.other] §[support.c.headers.other] Ambiguity in the requirements for includes Yes 4
3799 New 17.14.7 [support.c.headers.other] Should <math.h> provide 3-argument ::hypot overloads? No 3
3484 New 17.14.7 [support.c.headers.other] Should <stddef.h> declare ::nullptr_t? Yes 3
3895 New 18.3 [concepts.syn] Various relation concepts are missing default values of the second template parameters Yes 3
3608 New 18.4.4 [concept.convertible] convertible_to and temporary-bound references No 3
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
4041 New 18.4.9 [concept.swappable] The requirements on literal type in [concept.swappable] should be removed Yes
3019 New [syserr.errcat.derived] Presentation of "program defined classes derived from error_category" [syserr.errcat.derived] unclear and contains mistakes No 3
3053 New [syserr.errcode.overview] Prohibit error_code construction from rvalues of error_category Yes 3
3162 New [syserr.syserr.members] system_error::system_error(error_code ec) not explicit Yes 3
3625 New 19.6.2 [stacktrace.syn] Should <stacktrace> provide range access function templates? Yes 3
3626 New [stacktrace.basic.overview] Is std::basic_stacktrace required to use contiguous storage? Yes 3
2421 New 20.2.5 [ptr.align] Non-specification of handling zero size in std::align [ptr.align] No 3
3192 New [allocator.uses.construction] §[allocator.uses.construction] functions misbehave for const types Yes 3
3665 New [allocator.traits.types] Is std::allocator_traits<Alloc>::rebind_alloc SFINAE-friendly? No 3
3916 New 20.2.10 [default.allocator] allocator, polymorphic_allocator, and containers should forbid cv-qualified types No 3
3917 New 20.2.10 [default.allocator] Validity of allocator<void> and possibly polymorphic_allocator<void> should be clarified Yes 3
3684 New [allocator.members] std::allocator<T>::allocate_at_least in constant evaluation Yes 3
3159 New [unique.ptr.single] §[unique.ptr.single] requirements on deleter may be too strict No 3
3911 New [unique.ptr.single.observers] unique_ptr's operator* is missing a mandate Yes 3
2594 New [util.smartptr.shared] Contradicting definition of empty shared_ptr on shared_ptr(nullptr, d) Yes 3
4032 New [util.smartptr.shared.const] Possibly invalid types in the constraints of constructors of std::shared_ptr Yes
2906 New [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 [util.smartptr.shared.dest] shared_ptr deleter not specified to observe expired weak_ptr instances No 4
4024 New [util.smartptr.shared.create] Underspecified destruction of objects created in std::make_shared_for_overwrite/std::allocate_shared_for_overwrite Yes
3210 New [util.smartptr.shared.create] allocate_shared is inconsistent about removing const from the pointer passed to allocator construct and destroy Yes 3
3216 New [util.smartptr.shared.create] Rebinding the allocator before calling construct/destroy in allocate_shared Yes 3
3681 New 20.4.1 [mem.res.syn] Further considerations on LWG 3679 No 4
3637 New 20.4.2 [mem.res.class] pmr::memory_resource::do_allocate needs clarification No 3
3634 New 20.4.4 [mem.res.global] When are static-duration memory_resource objects destroyed? No 3
2848 New [mem.res.pool.options] Pass-through threshold for pool allocator No 3
2845 New 21.3.2 [meta.rqmts] enable_if, result_of, common_type and aligned_storage do not meet the definition of TransformationTrait No 3
3099 New 21.3.3 [meta.type.synop] is_assignable<Incomplete&, Incomplete&> Yes 2
2939 New 21.3.3 [meta.type.synop] Some type-completeness constraints of traits are overspecified No 2
3967 New [meta.unary.prop] The specification for std::is_nothrow_* traits may be ambiguous in some cases involving noexcept(false) No
3929 New [meta.unary.prop] Preconditions for type traits should be Mandates Yes 3
2827 New [meta.unary.prop] is_trivially_constructible and non-trivial destructors No 3
3697 New [meta.unary.prop] Preconditions of reference_constructs_from_temporary/reference_converts_from_temporary seem wrong Yes 3
2496 New [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
3400 New 21.3.7 [meta.rel] Does is_nothrow_convertible consider destruction of the destination type? No 3
4028 New 21.3.7 [meta.rel] std::is_(nothrow_)convertible should be reworded to avoid dependence on the return statement Yes
3174 New 21.3.7 [meta.rel] Precondition on is_convertible is too strong Yes 3
3205 New [meta.trans.other] decay_t in the new common_type fallback should be remove_cvref_t Yes 3
3902 New 22.2.6 [declval] Return type of std::declval<cv void> should be (cv-unqualified) void Yes 4
2599 New 22.2.6 [declval] Library incomplete type permission phrase is unclear No 3
3342 New 22.3.2 [pairs.pair] Library wording uses "initializes x with y", which is underspecified No 3
2766 New 22.3.3 [pairs.spec] Swapping non-swappable types Yes 3
3166 New 22.3.4 [pair.astuple] No such descriptive element as Value: No 3
3378 New 22.4.2 [tuple.syn] tuple_size_v/tuple_element_t should be available when tuple_size/tuple_element are Yes 3
4045 New [tuple.cnstr] tuple can create dangling references from tuple-like Yes
3583 New [tuple.cnstr] Clarify if/when short circuiting applies to conditions in Constraints: elements No 3
2528 New [tuple.cnstr] Order of std::tuple construction unspecified No 3
3978 New 22.4.5 [tuple.creation] The "no effect" requirement for std::ignore is unimplementable for volatile bit-fields No 4
2933 New 22.4.5 [tuple.creation] PR for LWG 2773 could be clearer Yes 3
4040 New 22.4.7 [tuple.helper] Contradictory specification of std::tuple_size No
3882 New 22.4.9 [tuple.rel] tuple relational operators have confused friendships Yes 3
3728 New 22.4.9 [tuple.rel] Can't make neither head nor tail of the description of operator<=>(tuple, tuple) Yes 4
2472 New 22.4.9 [tuple.rel] Heterogeneous comparisons in the standard library can result in ambiguities No 3
3886 New [optional.optional.general] Monad mo' problems Yes 3
2811 New [optional.ctor] "Selected constructor" wording is incorrect for optional/variant/any Yes 3
2746 New [optional.assign] Inconsistency between requirements for emplace between optional and variant Yes 3
3424 New [optional.observe] optional::value_or should never return a cv-qualified type Yes 3
4015 New [optional.monadic] LWG 3973 broke const overloads of std::optional monadic operations Yes
3613 New 22.5.4 [optional.nullopt] Specify that nullopt_t is copyable Yes 3
3627 New 22.5.9 [optional.specalg] Inconsistent specifications for std::make_optional overloads Yes 3
2881 New 22.6.3 [variant.variant] Adopt section III of P0308R0 No 3
3215 New [variant.ctor] variant default constructor has vague constexpr requirements No 2
3991 New [variant.assign] variant's move assignment should not be guaranteed to produce a valueless by exception state Yes 3
3069 New [variant.assign] Move assigning variant's subobject corrupts data Yes 3
3416 New 22.7.4 [any.class] The Throws: specification of std::any does not mention allocation No 3
3423 New 22.7.5 [any.nonmembers] std::any_cast should never return a cv-qualified type Yes 3
3688 New 22.8.4 [expected.bad] Exception specifications of copy/move member functions of std::bad_expected_access No 2
4031 New 22.8.5 [expected.bad.void] bad_expected_access<void> member functions should be noexcept Yes
3891 New [expected.object.general] LWG 3870 breaks std::expected<cv T, E> Yes 2
4026 New [expected.object.assign] Assignment operators of std::expected should propagate triviality Yes
4025 New [expected.void.assign] Move assignment operator of std::expected<cv void, E> should not be conditionally deleted Yes
3805 New 22.10 [function.objects] Expression evaluating to a call wrapper is a prvalue, not an object No 4
4007 New 22.10.4 [func.require] Mystic prohibition of calling a volatile-qualified perfect forwarding call wrapper Yes
3046 New 22.10.6 [refwrap] Do not require reference_wrapper to support non-referenceable function types Yes 3
2491 New 22.10.8 [comparisons] std::less<T*> in constant expression Yes 3
2547 New 22.10.8 [comparisons] Container requirements (and other library text) should say "strict total order", not just "total order" No 3
3979 New 22.10.13 [func.not.fn] Should we reject std::bind_front<42>() and its friends? Yes
3493 New [func.wrap.func.con] The constructor of std::function taking an F is missing a constraint Yes 3
3680 New [func.wrap.move.ctor] Constructor of move_only_function with empty ref-qualifier is over-constrained Yes 2
3642 New [func.wrap.move.ctor] move_only_function assignment operators seem to be defined suboptimal Yes 3
3512 New 22.10.19 [unord.hash] Incorrect exception safety guarantee for unordered containers No 3
3456 New 22.13.3 [charconv.from.chars] Pattern used by std::from_chars is underspecified Yes 3
3651 New 22.14 [format] Unspecified lifetime guarantees for the format string No 3
3997 New 22.14.1 [format.syn] std::formatter specializations should be consistently restricted to supported character types No 4
3641 New 22.14.1 [format.syn] Add operator== to format_to_n_result Yes 3
3939 New [format.string.std] §[format.string.std] char is not formatted as a character when charT is wchar_t No 3
3644 New [format.string.std] std::format does not define "integer presentation type" Yes 2
3586 New [format.string.std] Formatting character alignment inconsistencies Yes 2
3993 New [formatter.requirements] The parse function of a BasicFormatter type needs to be constexpr Yes 3
3943 New [format.formattable] Clarify lifetime requirements of BasicFormatter and Formatter Yes 3
3706 New [format.formatter.spec] How does std::format work with character arrays of unknown bound? No 3
3968 New 22.15.8 [bit.endian] std::endian::native value should be more specific about object representations Yes
2513 New 23.1 [strings.general] Missing requirements for basic_string::value_type No 4
3694 New 23.2.2 [char.traits.require] Should traits_type::length be customizable? No 4
3942 New 23.2.4 [char.traits.specializations] Inconsistent use of const char_type& in standard specializations of std::char_traits Yes 3
2959 New [char.traits.specializations.char16.t] char_traits<char16_t>::eof is a valid UTF-16 code unit No 3
3989 New 23.3 [string.view] The whole range for an iterator obtained from a std::span or std::basic_string_view is not clear No 3
3457 New 23.3.3 [string.view.template] *this is not invalidated Yes 3
3339 New 23.4.3 [basic.string] Move-constructed empty-container capacity No 3
3451 New 23.4.3 [basic.string] Inconsistently explicit deduction guides Yes 3
4029 New [basic.string.general] basic_string accidentally fails to meet the reversible container requirements Yes
3663 New [string.cons] basic_string(const T&, const Alloc&) turns moves into copies Yes 3
3662 New [string.append] basic_string::append/assign(NTBS, pos, n) suboptimal Yes 3
3837 New [string.erasure] std::erase_if overloads for non-associative containers should move (and not copy) their predicate object Yes 3
2237 New 23.5 [c.strings] <cuchar> macros No 4
3059 New 24.2 [container.requirements] Wrong requirements for map-like associative container assignment? No 3
2269 New 24.2.2 [container.requirements.general] Container iterators and argument-dependent lookup No 4
3976 New [container.alloc.reqmts] What does it mean for a type to be "allocator aware"? No
3297 New 24.2.4 [sequence.reqmts] Useless sequence container requirement Yes 3
2705 New 24.2.4 [sequence.reqmts] Questionable precondition on Sequence containers a.assign(n, t) Yes 3
3438 New [container.node.overview] §[container.node.overview] missing multiset/map cases No 3
3227 New 24.2.7 [associative.reqmts] Ambiguity issue for extract in ordered and unordered associative containers Yes 3
2362 New 24.2.7 [associative.reqmts] unique, associative emplace() should not move/copy the mapped_type constructor arguments when no insertion happens No 3
3691 New [associative.reqmts.general] Replacement of keys in associative containers Yes 3
3577 New [associative.reqmts.general] Merging an (unordered) associative container with itself No 3
3578 New [associative.reqmts.general] Iterator SCARYness in the context of associative container merging No 3
3219 New [array.overview] std::array overview container requirements are incorrect Yes 3
3308 New [deque.modifiers] vector and deque iterator erase invalidates elements even when no change occurs Yes 3
3758 New [vector.capacity] Element-relocating operations of std::vector and std::deque should conditionally require Cpp17CopyInsertable in their preconditions No 3
3638 New 24.3.12 [vector.bool] vector<bool>::swap(reference, reference) is useless Yes 3
3531 New [map.overview] LWG 3025 broke previous valid code Yes 3
2713 New 24.5 [unord] More missing allocator-extended constructors for unordered containers Yes 3
3189 New 24.6.7 [priority.queue] Missing requirement for std::priority_queue No 3
3959 New 24.6.9 [flat.map] Should the comparator of std::flat_map/std::flat_multimap be copied twice in some operations? No
3802 New 24.6.9 [flat.map] flat_foo allocator-extended constructors lack move semantics No 2
3804 New 24.6.9 [flat.map] flat_foo missing some allocator-extended deduction guides No 2
3966 New [flat.map.overview] The value_type and reference members of std::flat_(multi)map::(const_)iterator are unclear No 3
3963 New [flat.map.defn] Different std::flat_map/std::flat_multimap specializations should be able to share same nested classes Yes 3
4000 New [flat.map.modifiers] flat_map::insert_range's Effects is not quite right Yes
3813 New [span.overview] std::span<volatile T, E> is made ill-formed by P2278R4 when T is a normal class type No 2
4011 New [span.elem] "Effects: Equivalent to return" in [span.elem] Yes
3995 New 24.7.3 [views.multidim] Issue with custom index conversion in <mdspan> No 3
4020 New [mdspan.extents.expo] extents::index-cast weirdness Yes
4021 New [mdspan.mdspan.overview] mdspan::is_always_meow() should be noexcept Yes
3952 New 25.2 [iterator.synopsis] iter_common_reference_t does not conform to the definition of indirectly_readable Yes 3
3838 New [incrementable.traits] The last specialization of incrementable_traits is under-constrained Yes 3
3615 New [incrementable.traits] The last specialization of incrementable_traits has wrong operand types Yes 3
3287 New [iterator.traits] Exposition-only cpp17-input-iterator concept is needlessly complex Yes 3
3890 New [iterator.concept.winc] ABI issue for integer-class types Yes 3
3716 New [iterator.concept.forward] §[iterator.concept.forward][forward.iterators] Two different definitions of multi-pass guarantee No 3
3197 New 25.4.3 [iterator.operations] std::prev should not require BidirectionalIterator Yes 3
3439 New 25.4.3 [iterator.operations] "Distance" template parameter is underspecified No 3
3344 New 25.4.3 [iterator.operations] advance(i, most-negative) and prev(i, most-negative) Yes 3
2858 New 25.5.1 [reverse.iterators] LWG 2472: actually an incompatibility with C++03 Yes 4
3623 New [reverse.iterators.general] Uses of std::reverse_iterator with containers should not require manually including <iterator> Yes 3
2595 New [reverse.iterator] reverse_iterator::operator[]'s return type revisited Yes 3
3602 New [reverse.iter.cons] reverse_iterator's converting assignment is overconstrained Yes 3
3725 New [reverse.iter.elem] reverse_iterator::operator-> should not use prev for non-pointer iterators Yes 3
3986 New 25.5.3 [const.iterators] basic_const_iterator doesn't work with optional No 3
3863 New [const.iterators.alias] Is input_iterator guaranteed to have iter_const_reference_t? No 2
3783 New [common.iterator] views::common may not be a range adaptor object Yes 3
3748 New [common.iter.cmp] common_iterator and counted_iterator' operator- are missing cast to return type Yes 3
2366 New 25.6.4 [istreambuf.iterator] istreambuf_iterator end-of-stream equality Yes 3
3107 New 25.6.4 [istreambuf.iterator] istreambuf_iterator has public exposition-only member Yes 4
3188 New 25.6.4 [istreambuf.iterator] istreambuf_iterator::pointer should not be unspecified Yes 3
3108 New [istreambuf.iterator.proxy] istreambuf_iterator::proxy::operator* should be const Yes 3
3537 New 25.7 [iterator.range] §[iterator.range] Missing noexcept for std::rbegin/rend for arrays and initializer_list No 3
4027 New 26.2 [ranges.syn] possibly-const-range should prefer returning const R& Yes
3729 New 26.2 [ranges.syn] std::tuple_element_t<std::ranges::subrange<I, S, K>> should remove top-level cv-qualifiers Yes 4
3896 New 26.4.5 [range.refinements] The definition of viewable_range is not quite right Yes 4
4010 New [range.subrange.access] subrange::advance should be improved Yes
4016 New 26.5.7 [range.utility.conv] container-insertable checks do not match what container-inserter does Yes
4018 New [range.utility.conv.to] ranges::to's copy branch is underconstrained Yes
4008 New [range.utility.conv.to] §[range.utility.conv.to] ranges::to may cause infinite recursion if range_value_t<C> is a non-move-constructible range Yes
3985 New [range.utility.conv.to] ranges::to should Mandates C not to be view Yes 3
3845 New [range.utility.conv.to] ranges::to's from_range_t tag branch has the wrong constraint Yes 4
3722 New [range.utility.conv.to] ranges::to reserves the wrong size Yes 4
3983 New [range.utility.conv.adaptors] ranges::to adaptors are underconstrained Yes 3
3907 New 26.6 [range.factories] Can iterator types of range adaptors and range factories be SCARY? No 3
4035 New [range.single.view] single_view should provide empty Yes
3614 New [range.iota.view] iota_view::size and the most negative signed integer values Yes 3
4002 New [range.iota.iterator] The definition of iota_view::iterator::iterator_concept should be improved Yes 3
3846 New [range.iota.iterator] iota_view::iterator::operator- is overconstrained Yes 3
3609 New [range.iota.sentinel] std::ranges::iota_view<int, long> has non-subtractable iterator and sentinel types Yes 3
3955 New [range.repeat.view] Add noexcept to several repeat_view[::iterator] member functions Yes 3
3763 New [range.repeat.iterator] Should range adaptor iterators only provide iterator_category when its difference_type is not an integer-class type? Yes 3
3489 New [range.istream.iterator] Improve istream_view wording Yes 3
3994 New 26.7.2 [range.adaptor.object] adaptor(args...)(r) is not equivalent to std::bind_back(adaptor, args...)(r) No 4
3829 New [range.as.rvalue.view] as_rvalue_view::end should improve non-common case Yes 3
4009 New [range.drop.view] drop_view::begin const may have 𝒪(n) complexity Yes
3730 New [range.drop.view] std::ranges::drop_view may have different size type from its underlying view Yes 3
3666 New 26.7.14 [range.join] join_view's difference type is too small No 2
3873 New [range.join.with.view] join_with_view's const begin is underconstrained No 3
3972 New [range.join.with.iterator] Issues with join_with_view::iterator's iter_swap No 2
3852 New [range.join.with.iterator] join_with_view::iterator's iter_move and iter_swap should be conditionally noexcept Yes 3
3855 New [range.lazy.split.view] tiny-range is not quite right Yes 4
3685 New [range.lazy.split.view] In lazy_split_view, CTAD doesn't work when given an input_range input and a tiny-range pattern Yes 3
3599 New [range.lazy.split.view] The const overload of lazy_split_view::begin should be constrained by const Pattern Yes 3
3686 New [range.lazy.split.outer] In lazy_split_view, comparing a default-constructed outer-iterator or inner-iterator with std::default_sentinel results in null pointer dereference Yes 3
4013 New [range.lazy.split.outer.value] lazy_split_view::outer-iterator::value_type should not provide default constructor Yes
4017 New [range.split.iterator] Behavior of std::views::split on an empty range Yes
4012 New [range.common.view] common_view::begin/end are missing the simple-view check Yes
4019 New 26.7.20 [range.reverse] Reversing an infinite range leads to an infinite loop No
3830 New [range.reverse.view] reverse_view should not cache when ranges::next has constant time complexity Yes 3
3797 New [range.elements.view] elements_view insufficiently constrained Yes 2
3832 New [range.elements.iterator] Missing change for element_view::iterator in LWG 3798 Yes 3
3864 New 26.7.24 [range.zip] zip over range of reference to an abstract type No 4
3731 New [range.zip.view] zip_view and adjacent_view are underconstrained Yes 3
4006 New [range.chunk.outer.value] chunk_view::outer-iterator::value_type should provide empty Yes
3899 New 26.8.5 [coro.generator.promise] co_yielding elements of an lvalue generator is unnecessarily inefficient Yes 3
3900 New 26.8.5 [coro.generator.promise] The allocator_arg_t overloads of generator::promise_type::operator new should not be constrained Yes 3
2963 New 27 [algorithms] Algorithms with underspecified iterator requirements No 3
3793 New 27.6.5 [alg.foreach] Requirements for some algorithms' Size template parameters are unclear No 3
3969 New 27.6.18 [alg.fold] std::ranges::fold_left_first_with_iter should be more ADL-proof Yes 3
3089 New 27.7.1 [alg.copy] copy_n should require non-overlapping ranges Yes 3
2267 New [partial.sort.copy] partial_sort_copy underspecified for ranges of two different types No 3
4034 New 27.8.9 [alg.min.max] Clarify specification of std::min and std::max Yes
3487 New 27.10 [numeric.ops] Missing precondition on input and output aliasing of [numeric.ops] No 3
3060 New 27.10.8 [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 27.10.11 [transform.inclusive.scan] Incorrect requirements for transform_inclusive_scan without initial value Yes 3
4030 New [numeric.sat.func] Clarify whether arithmetic expressions in [numeric.sat.func] are mathematical or C++ Yes
3628 New 27.11 [specialized.algorithms] "Effects: Equivalent to:" and uninitialized memory algorithms No 3
3063 New 27.11 [specialized.algorithms] Parallel algorithms in <memory> are underspecified No 3
3064 New 27.11 [specialized.algorithms] How do uninitialized memory algorithms obtain pointer without undefined behavior? No 3
3647 New 27.11.2 [special.mem.concepts] nothrow-input-iterator constraints should not mention copying Yes 3
3888 New 27.11.8 [specialized.construct] Most ranges uninitialized memory algorithms are underconstrained Yes 3
3436 New 27.11.8 [specialized.construct] std::construct_at should support arrays Yes 2
3889 New 27.11.9 [specialized.destroy] std::(ranges::)destroy_at should destroy array elements in the decreasing index order Yes 3
3933 New 28.4.3 [complex] P1467R9 accidentally changed the signatures of certain constructors of std::complex Yes 4
3934 New 28.4.3 [complex] std::complex<T>::operator=(const T&) has no specification Yes 3
2714 New 28.4.6 [complex.ops] complex stream extraction underspecified Yes 3
2846 New 28.4.10 [cmplx.over] Undefined phrase "effectively cast" Yes 3
4014 New [rand.eng.sub] LWG 3809 changes behavior of some existing std::subtract_with_carry_engine code Yes 2
3402 New [rand.dist.bern.negbin] Wording for negative_binomial_distribution is unclear as a consequence of LWG 2406 resolution No 3
3964 New [valarray.transcend] std::atan2 and std::pow overloads that take two std::valarray parameters should require the arguments to have the same length Yes 4
2423 New 28.6.5 [template.slice.array] Missing specification slice_array, gslice_array, mask_array, indirect_array copy constructor Yes 4
3693 New 28.7 [c.math] §[c.math] Can any of float/double/long double overloads be fused into template overloads? No 2
2847 New 28.7.1 [cmath.syn] sin(float) should call sinf(float) No 3
2923 New 28.7.1 [cmath.syn] noexcept is inconsistently applied across headers which import components of the C standard library No 4
3093 New 28.7.2 [c.math.abs] LWG 2294/2192 missed a std::abs overload No 3
3172 New 28.7.3 [c.math.hypot3] 3-arg std::hypot is underspecified compared to the 2-arg overload Yes 3
3066 New 28.7.6 [sf.cmath] "report a domain error" in [sf.cmath]/1 is underspecified No 3
2592 New 29.2 [time.syn] Require that chrono::duration_casts from smaller durations to larger durations do not overflow Yes 4
3090 New 29.5.2 [time.duration.cons] What is §[time.duration.cons]p4's "no overflow is induced in the conversion" intended to mean? Yes 3
3503 New 29.5.8 [time.duration.cast] chrono::ceil has surprising requirement No 3
3678 New [time.zone.overview] Constructors of std::chrono::time_zone might be overly unspecified No 4
4022 New 29.12 [time.format] Ambiguity in the formatting of negative years with format specifier %C Yes
3856 New 29.12 [time.format] Unclear which conversion specifiers are valid for each chrono type Yes 3
3921 New 29.12 [time.format] Is std::chrono::duration<std::int64_t, std::ratio<INT64_MAX - 1, INT64_MAX>>{40} required to be correctly formatted? No 3
3831 New 29.12 [time.format] Two-digit formatting of negative year is ambiguous Yes 3
3960 New 29.13 [time.parse] How does chrono::parse handle duplicated data? Yes 3
3961 New 29.13 [time.parse] Does chrono::parse check format strings? Yes 3
3962 New 29.13 [time.parse] What is the "decimal precision of the input"? Yes 3
3956 New 29.13 [time.parse] chrono::parse uses from_stream as a customization point No 3
3353 New 30.3.1 [locale] locale's copy assignment operator should return locale& Yes 3
3674 New [locale.members] Removal of requirement for locale names for construction of locales not explained Yes 2
4037 New [category.ctype.general] Static data members of ctype_base are not yet required to be usable in constant expressions Yes
3337 New [locale.codecvt.virtuals] What is "is initialized" supposed to mean? No 3
3689 New [facet.num.get.virtuals] num_get overflow determination unclear and incorrect No 3
3214 New [facet.num.get.virtuals] §[facet.num.get.virtuals] doesn't say what it means for digit grouping to be consistent No 4
2703 New [facet.num.put.virtuals] No provision for fill-padding when boolalpha is set No 3
2702 New [facet.num.put.virtuals] num_put::do_put(..., bool) performs ill-formed do_put call No 3
3275 New [locale.time.get.virtuals] Why does time_get::do_get require a valid pointer when none of the others do? Yes 3
2983 New [locale.money.put.virtuals] money_put::do_put underspecified Yes 3
2691 New [locale.moneypunct] money_base::space and do_put: U+0020 versus fill Yes 3
4043 New [text.encoding.general] "ASCII" is not a registered character encoding Yes
4038 New [text.encoding.aliases] std::text_encoding::aliases_view should have constexpr iterators Yes
3696 New 31.2.2 [stream.types] "Basic integral types" should not be used No 3
3910 New 31.4.2 [iostream.objects.overview] The effects of including <iostream> on initialization are not yet precisely specified Yes 4
3675 New [ios.base.storage] std::ios_base::iword/pword might be misspecified Yes 4
2675 New [ios.base.callback] register_callback can fail No 3
2504 New 31.6.3 [streambuf] basic_streambuf is not an abstract class No 3
3658 New [streambuf.pub.put] basic_streambuf::sputn is both overspecified and underspecified Yes 3
4023 New [streambuf.protected] Preconditions of std::basic_streambuf::setg/setp Yes
2342 New [ostream] User conversion to wchar_t const* or to wchar_t not invoked for operator<< Yes 4
2497 New [ostream.sentry] Use of uncaught_exception() Yes 3
4039 New [ostream.formatted.print] §[ostream.formatted.print]: Inappropriate usage of badbit in definition of vprint_unicode/vprint_nonunicode Yes
3501 New [ostream.manip] basic_syncbuf-related manipulators refer to some Allocator without defining it Yes 3
3937 New 31.7.7 [std.manip] I/O manipulators should be specified in terms of base classes No 3
2984 New 31.7.8 [ext.manip] put_money(99) is unnecessarily undefined Yes 3
4044 New 31.7.10 [print.fun] Confusing requirements for std::print on POSIX platforms Yes
4042 New 31.7.10 [print.fun] std::print should permit an efficient implementation Yes
3309 New 31.8 [string.streams] Is <ios> implicitly #included by <sstream>, <fstream> etc.? No 3
3992 New [stringbuf.members] basic_stringbuf::str()&& should enforce 𝒪(1) Yes
3097 New [stringbuf.virtuals] basic_stringbuf seekoff effects trigger undefined behavior and have contradictory returns No 3
3496 New [syncstream.syncbuf.members] What does "uniquely associated" mean for basic_syncbuf::emit()? No 3
3497 New [syncstream.syncbuf.members] Postconditions for basic_syncbuf::emit() No 3
3098 New [fs.path.decompose] Misleading example for filesystem::path::filename() Yes 3
3699 New [fs.path.gen] lexically_relative on UNC drive paths (\\?\C:\...) results in a default-constructed value No 3
3794 New [fs.path.itr] std::filesystem::path::iterator::reference should be allowed to be std::filesystem::path Yes 3
2947 New [fs.enum.path.format] Clarify several filesystem terms No 3
3078 New 31.12.10 [fs.class.directory.entry] directory_entry, directory_iterator and recursive_directory_iterator perform needless path copies No 3
3668 New [fs.dir.itr.members] [recursive_]directory_iterator constructors refer to undefined options Yes 3
3056 New [fs.op.copy.file] copy_file() copies which attributes? Yes 3
3744 New [fs.op.copy.symlink] copy_symlink(junction, new_symlink)'s behavior is unclear No 3
2490 New 32 [re] <regex> needs lots of noexcept No 3
3835 New 32.1 [re.general] Requirements for CharT in the regex library No 4
3606 New 32.2 [re.req] Missing regex_traits::locale_type requirements No 3
2431 New 32.2 [re.req] Missing regular expression traits requirements No 3
3998 New 32.4 [re.const] Constants in std::regex_constants should be allowed to be enumerators No
3605 New 32.4.3 [re.matchflag] regex_constants::match_prev_avail is underspecified No 3
3261 New 32.7 [re.regex] regex components' noexcept annotations appear broken for POCMA or throwing BidirectionalIterator No 3
3341 New 32.7.2 [re.regex.construct] basic_regex range constructor: Missing requirements for iterator types No 3
3630 New 32.7.2 [re.regex.construct] Inconsistent basic_regex construction and assignment from iterator range No 4
3603 New 32.7.2 [re.regex.construct] Matching of null characters by regular expressions is underspecified No 3
3604 New 32.7.2 [re.regex.construct] What is the effect of an invalid value of type syntax_option_type? No 3
3126 New 32.8 [re.submatch] There's no std::sub_match::compare(string_view) overload Yes 3
2216 New 32.10.4 [re.alg.replace] regex_replace(basic_string) allocator handling No 3
2986 New 32.12 [re.grammar] Handling of multi-character collating elements by the regex FSM is underspecified No 4
2987 New 32.12 [re.grammar] Relationship between traits_inst.lookup_collatename and the regex FSM is underspecified with regards to ClassAtomCollatingElement No 3
2546 New 32.12 [re.grammar] Implementability of locale-sensitive UnicodeEscapeSequence matching No 4
2819 New 33.2.5 [thread.req.lockable] Unspecified Return type: elements Yes 3
3499 New [thread.req.lockable.timed] Timed lockable and mutex requirements are imprecise about duration and time_point No 3
3924 New 33.3.1 [thread.stoptoken.intro] Stop token data race avoidance requirements unclear Yes 3
3516 New [thread.thread.id] thread::id spaceship may be inconsistent with equality Yes 3
3475 New [thread.thread.constr] std::thread's constructor needs to be able to report general memory allocation failures Yes 3
3633 New 33.5 [atomics] Atomics are copy constructible and copy assignable from volatile atomics Yes 3
3220 New 33.5.2 [atomics.syn] P0558 broke conforming C++14 uses of atomic shared_ptr Yes 3
4004 New 33.5.4 [atomics.order] The load and store operation in §[atomics.order] p1 is ambiguous No
3999 New 33.5.4 [atomics.order] P0439R0 changed the value category of memory order constants Yes 4
3268 New 33.5.4 [atomics.order] memory_order::memory_order_foo broken in C++20 Yes 4
3263 New 33.5.6 [atomics.wait] Atomic waiting function calls should only be unblocked once Yes 3
3288 New 33.5.6 [atomics.wait] atomic<T>::notify_one is unimplementable Yes 2
3508 New [atomics.ref.generic.general] atomic_ref<cv T> is not well-specified No 2
3409 New [atomics.ref.ops] Too lax description of atomic_ref<T>::required_alignment Yes 3
3047 New [atomics.types.int] atomic compound assignment operators can cause undefined behavior when corresponding fetch_meow members don't Yes 3
3906 New [atomics.types.pointer] "Undefined address" is undefined No 3
3418 New 33.5.9 [atomics.nonmembers] Deprecated free functions in <atomic> Yes 3
3504 New 33.7.4 [thread.condition.condvar] condition_variable::wait_for is overspecified No 3
3898 New [thread.barrier.class] Possibly unintended preconditions for completion functions of std::barrier Yes 3
3582 New 33.10.9 [futures.async] Unclear where std::async exceptions are handled Yes 3
2507 New 99 [depr.locale.stdcvt] codecvt_mode should be a bitmask type No 3
4036 New D.11 [depr.c.macros] __alignof_is_defined is only implicitly specified in C++ and not yet deprecated Yes
3109 New D.13.2 [depr.strstreambuf] strstreambuf is copyable No 4
3095 New D.13.2.4 [depr.strstreambuf.virtuals] strstreambuf refers to nonexistent member of fpos, fpos::offset Yes 4
2478 New D.23.2 [depr.conversions.string] Unclear how wstring_convert uses cvtstate No 4
2481 New D.23.2 [depr.conversions.string] wstring_convert should be more precise regarding "byte-error string" etc. No 4
2479 New D.23.3 [depr.conversions.buffer] Unclear how wbuffer_convert uses cvtstate No 4
2480 New D.23.3 [depr.conversions.buffer] Error handling of wbuffer_convert unclear No 4
3812 New [fund.ts.v3::propagate_const.const_observers] [fund.ts.v3] Incorrect constraint on propagate_const conversion function Yes 3
3124 New 13.7.5 [networking.ts::async.exec.ctx.globals] [networking.ts] Unclear how execution_context is intended to store services Yes 3
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
3073 New 17 [networking.ts::buffer.stream] [networking.ts] (async_)read and (async_)write don't support DynamicBuffer lvalues Yes 3
3444 New 19.1.2 [networking.ts::socket.streambuf.members] [networking.ts] net::basic_socket_streambuf::connect(Args&&...) effects are wrong No 2

Open (75 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
2136 Open 16.3.2 [structure] Postconditions vs. exceptions No 3
3092 Open [bitmask.types] Unclear semantics of enum class bitmask types Yes 3
2146 Open [utility.arg.requirements] Are reference types Copy/Move-Constructible/Assignable or Destructible? No 3
2414 Open [reentrancy] Member function reentrancy should be implementation-defined Yes 3
2730 Open 17.3.5 [numeric.limits] numeric_limits primary template definition No 3
2398 Open 17.7.3 [type.info] type_info's destructor shouldn't be required to be virtual Yes 3
2088 Open 17.9.5 [exception.terminate] std::terminate problem No 3
3011 Open 19.3 [assertions] Requirements for assert(E) inconsistent with C No 2
3507 Open [stacktrace.entry.query] P0881R7 ("stacktrace") does not define "actual file name", "actual line number" No 2
2262 Open [unique.ptr.single] Requirement for unique_ptr<T>::get_deleter()(p) to be able to destroy the unique_ptr Yes 3
2290 Open 21 [meta] Top-level "SFINAE"-based constraints should get a separate definition in Clause 17 Yes 3
2116 Open [meta.unary.prop] is_nothrow_constructible and destructors No 3
2358 Open [meta.unary.prop] Apparently-bogus definition of is_empty type trait Yes 3
2077 Open [meta.unary.prop] Further incomplete constraints for type traits No 3
2289 Open 22.3.2 [pairs.pair] constexpr guarantees of defaulted functions still insufficient No 3
2990 Open 22.5.3 [optional.optional] optional::value_type is not always a value type Yes 3
2829 Open [optional.observe] LWG 2740 leaves behind vacuous words No 2
2833 Open [variant.ctor] Library needs to specify what it means when it declares a function constexpr Yes 2
2348 Open 22.9.2 [template.bitset] charT('1') is not the wide equivalent of '1' Yes 3
3081 Open 22.13.3 [charconv.from.chars] Floating point from_chars API does not distinguish between overflow and underflow Yes 2
3082 Open 22.13.3 [charconv.from.chars] from_chars specification regarding floating point rounding is inconsistent Yes 2
2238 Open 23.5 [c.strings] Problematic iterator-pair constructor of containers No 3
2321 Open 24.2.2 [container.requirements.general] Moving containers should (usually) be required to preserve iterators Yes 3
1521 Open 24.2.2 [container.requirements.general] Requirements on internal pointer representations in containers Yes 3
2206 Open 24.2.4 [sequence.reqmts] Inaccuracy in initializer_list constructor requirements Yes 3
2844 Open 24.2.7 [associative.reqmts] Stability of a_uniq.insert(i, j) No 3
2227 Open 24.2.7 [associative.reqmts] Stateful comparison objects in associative containers No 3
2215 Open 24.2.7 [associative.reqmts] (unordered) associative container functors should be CopyConstructible Yes 3
1175 Open 24.2.8 [unord.req] unordered complexity Yes 3
2198 Open 24.2.8 [unord.req] max_load_factor(z) makes no strong guarantees, but bans useful behavior Yes 3
2189 Open [unord.req.except] Throwing swap breaks unordered containers' state No 3
617 Open 24.3.7 [array] std::array is a sequence that doesn't satisfy the sequence requirements? No 3
2823 Open [array.overview] std::array initialization is still not permissive enough Yes 3
3488 Open [array.special] Is array<const int, 0> swappable or not? Yes 3
2157 Open [array.zero] How does std::array<T,0> initialization work when T is not default-constructible? Yes 3
2158 Open [vector.capacity] Conditional copy/move in std::vector Yes 3
1102 Open [vector.capacity] std::vector's reallocation policy still unclear Yes 3
1422 Open 24.3.12 [vector.bool] vector<bool> iterators are not random access No 3
3161 Open 24.6.8 [stack] Container adapters mandate use of emplace_back but don't require it Yes 3
1213 Open 25.3 [iterator.requirements] Meaning of valid and singular iterator underspecified No 4
484 Open [input.iterators] Convertible to T No 3
2962 Open [input.iterators] Iterators of Containers of move-only types do not model InputIterator Yes 2
2035 Open [output.iterators] Output iterator requirements are broken Yes 3
2038 Open [output.iterators] Missing definition for incrementable iterator No 3
2931 Open 25.4.3 [iterator.operations] Missed optimization opportunity with single-argument std::next No 3
3777 Open [range.cartesian.view] Common cartesian_product_view produces an invalid range if the first range is input and one of the ranges is empty Yes 2
1238 Open 27 [algorithms] Defining algorithms taking iterator for range No 3
2173 Open 27 [algorithms] The meaning of operator + in the description of the algorithms Yes 4
3049 Open 27.2 [algorithms.requirements] Missing wording allowing algorithms to use copies of function objects as substitutes for their parameters Yes 3
2471 Open 27.7.1 [alg.copy] copy_n's number of InputIterator increments unspecified No 3
3029 Open [pop.heap] pop_heap over-constrains input Yes 3
2524 Open [rand.dist.pois.exp] generate_canonical can occasionally return 1.0 No 2
2115 Open 28.6.8 [template.mask.array] Undefined behaviour for valarray assignments with mask_array index? No 4
2383 Open 29.5.9 [time.duration.literals] Overflow cannot be ill-formed for chrono::duration integer literals No 3
3844 Open 29.12 [time.format] Non-numeric formats for negative durations Yes 3
2117 Open [facet.num.put.virtuals] ios_base manipulators should have showgrouping/noshowgrouping No 3
2512 Open [locale.time.get.virtuals] Y2K bites; what is an "unambiguous year identifier"? No 4
423 Open 31 [input.output] Effects of negative streamsize in iostreams Yes 3
2214 Open [basic.ios.cons] Clarify basic_ios::init call restrictions Yes 4
2286 Open [stringbuf.virtuals] stringbuf::underflow() underspecified Yes 4
2708 Open [fs.rec.dir.itr.members] recursive_directory_iterator::recursion_pending() is incorrectly specified Yes 2
3057 Open [fs.op.copy] Correct copy_options handling Yes 2
523 Open 32 [re] regex case-insensitive character ranges are unimplementable as specified No 4
2331 Open 32.4.2 [re.synopt] regex_constants::collate's effects are inaccurately summarized Yes 3
2338 Open 32.6 [re.traits] §[re.traits]/7 expects of locale facets something not guaranteed by [locale.facet]/4 Yes 3
2137 Open 32.7.3 [re.regex.assign] Misleadingly constrained post-condition in the presence of exceptions Yes 3
2220 Open [re.tokiter.comp] Under-specification of operator== for regex_token_iterator Yes 3
2265 Open 33.5.4 [atomics.order] 29.3p9 appears to rule out some acceptable executions No 4
3343 Open 33.7.3 [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
2530 Open 33.10.5 [futures.state] Clarify observable side effects of releasing a shared state No 3
3003 Open 33.10.6 [futures.promise] <future> still has type-erased allocators in promise Yes 2
2532 Open 33.10.6 [futures.promise] Satisfying a promise at thread exit Yes 3
3840 Open D.25 [depr.fs.path.factory] filesystem::u8path should be undeprecated Yes 3
3167 Open 5.2 [fund.ts.v3::memory.observer.ptr] [fund.ts.v3] Does observer_ptr support function types? No 3
3357 Open 99 [fund.ts.v3::rand.util.randint] [fund.ts.v3] default_random_engine is overspecified for per-thread engine Yes 3

LEWG (26 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
2152 LEWG [swappable.requirements] Instances of standard container types are not swappable Yes 3
3454 LEWG 20.2.3 [pointer.traits] pointer_traits::pointer_to should be constexpr Yes
2922 LEWG 21.3.3 [meta.type.synop] The *_constant<> templates do not make use of template<auto> No
3486 LEWG [meta.unary.prop] is_constructible<T[], T...> may be misleading in C++20 No
2153 LEWG 22.2.2 [utility.swap] Narrowing of the non-member swap contract No 2
532 LEWG 22.4.9 [tuple.rel] Tuple comparison Yes 348
2991 LEWG [variant.ctor] variant copy constructor missing noexcept(see below) Yes
2883 LEWG 23.3 [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
2307 LEWG 24 [containers] Should the Standard Library use explicit only when necessary? No 2
2885 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 library No
2884 LEWG 24 [containers] Relational operators for containers should sfinae; if the underlying type is not comparable, neither should the container be No
3679 LEWG 26.6.6 [range.istream] Is <ranges> sufficient for istream_view? No 3
3868 LEWG 27.7.5 [alg.replace] Constrained algorithms should not require output_iterator Yes 4
2985 LEWG 27.7.10 [alg.reverse] std::reverse should be permitted to be vectorized Yes
2973 LEWG 27.8.6 [alg.merge] inplace_merge exact comparison count complexity prohibits useful real-world optimizations Yes
3534 LEWG [set.intersection] ranges::set_intersection and ranges::set_difference algorithm requirements are too strict Yes 3
3918 LEWG 27.11.6 [uninitialized.move] std::uninitialized_move/_n and guaranteed copy elision Yes 3
1484 LEWG 33.4.3 [thread.thread.class] Need a way to join a thread with a timeout No
1459 LEWG 33.5.4 [atomics.order] Overlapping evaluations are allowed No 1458
1488 LEWG 33.6 [thread.mutex] Improve interoperability between the C++0x and C1x threads APIs No
936 LEWG 33.6.4 [thread.mutex.requirements] Mutex type overspecified No 961
961 LEWG 33.6.4 [thread.mutex.requirements] Various threading bugs #11 No 936
1493 LEWG 33.6.4 [thread.mutex.requirements] Add mutex, recursive_mutex, is_locked function No
2095 LEWG 33.10.6 [futures.promise] promise and packaged_task missing constructors needed for uses-allocator construction Yes 4
3114 LEWG 16 [networking.ts::buffer] [networking.ts] Permit efficient composition when using DynamicBuffer Yes
3445 LEWG 19.2.1 [networking.ts::socket.iostream.cons] [networking.ts] net::basic_socket_istream::connect should be constrained Yes 3

Core (1 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
2452 Core 21 [meta] is_constructible, etc. and default arguments No 3

SG1 (6 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
2506 SG1 6.9.2 [intro.multithread] Underspecification of atomics No 3
2236 SG1 33.5.2 [atomics.syn] kill_dependency unconditionally noexcept No
3941 SG1 33.5.4 [atomics.order] §[atomics.order] inadvertently prohibits widespread implementation techniques No 3
3485 SG1 33.5.7 [atomics.ref.generic] atomic_ref safety should be based on operations that "potentially conflict" rather than lifetime No 3
3417 SG1 [atomics.types.operations] Missing volatile atomic deprecations Yes 3
2533 SG1 99 [concurr.ts::futures.unique.future] [concurr.ts] Constrain threads where future::then can run a continuation No

SG9 (1 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
3971 SG9 [range.join.with.view] Join ranges of rvalue references with ranges of prvalues No 3

SG16 (1 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
3944 SG16 [format.formatter.spec] Formatters converting sequences of char to sequences of wchar_t Yes 3

Deferred (1 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
2202 Deferred 33.10.9 [futures.async] Missing allocator support by async No 4

Pending NAD Editorial (4 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
2178 Pending NAD Editorial [allocator.requirements] Allocator requirement changes not mentioned Annex C Yes 3
2126 Pending NAD Editorial 33.6.4 [thread.mutex.requirements] Several specification problems in regard to mutex requirements Yes
2134 Pending NAD Editorial [thread.mutex.requirements.mutex] Redundant Mutex requirement? Yes
2125 Pending NAD Editorial [thread.timedmutex.requirements] TimedMutex specification problem Yes

Pending NAD (2 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
2382 Pending NAD [reentrancy] Unclear order of container update versus object destruction on removing an object Yes 2
2302 Pending NAD [new.delete.placement] Passing null pointer to placement new Yes 2

NAD Future (4 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
1025 NAD Future 22.10.19 [unord.hash] The library should provide more specializations for std::hash Yes
2654 NAD Future 1 [filesys.ts::fs.scope] [filesys.ts] [PDTS] Concerns with security and testability Yes
2611 NAD Future 6 [filesys.ts::fs.filesystem.synopsis] [filesys.ts] [PDTS] Lack of relative() operation function Yes
2612 NAD Future 6 [filesys.ts::fs.filesystem.synopsis] [filesys.ts] [PDTS] uintmax_t too small for large file sizes Yes

WP (39 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
2392 WP 3.34 [defns.ntcts] "character type" is used but not defined Yes 3
3885 WP [zombie.names] 'op' should be in [zombie.names] Yes
3887 WP 17.3.2 [version.syn] Version macro for allocate_at_least Yes
3897 WP [inout.ptr.t] inout_ptr will not update raw pointer to 0 Yes 2
3990 WP 22.4.4 [tuple.tuple] Program-defined specializations of std::tuple and std::variant can't be properly supported Yes
3305 WP 22.7.5 [any.nonmembers] any_cast<void> Yes 2
3951 WP [expected.object.swap] §[expected.object.swap]: Using value() instead of has_value() Yes
3938 WP [expected.object.monadic] Cannot use std::expected monadic ops with move-only error_type Yes
3973 WP [expected.object.monadic] Monadic operations should be ADL-proof Yes
3940 WP [expected.void.obs] std::expected<void, E>::value() also needs E to be copy constructible Yes
3925 WP [format.formattable] Concept formattable's definition is incorrect Yes
3965 WP [format.string.escaped] Incorrect example in [format.string.escaped] p3 for formatting of combining characters Yes
3892 WP [format.range.formatter] Incorrect formatting of nested ranges and tuples Yes 2
2994 WP 23.2 [char.traits] Needless UB for basic_string and basic_string_view Yes 3
3431 WP [container.opt.reqmts] <=> for containers should require three_way_comparable<T> instead of <=> Yes 2
3957 WP [container.alloc.reqmts] §[container.alloc.reqmts] The value category of v should be claimed Yes
3927 WP 24.2.4 [sequence.reqmts] Unclear preconditions for operator[] for sequence containers Yes
3884 WP 24.6.9 [flat.map] flat_foo is missing allocator-extended copy/move constructors Yes
3203 WP [span.overview] span element access invalidation Yes 2
3903 WP [span.overview] span destructor is redundantly noexcept Yes
3970 WP [mdspan.syn] §[mdspan.syn] Missing definition of full_extent_t and full_extent Yes
3974 WP [mdspan.mdspan.members] mdspan::operator[] should not copy OtherIndexTypes Yes
3749 WP 25.5.5 [iterators.common] common_iterator should handle integer-class difference types Yes 2
3953 WP [common.iter.cust] iter_move for common_iterator and counted_iterator should return decltype(auto) Yes
3987 WP 25.7 [iterator.range] Including <flat_foo> doesn't provide std::begin/end Yes
3914 WP 26.2 [ranges.syn] Inconsistent template-head of ranges::enumerate_view Yes
3946 WP 26.2 [ranges.syn] The definition of const_iterator_t should be reworked Yes
3948 WP 26.2 [ranges.syn] possibly-const-range and as-const-pointer should be noexcept Yes
3915 WP 26.4.2 [range.range] Redundant paragraph about expression variations Yes
4001 WP [range.iota.view] iota_view should provide empty Yes
3904 WP [range.lazy.split.outer] lazy_split_view::outer-iterator's const-converting constructor isn't setting trailing_empty_ Yes
3912 WP [range.enumerate.iterator] enumerate_view::iterator::operator- should be noexcept Yes
3947 WP [range.adjacent.transform.view] Unexpected constraints on adjacent_transform_view::base() Yes
3894 WP 26.8.5 [coro.generator.promise] generator::promise_type::yield_value(ranges::elements_of<Rng, Alloc>) should not be noexcept Yes
3905 WP 28.3.1 [cfenv.syn] Type of std::fexcept_t Yes
3935 WP 28.4.3 [complex] template<class X> constexpr complex& operator=(const complex<X>&) has no specification Yes
3809 WP [rand.eng.sub] Is std::subtract_with_carry_engine<uint16_t> supposed to work? Yes 3
3949 WP [atomics.types.generic.general] std::atomic<bool>'s trivial destructor dropped in C++17 spec wording Yes
3893 WP [util.smartptr.atomic.shared] LWG 3661 broke atomic<shared_ptr<T>> a; a = nullptr; Yes

C++23 (313 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
3818 C++23 16.3.3 [conventions] Exposition-only concepts are not described in library intro Yes
3724 C++23 [expos.only.entity] decay-copy should be constrained Yes 3
3753 C++23 [freestanding.item] Clarify entity vs. freestanding entity Yes 2
2818 C++23 [contents] "::std::" everywhere rule needs tweaking Yes 2
3784 C++23 [std.modules] std.compat should not provide ::byte and its friends Yes
3871 C++23 [compliance] Adjust note about terminate Yes
3775 C++23 [allocator.requirements.general] Broken dependencies in the Cpp17Allocator requirements Yes
3177 C++23 [namespace.std] Limit permission to specialize variable templates to program-defined types Yes 3
3441 C++23 [namespace.std] Misleading note about calls to customization points Yes 1
2839 C++23 [lib.types.movedfrom] Self-move-assignment of library types, again Yes 2
3437 C++23 17.3.2 [version.syn] __cpp_lib_polymorphic_allocator is in the wrong header Yes 0
3621 C++23 17.3.2 [version.syn] Remove feature-test macro __cpp_lib_monadic_optional Yes
3750 C++23 17.3.2 [version.syn] Too many papers bump __cpp_lib_format Yes
3751 C++23 17.3.2 [version.syn] Missing feature macro for flat_set Yes
3792 C++23 17.3.2 [version.syn] __cpp_lib_constexpr_algorithms should also be defined in <utility> Yes
3807 C++23 17.3.2 [version.syn] The feature test macro for ranges::find_last should be renamed Yes
3841 C++23 17.3.2 [version.syn] <version> should not be "all freestanding" Yes
2820 C++23 17.4.1 [cstdint.syn] Clarify <cstdint> macros Yes 3
3828 C++23 17.4.1 [cstdint.syn] Sync intmax_t and uintmax_t with C2x Yes
3495 C++23 17.6.5 [ptr.launder] constexpr launder makes pointers to inactive members of unions usable Yes 3
3465 C++23 17.11.6 [cmp.alg] compare_partial_order_fallback requires F < E Yes 0
3460 C++23 [coroutine.handle.noop.resumption] Unimplementable noop_coroutine_handle guarantees Yes 2
3756 C++23 17.13.5 [support.signal] Is the std::atomic_flag class signal-safe? Yes 3
3827 C++23 17.14.4 [stdalign.h.syn] Deprecate <stdalign.h> and <stdbool.h> macros Yes
3782 C++23 17.14.7 [support.c.headers.other] Should <math.h> declare ::lerp? Yes
3461 C++23 18.4.4 [concept.convertible] convertible_to's description mishandles cv-qualified void Yes 0
3557 C++23 18.4.4 [concept.convertible] The static_cast expression in convertible_to has the wrong operand Yes
3421 C++23 18.5.2 [concept.booleantestable] Imperfect ADL emulation for boolean-testable Yes 0
3629 C++23 19.5 [syserr] make_error_code and make_error_condition are customization points Yes 2
3869 C++23 19.5.2 [system.error.syn] Deprecate std::errc constants related to UNIX STREAMS Yes
3598 C++23 [syserr.errcat.objects] system_category().default_error_condition(0) is underspecified Yes
3515 C++23 19.6.2 [stacktrace.syn] §[stacktrace.basic.nonmem]: operator<< should be less templatized Yes 2
3552 C++23 20.2.2 [memory.syn] Parallel specialized memory algorithms should require forward iterators Yes
3814 C++23 20.2.2 [memory.syn] Add freestanding items requested by NB comments Yes
3545 C++23 20.2.3 [pointer.traits] std::pointer_traits should be SFINAE-friendly Yes 2
3525 C++23 [allocator.uses.construction] uses_allocator_construction_args fails to handle types convertible to pair Yes 3
3526 C++23 [allocator.uses.construction] Return types of uses_allocator_construction_args unspecified Yes 3
3527 C++23 [allocator.uses.construction] uses_allocator_construction_args handles rvalue pairs of rvalue references incorrectly Yes
3677 C++23 [allocator.uses.construction] Is a cv-qualified pair specially handled in uses-allocator construction? Yes 2
3821 C++23 [allocator.uses.construction] uses_allocator_construction_args should have overload for pair-like Yes 2
3170 C++23 20.2.10 [default.allocator] is_always_equal added to std::allocator makes the standard library treat derived types as always equal Yes 2
3632 C++23 [unique.ptr.single.ctor] unique_ptr "Mandates: This constructor is not selected by class template argument deduction" Yes
3455 C++23 [unique.ptr.single.asgn] Incorrect Postconditions on unique_ptr move assignment Yes 0
2762 C++23 [unique.ptr.single.observers] unique_ptr operator*() should be noexcept Yes 3
3426 C++23 [unique.ptr.special] operator<=>(const unique_ptr<T, D>&, nullptr_t) can't get no satisfaction Yes 0
3548 C++23 [util.smartptr.shared.const] shared_ptr construction from unique_ptr should move (not copy) the deleter Yes
3427 C++23 [util.smartptr.shared.cmp] operator<=>(const shared_ptr<T>&, nullptr_t) definition ill-formed Yes 0
3195 C++23 [util.smartptr.weak.const] What is the stored pointer value of an empty weak_ptr? Yes 2
3734 C++23 [out.ptr.t] Inconsistency in inout_ptr and out_ptr for empty case Yes 2
3594 C++23 [inout.ptr.t] inout_ptr — inconsistent release() in destructor Yes 1
3471 C++23 20.4 [mem.res] polymorphic_allocator::allocate does not satisfy Cpp17Allocator requirements Yes 3
3036 C++23 20.4.3 [mem.poly.allocator.class] polymorphic_allocator::destroy is extraneous Yes 3
3683 C++23 20.4.3 [mem.poly.allocator.class] operator== for polymorphic_allocator cannot deduce template argument in common cases Yes
3143 C++23 20.4.6 [mem.res.monotonic.buffer] monotonic_buffer_resource growth policy is unclear Yes 2
3120 C++23 [mem.res.monotonic.buffer.mem] Unclear behavior of monotonic_buffer_resource::release() Yes 2
3819 C++23 [meta.unary.prop] reference_meows_from_temporary should not use is_meowible Yes
3823 C++23 [meta.unary.prop] Unnecessary precondition for is_aggregate Yes
3152 C++23 [meta.trans.other] common_type and common_reference have flaws in common Yes 3
3757 C++23 22.2.4 [forward] What's the effect of std::forward_like<void>(x)? Yes
3865 C++23 22.3.3 [pairs.spec] Sorting a range of pairs Yes 2
3121 C++23 [tuple.cnstr] tuple constructor constraints for UTypes&&... overloads Yes 2
3211 C++23 [tuple.cnstr] std::tuple<> should be trivially constructible Yes 3
3528 C++23 22.4.6 [tuple.apply] make_from_tuple can perform (the equivalent of) a C-style cast Yes 3
3709 C++23 [optional.optional.general] LWG-3703 was underly ambitious Yes
3566 C++23 22.5.8 [optional.comp.with.t] Constraint recursion for operator<=>(optional<T>, U) Yes
3746 C++23 22.5.8 [optional.comp.with.t] optional's spaceship with U with a type derived from optional causes infinite constraint meta-recursion Yes
3585 C++23 [variant.assign] Variant converting assignment with immovable alternative Yes
3754 C++23 [expected.object.general] Class template expected synopsis contains declarations that do not match the detailed description Yes
3836 C++23 [expected.object.cons] std::expected<bool, E1> conversion constructor expected(const expected<U, G>&) should take precedence over expected(U&&) with operator bool Yes 1
3843 C++23 [expected.object.obs] std::expected<T,E>::value() & assumes E is copy constructible Yes
3866 C++23 [expected.object.monadic] Bad Mandates for expected::transform_error overloads Yes
3877 C++23 [expected.object.monadic] Incorrect constraints on const-qualified monadic overloads for std::expected Yes
3703 C++23 [expected.void.general] Missing requirements for expected<T, E> requires is_void<T> Yes 2
3687 C++23 [expected.void.assign] expected<cv void, E> move constructor should move Yes
3655 C++23 22.10.4 [func.require] The INVOKE operation and union types Yes 3
3764 C++23 [refwrap.invoke] reference_wrapper::operator() should propagate noexcept Yes
3146 C++23 [refwrap.helpers] Excessive unwrapping in std::ref/cref Yes 3
3530 C++23 [comparisons.three.way] BUILTIN-PTR-MEOW should not opt the type out of syntactic checks Yes
3824 C++23 [func.bind.place] Number of bind placeholders is underspecified Yes
2774 C++23 [func.wrap.func.con] std::function construction vs assignment Yes 3
3617 C++23 [func.wrap.func.con] function/packaged_task deduction guides and deducing this Yes 2
3612 C++23 [format.string.std] Inconsistent pointer alignment in std::format Yes
3648 C++23 [format.string.std] format should not print bool with 'c' Yes
3720 C++23 [format.string.std] Restrict the valid types of arg-id for width and precision in std-format-spec Yes 2
3721 C++23 [format.string.std] Allow an arg-id with a value of zero for width in std-format-spec Yes 3
3539 C++23 22.14.5 [format.functions] format_to must not copy models of output_iterator<const charT&> Yes
3619 C++23 22.14.5 [format.functions] Specification of vformat_to contains ill-formed formatted_size calls Yes
3462 C++23 [formatter.requirements] §[formatter.requirements]: Formatter requirements forbid use of fc.arg() Yes 3
3636 C++23 [formatter.requirements] formatter<T>::format should be const-qualified Yes 1
3701 C++23 [format.formatter.spec] Make formatter<remove_cvref_t<const charT[N]>, charT> requirement explicit Yes
3833 C++23 [format.formatter.spec] Remove specialization template<size_t N> struct formatter<const charT[N], charT> Yes 2
3825 C++23 [format.parse.ctx] Missing compile-time argument id check in basic_format_parse_context::next_arg_id Yes
3567 C++23 [format.context] Formatting move-only iterators take two Yes
3654 C++23 [format.context] basic_format_context::arg(size_t) should be noexcept Yes
3839 C++23 [format.range.formatter] range_formatter's set_separator, set_brackets, and underlying functions should be noexcept Yes
3540 C++23 [format.arg] §[format.arg] There should be no const in basic_format_arg(const T* p) Yes
3542 C++23 [format.arg] basic_format_arg mis-handles basic_string_view with custom traits Yes
3631 C++23 [format.arg] basic_format_arg(T&&) should use remove_cvref_t<T> throughout Yes 3
3544 C++23 [format.arg.store] format-arg-store::args is unintentionally not exposition-only Yes 3
3473 C++23 [format.args] Normative encouragement in non-normative note Yes 0
3810 C++23 [format.args] CTAD for std::basic_format_args Yes 3
3656 C++23 22.15.5 [bit.pow.two] Inconsistent bit operations returning a count Yes 3
3085 C++23 23.2.2 [char.traits.require] char_traits::copy precondition too weak Yes 2
3518 C++23 23.2.2 [char.traits.require] Exception requirements on char trait operations unclear Yes
3573 C++23 [string.view.cons] Missing Throws element for basic_string_view(It begin, End end) Yes
3581 C++23 [string.view.cons] The range constructor makes basic_string_view not trivially move constructible Yes
3857 C++23 [string.view.cons] basic_string_view should allow explicit conversion when only traits vary Yes
3432 C++23 23.3.4 [string.view.comparison] Missing requirement for comparison_category Yes 0
3650 C++23 [basic.string.general] Are std::basic_string's iterator and const_iterator constexpr iterators? Yes
3645 C++23 [string.capacity] resize_and_overwrite is overspecified to call its callback with lvalues Yes 2
3705 C++23 23.4.6 [basic.string.hash] Hashability shouldn't depend on basic_string's allocator Yes
3028 C++23 24.2.2 [container.requirements.general] Container requirements tables should distinguish const and non-const variables Yes 3
3732 C++23 24.2.4 [sequence.reqmts] prepend_range and append_range can't be amortized constant time Yes
3742 C++23 24.2.4 [sequence.reqmts] deque::prepend_range needs to permute Yes 2
2743 C++23 [container.node.overview] p0083r3 node_handle private members missing "exposition only" comment Yes 3
3622 C++23 [unord.req.general] Misspecified transitivity of equivalence in §[unord.req.general] Yes 2
3817 C++23 [forward.list.modifiers] Missing preconditions on forward_list modifiers Yes
3088 C++23 [forward.list.ops] forward_list::merge behavior unclear when passed *this Yes 3
2997 C++23 [list.ops] LWG 491 and the specification of {forward_,}list::unique Yes 3
3778 C++23 [vector.bool.pspc] vector<bool> missing exception specifications Yes
3704 C++23 [set.overview] LWG 2059 added overloads that might be ill-formed for sets Yes
3781 C++23 24.6.1 [container.adaptors.general] The exposition-only alias templates cont-key-type and cont-mapped-type should be removed Yes
3774 C++23 24.6.5 [flat.set.syn] <flat_set> should include <compare> Yes
3506 C++23 24.6.7 [priority.queue] Missing allocator-extended constructors for priority_queue Yes 3
3522 C++23 24.6.7 [priority.queue] Missing requirement on InputIterator template parameter for priority_queue constructors Yes
3529 C++23 24.6.7 [priority.queue] priority_queue(first, last) should construct c with (first, last) Yes
3723 C++23 [priqueue.members] priority_queue::push_range needs to append_range Yes 2
3803 C++23 24.6.9 [flat.map] flat_foo constructors taking KeyContainer lack KeyCompare parameter Yes 1
3816 C++23 [flat.map.overview] flat_map and flat_multimap should impose sequence container requirements Yes
3786 C++23 [flat.map.defn] Flat maps' deduction guide needs to default Allocator to be useful Yes 2
3879 C++23 [flat.set.erasure] erase_if for flat_{,multi}set is incorrectly specified Yes
3881 C++23 24.6.13 [container.adaptors.format] Incorrect formatting of container adapters backed by std::string Yes
3876 C++23 [mdspan.layout] Default constructor of std::layout_XX::mapping misses precondition Yes
3736 C++23 25.2 [iterator.synopsis] move_iterator missing disable_sized_sentinel_for specialization Yes
3765 C++23 25.2 [iterator.synopsis] const_sentinel should be constrained Yes
3862 C++23 25.2 [iterator.synopsis] basic_const_iterator's common_type specialization is underconstrained Yes
3446 C++23 [readable.traits] indirectly_readable_traits ambiguity for types with both value_type and element_type Yes 2
3541 C++23 [readable.traits] indirectly_readable_traits should be SFINAE-friendly for all types Yes
3420 C++23 [iterator.traits] cpp17-iterator should check that the type looks like an iterator first Yes 0
3798 C++23 [iterator.traits] Rvalue reference and iterator_category Yes
3467 C++23 [iterator.concept.winc] bool can't be an integer-like type Yes 0
3607 C++23 [iterator.concept.contiguous] contiguous_iterator should not be allowed to have custom iter_move and iter_swap behavior Yes
3236 C++23 [random.access.iterators] Random access iterator requirements lack limiting relational operators domain to comparing those from the same range Yes 3
3306 C++23 [range.iter.op.advance] ranges::advance violates its preconditions Yes 2
3453 C++23 [range.iter.op.advance] Generic code cannot call ranges::advance(i, s) Yes 2
3392 C++23 [range.iter.op.distance] ranges::distance() cannot be used on a move-only iterator with a sized sentinel Yes 3
3664 C++23 [range.iter.op.distance] LWG 3392 broke std::ranges::distance(a, a+3) Yes 2
3769 C++23 25.5.3 [const.iterators] basic_const_iterator::operator== causes infinite constraint recursion Yes 1
3853 C++23 25.5.3 [const.iterators] basic_const_iterator<volatile int*>::operator-> is ill-formed Yes
3872 C++23 25.5.3 [const.iterators] basic_const_iterator should have custom iter_move Yes 3
3391 C++23 25.5.4 [move.iterators] Problems with counted_iterator/move_iterator::base() const & Yes 2
3593 C++23 25.5.4 [move.iterators] Several iterators' base() const & and lazy_split_view::outer-iterator::value_type::end() missing noexcept Yes
3265 C++23 [move.iter.cons] move_iterator's conversions are more broken after P1207 Yes 2
3435 C++23 [move.iter.cons] three_way_comparable_with<reverse_iterator<int*>, reverse_iterator<const int*>> Yes 2
3293 C++23 [move.iter.nonmember] move_iterator operator+() has incorrect constraints Yes 3
3574 C++23 [common.iterator] common_iterator should be completely constexpr-able Yes 3
3660 C++23 [common.iter.types] iterator_traits<common_iterator>::pointer should conform to §[iterator.traits] Yes
3595 C++23 [common.iter.access] Exposition-only classes proxy and postfix-proxy for common_iterator should be fully constexpr Yes
3672 C++23 [common.iter.access] common_iterator::operator->() should return by value Yes
3546 C++23 [common.iter.nav] common_iterator's postfix-proxy is not quite right Yes
3601 C++23 [common.iter.nav] common_iterator's postfix-proxy needs indirectly_readable Yes
3472 C++23 25.5.7 [iterators.counted] counted_iterator is missing preconditions Yes
3543 C++23 [counted.iterator] Definition of when counted_iterators refer to the same sequence isn't quite right Yes
3643 C++23 [counted.iter.nav] Missing constexpr in std::counted_iterator Yes
3600 C++23 [istream.iterator.cons] Making istream_iterator copy constructor trivial is an ABI break Yes 3
3770 C++23 26.2 [ranges.syn] const_sentinel_t is missing Yes 3
3860 C++23 26.2 [ranges.syn] range_common_reference_t is missing Yes
3403 C++23 26.3.11 [range.prim.ssize] Domain of ranges::ssize(E) doesn't match ranges::size(E) Yes 2
3361 C++23 26.4.2 [range.range] safe_range<SomeRange&> case Yes 3
3559 C++23 26.4.3 [range.sized] Semantic requirements of sized_range is circular Yes
3481 C++23 26.4.5 [range.refinements] viewable_range mishandles lvalue move-only views Yes 2
3549 C++23 26.5.3 [view.interface] view_interface is overspecified to derive from view_base Yes 2
3646 C++23 [view.interface.general] std::ranges::view_interface::size returns a signed type Yes 3
3715 C++23 [view.interface.general] view_interface::empty is overconstrained Yes
3766 C++23 [view.interface.general] view_interface::cbegin is underconstrained Yes 2
3404 C++23 26.5.4 [range.subrange] Finish removing subrange's conversions from pair-like Yes 0
3470 C++23 26.5.4 [range.subrange] convertible-to-non-slicing seems to reject valid case Yes 3
3589 C++23 26.5.4 [range.subrange] The const lvalue reference overload of get for subrange does not constrain I to be copyable when N == 0 Yes 3
3433 C++23 [range.subrange.access] subrange::advance(n) has UB when n < 0 Yes 2
3551 C++23 26.5.5 [range.dangling] borrowed_{iterator,subrange}_t are overspecified Yes
3733 C++23 [range.utility.conv.to] ranges::to misuses cpp17-input-iterator Yes 2
3743 C++23 [range.utility.conv.to] ranges::to's reserve may be ill-formed Yes
3785 C++23 [range.utility.conv.to] ranges::to is over-constrained on the destination type being a range Yes
3847 C++23 [range.utility.conv.to] ranges::to can still return views Yes 2
3428 C++23 [range.single.view] single_view's in place constructor should be explicit Yes 0
3523 C++23 [range.iota.view] iota_view::sentinel is not always iota_view's sentinel Yes
3597 C++23 [range.iota.view] Unsigned integer types don't model advanceable Yes 3
3610 C++23 [range.iota.view] iota_view::size sometimes rejects integer-class types Yes
3580 C++23 [range.iota.iterator] iota_view's iterator's binary operator+ should be improved Yes
3670 C++23 [range.iota.iterator] Cpp17InputIterators don't have integer-class difference types Yes
3875 C++23 26.6.5 [range.repeat] std::ranges::repeat_view<T, IntegerClass>::iterator may be ill-formed Yes
3772 C++23 [range.repeat.view] repeat_view's piecewise constructor is missing Postconditions Yes 2
3796 C++23 [range.repeat.view] movable-box as member should use default-initialization instead of copy-initialization Yes
3568 C++23 [range.istream.view] basic_istream_view needs to initialize value_ Yes
3477 C++23 26.7.3 [range.move.wrap] Simplify constraints for semiregular-box Yes 0
3572 C++23 26.7.3 [range.move.wrap] copyable-box should be fully constexpr Yes
3533 C++23 [range.filter.iterator] Make base() const & consistent across iterator wrappers that supports input_iterators Yes
3483 C++23 [range.transform.iterator] transform_view::iterator's difference is overconstrained Yes 0
3520 C++23 [range.transform.iterator] iter_move and iter_swap are inconsistent for transform_view::iterator Yes 2
3555 C++23 [range.transform.iterator] {transform,elements}_view::iterator::iterator_concept should consider const-qualification of the underlying range Yes
3564 C++23 [range.transform.iterator] transform_view::iterator<true>::value_type and iterator_category should use const F& Yes 2
3618 C++23 [range.transform.iterator] Unnecessary iter_move for transform_view::iterator Yes
3448 C++23 [range.transform.sentinel] transform_view's sentinel<false> not comparable with iterator<true> Yes 1
3407 C++23 [range.take.overview] Some problems with the wording changes of P1739R4 Yes 2
3447 C++23 [range.take.view] Deduction guides for take_view and drop_view have different constraints Yes 0
3738 C++23 [range.take.view] Missing preconditions for take_view constructor Yes
3449 C++23 [range.take.sentinel] take_view and take_while_view's sentinel<false> not comparable with their const iterator Yes 1
3737 C++23 [range.take.sentinel] take_view::sentinel should provide operator- Yes 3
3450 C++23 [range.take.while.view] The const overloads of take_while_view::begin/end are underconstrained Yes 0
3708 C++23 [range.take.while.sentinel] take_while_view::sentinel's conversion constructor should move Yes
3482 C++23 [range.drop.view] drop_view's const begin should additionally require sized_range Yes 0
3490 C++23 [range.drop.while.view] ranges::drop_while_view::begin() is missing a precondition Yes 0
3474 C++23 26.7.14 [range.join] Nesting join_views is broken because of CTAD Yes
3500 C++23 [range.join.iterator] join_view::iterator::operator->() is bogus Yes 0
3517 C++23 [range.join.iterator] join_view::iterator's iter_swap is underconstrained Yes
3535 C++23 [range.join.iterator] join_view::iterator::iterator_category and ::iterator_concept lie Yes 2
3569 C++23 [range.join.iterator] join_view fails to support ranges of ranges with non-default_initializable iterators Yes 3
3592 C++23 [range.lazy.split.view] lazy_split_view needs to check the simpleness of Pattern Yes
3505 C++23 [range.lazy.split.outer] split_view::outer-iterator::operator++ misspecified Yes 2
3553 C++23 [range.lazy.split.outer.value] Useless constraint in split_view::outer-iterator::value_type::begin() Yes
3532 C++23 [range.lazy.split.inner] split_view<V, P>::inner-iterator<true>::operator++(int) should depend on Base Yes
3591 C++23 [range.lazy.split.inner] lazy_split_view<input_view>::inner-iterator::base() && invalidates outer iterators Yes
3590 C++23 [range.split.view] split_view::base() const & is overconstrained Yes
3405 C++23 [range.common.view] common_view's converting constructor is bad, too Yes 0
3717 C++23 [range.common.view] common_view::end should improve random_access_range case Yes 3
3494 C++23 26.7.20 [range.reverse] Allow ranges to be conditionally borrowed Yes
3811 C++23 [range.as.const.overview] views::as_const on ref_view<T> should return ref_view<const T> Yes
3850 C++23 [range.as.const.overview] views::as_const on empty_view<T> should return empty_view<const T> Yes
3563 C++23 [range.elements.overview] keys_view example is broken Yes 3
3406 C++23 [range.elements.view] elements_view::begin() and elements_view::end() have incompatible constraints Yes 1
3492 C++23 [range.elements.iterator] Minimal improvements to elements_view::iterator Yes 0
3502 C++23 [range.elements.iterator] elements_view should not be allowed to return dangling references Yes 2
3755 C++23 [range.zip.view] tuple-for-each can call user-defined operator, Yes
3692 C++23 [range.zip.iterator] zip_view::iterator's operator<=> is overconstrained Yes
3773 C++23 [range.zip.transform.overview] views::zip_transform still requires F to be copy_constructible when empty pack Yes
3702 C++23 [range.zip.transform.iterator] Should zip_transform_view::iterator remove operator<? Yes
3848 C++23 [range.adjacent.view] adjacent_view, adjacent_transform_view and slide_view missing base accessor Yes
3710 C++23 [range.chunk.view.input] The end of chunk_view for input ranges can be const Yes
3712 C++23 [range.chunk.view.input] chunk_view and slide_view should not be default_initializable Yes
3707 C++23 [range.chunk.outer.value] chunk_view::outer-iterator::value_type::size should return unsigned type Yes
3851 C++23 [range.chunk.inner.iter] chunk_view::inner-iterator missing custom iter_move and iter_swap Yes
3880 C++23 [range.chunk.fwd.iter] Clarify operator+= complexity for {chunk,stride}_view::iterator Yes
3711 C++23 [range.slide.view] Missing preconditions for slide_view constructor Yes
3760 C++23 26.7.32 [range.cartesian] cartesian_product_view::iterator's parent_ is never valid Yes
3761 C++23 [range.cartesian.iterator] cartesian_product_view::iterator::operator- should pass by reference Yes
3801 C++23 [range.cartesian.iterator] cartesian_product_view::iterator::distance-from ignores the size of last underlying range Yes
3820 C++23 [range.cartesian.iterator] cartesian_product_view::iterator::prev is not quite right Yes
3849 C++23 [range.cartesian.iterator] cartesian_product_view::iterator's default constructor is overconstrained Yes
3826 C++23 26.8.5 [coro.generator.promise] Redundant specification [for overload of yield_value] Yes
3762 C++23 26.8.6 [coro.generator.iterator] generator::iterator::operator== should pass by reference Yes
3419 C++23 27.2 [algorithms.requirements] §[algorithms.requirements]/15 doesn't reserve as many rights as it intends to Yes 0
3560 C++23 27.6.13 [alg.equal] ranges::equal and ranges::is_permutation should short-circuit for sized_ranges Yes
3759 C++23 27.7.11 [alg.rotate] ranges::rotate_copy should use std::move Yes
3713 C++23 27.8.1 [alg.sorting.general] Sorted with respect to comparator (only) Yes
3032 C++23 27.8.8 [alg.heap.operations] ValueSwappable requirement missing for push_heap and make_heap Yes 3
3410 C++23 27.8.12 [alg.three.way] lexicographical_compare_three_way is overspecified Yes 3
3870 C++23 27.11.1 [specialized.algorithms.general] Remove voidify Yes
3747 C++23 27.11.5 [uninitialized.copy] ranges::uninitialized_copy_n, ranges::uninitialized_move_n, and ranges::destroy_n should use std::move Yes
3521 C++23 27.12 [alg.c.library] Overly strict requirements on qsort and bsearch Yes
3519 C++23 28.5.4 [rand.eng] Incomplete synopses for <random> classes Yes 3
3561 C++23 [rand.adapt.disc] Issue with internal counter in discard_block_engine Yes
3422 C++23 [rand.util.seedseq] Issues of seed_seq's constructors Yes 3
3790 C++23 28.7.1 [cmath.syn] P1467 accidentally changed nexttoward's signature Yes 1
3123 C++23 29.5 [time.duration] duration constructor from representation shouldn't be effectively non-throwing Yes 3
3536 C++23 29.5.11 [time.duration.io] Should chrono::from_stream() assign zero to duration for failure? Yes
3842 C++23 29.12 [time.format] Unclear wording for precision in chrono-format-spec Yes
3554 C++23 29.13 [time.parse] chrono::parse needs const charT* and basic_string_view<charT> overloads Yes 2
2295 C++23 [locale.cons] Locale name when the provided Facet is a nullptr Yes 3
2381 C++23 [facet.num.get.virtuals] Inconsistency in parsing floating point numbers Yes 2
3878 C++23 31.4.2 [iostream.objects.overview] import std; should guarantee initialization of standard iostreams objects Yes
3434 C++23 [ios.base.cons] ios_base never reclaims memory for iarray and parray Yes
3118 C++23 [fpos.operations] fpos equality comparison unspecified Yes 4
3464 C++23 [istream.unformatted] istream::gcount() can overflow Yes 0
3571 C++23 [ostream.manip] flush_emit should set badbit if the emit call fails Yes
3430 C++23 31.10.1 [fstream.syn] std::fstream & co. should be constructible from string_view Yes 3
3498 C++23 [syncstream.syncbuf.overview] Inconsistent noexcept-specifiers for basic_syncbuf Yes 3
3616 C++23 [syncstream.syncbuf.special] LWG 3498 seems to miss the non-member swap for basic_syncbuf Yes
3867 C++23 [syncstream.osyncstream.overview] Should std::basic_osyncstream's move assignment operator be noexcept? Yes
3570 C++23 [syncstream.osyncstream.members] basic_osyncstream::emit should be an unformatted output function Yes
3657 C++23 31.12.6 [fs.class.path] std::hash<std::filesystem::path> is not enabled Yes
3171 C++23 31.12.10 [fs.class.directory.entry] LWG 2989 breaks directory_entry stream insertion Yes 2
3480 C++23 31.12.11 [fs.class.directory.iterator] directory_iterator and recursive_directory_iterator are not C++20 ranges Yes 3
3719 C++23 [fs.class.directory.iterator.general] Directory iterators should be usable with default sentinel Yes
3822 C++23 [fs.op.weakly.canonical] Avoiding normalization in filesystem::weakly_canonical Yes
3834 C++23 31.13.2 [cinttypes.syn] Missing constexpr for std::intmax_t math functions in <cinttypes> Yes
3204 C++23 32.8 [re.submatch] sub_match::swap only swaps the base class Yes 3
2195 C++23 32.9 [re.results] Missing constructors for match_results Yes 3
2191 C++23 32.9.2 [re.results.const] Incorrect specification of match_results(match_results&&) Yes 4
3476 C++23 [thread.thread.constr] thread and jthread constructors require that the parameters be move-constructible but never move construct the parameters Yes 0
3788 C++23 [thread.jthread.cons] jthread::operator=(jthread&&) postconditions are unimplementable under self-assignment Yes 3
3745 C++23 33.5.2 [atomics.syn] std::atomic_wait and its friends lack noexcept Yes
3249 C++23 33.5.5 [atomics.lockfree] There are no 'pointers' in §[atomics.lockfree] Yes 4
3661 C++23 [util.smartptr.atomic.shared] constinit atomic<shared_ptr<T>> a(nullptr); should work Yes
3659 C++23 33.5.10 [atomics.flag] Consider ATOMIC_FLAG_INIT undeprecation Yes 3
3671 C++23 33.5.12 [stdatomic.h.syn] atomic_fetch_xor missing from stdatomic.h Yes
2731 C++23 [thread.lock.guard] Existence of lock_guard<MutexTypes...>::mutex_type typedef unclear Yes 3
3425 C++23 33.7.5 [thread.condition.condvarany] condition_variable_any fails to constrain its Lock parameters Yes 0
3466 C++23 33.10.6 [futures.promise] Specify the requirements for promise/future/shared_future consistently Yes 3
3795 C++23 33.10.7 [futures.unique.future] Self-move-assignment of std::future and std::shared_future have unimplementable postconditions Yes 3
3117 C++23 33.10.10 [futures.task] Missing packaged_task deduction guides Yes 3
2697 C++23 99 [concurr.ts::futures.unique_future] [concurr.ts] Behavior of future/shared_future unwrapping constructor when given an invalid future Yes 2
3136 C++23 [fund.ts.v3::propagate_const.class_type_requirements] [fund.ts.v3] LFTSv3 awkward wording in propagate_const requirements Yes 3
3413 C++23 [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
2960 C++23 3.4 [fund.ts.v3::meta] [fund.ts.v3] nonesuch is insufficiently useless Yes 2
3411 C++23 5.4 [fund.ts.v3::memory.resource.syn] [fund.ts.v3] Contradictory namespace rules in the Library Fundamentals TS Yes 3
3771 C++23 99 [fund.ts.v3::func.wrap.func.overview] [fund.ts.v3] remove binders typedefs from function Yes
3414 C++23 13.7 [networking.ts::async.exec.ctx] [networking.ts] service_already_exists has no usable constructors Yes 0
3010 C++23 13.11.1 [networking.ts::async.uses.executor.trait] [networking.ts] uses_executor says "if a type T::executor_type exists" Yes 0
3020 C++23 16.2 [networking.ts::buffer.reqmts] [networking.ts] Remove spurious nested value_type buffer sequence requirement Yes 0
2779 C++23 16.2.1 [networking.ts::buffer.reqmts.mutablebuffersequence] [networking.ts] Relax requirements on buffer sequence iterators Yes
3071 C++23 17.9 [networking.ts::buffer.read.until] [networking.ts] read_until still refers to "input sequence" Yes 0
3002 C++23 18.9.4 [networking.ts::socket.acceptor.ops] [networking.ts] basic_socket_acceptor::is_open() isn't noexcept Yes 0
3443 C++23 19.2.1 [networking.ts::socket.iostream.cons] [networking.ts] net::basic_socket_iostream should use addressof Yes 0

C++20 (282 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
3119 C++20 3.40 [defns.prog.def.spec] Program-definedness of closure types Yes 2
3285 C++20 [customization.point.object] The type of a customization point object shall satisfy semiregular Yes 0
3148 C++20 [compliance] <concepts> should be freestanding Yes 0
2593 C++20 [allocator.requirements] Moved-from state of Allocators Yes 4
3315 C++20 [allocator.requirements] Correct Allocator Default Behavior Yes 0
2954 C++20 16.4.5 [constraints] Specialization of the convenience variable templates should be prohibited Yes
2139 C++20 [namespace.std] What is a user-defined type? Yes 4
3132 C++20 [macro.names] Library needs to ban macros named expects or ensures Yes 0
3147 C++20 [macro.names] Definitions of "likely" and "unlikely" are likely to cause problems Yes 0
2950 C++20 17.2.5 [support.types.byteops] std::byte operations are misspecified Yes 1
3137 C++20 17.3.1 [support.limits.general] Header for __cpp_lib_to_chars Yes 0
3122 C++20 17.3.1 [support.limits.general] __cpp_lib_chrono_udls was accidentally dropped Yes 0
3256 C++20 17.3.1 [support.limits.general] Feature testing macro for constexpr algorithms Yes 0
3257 C++20 17.3.1 [support.limits.general] Missing feature testing macro update from P0858 Yes 0
3274 C++20 17.3.1 [support.limits.general] Missing feature test macro for <span> Yes 0
3348 C++20 17.3.2 [version.syn] __cpp_lib_unwrap_ref in wrong header Yes 2
3349 C++20 17.3.2 [version.syn] Missing __cpp_lib_constexpr_complex for P0415R1 Yes 0
3356 C++20 17.3.2 [version.syn] __cpp_lib_nothrow_convertible should be __cpp_lib_is_nothrow_convertible Yes 0
3393 C++20 17.3.2 [version.syn] Missing/incorrect feature test macro for coroutines Yes 0
2859 C++20 17.6.5 [ptr.launder] Definition of reachable in [ptr.launder] misses pointer arithmetic from pointer-interconvertible object Yes 2
3396 C++20 [support.srcloc.cons] Clarify point of reference for source_location::current() (DE 169) Yes 2
3360 C++20 17.11.4 [cmp.concept] three_way_comparable_with is inconsistent with similar concepts Yes 0
3324 C++20 17.11.6 [cmp.alg] Special-case std::strong/weak/partial_order for pointers Yes 0
3330 C++20 17.12.2 [coroutine.syn] Include <compare> from most library headers Yes 0
3182 C++20 18.4.2 [concept.same] Specification of Same could be clearer Yes 0
3194 C++20 18.4.4 [concept.convertible] ConvertibleTo prose does not match code Yes 1
3153 C++20 18.4.6 [concept.common] Common and common_type have too little in common Yes 0
3154 C++20 18.4.6 [concept.common] Common and CommonReference have a common defect Yes 0
3175 C++20 18.4.9 [concept.swappable] The CommonReference requirement of concept SwappableWith is not satisfied in the example Yes 1
3149 C++20 18.4.12 [concept.default.init] DefaultConstructible should require default initialization Yes 2
3338 C++20 18.4.12 [concept.default.init] Rename default_constructible to default_initializable Yes 0
3329 C++20 18.5.5 [concept.totallyordered] totally_ordered_with both directly and indirectly requires common_reference_with Yes 0
3331 C++20 18.5.5 [concept.totallyordered] Define totally_ordered/_with in terms of partially-ordered-with Yes 0
3141 C++20 18.6 [concepts.object] CopyConstructible doesn't preserve source values Yes 2
3112 C++20 [syserr.syserr.members] system_error and filesystem_error constructors taking a string may not be able to meet their postconditions Yes 0
3303 C++20 20.2.2 [memory.syn] Bad "constexpr" marker for destroy/destroy_n Yes 0
3374 C++20 20.2.4 [pointer.conversion] P0653 + P1006 should have made the other std::to_address overload constexpr Yes 0
3185 C++20 [allocator.uses.construction] Uses-allocator construction functions missing constexpr and noexcept Yes 0
3187 C++20 [allocator.uses.construction] P0591R4 reverted DR 2586 fixes to scoped_allocator_adaptor::construct() Yes
3321 C++20 [allocator.uses.construction] uninitialized_construct_using_allocator should use construct_at Yes 0
3035 C++20 20.2.10 [default.allocator] std::allocator's constructors should be constexpr Yes 0
3307 C++20 20.2.10 [default.allocator] std::allocator<void>().allocate(n) Yes 0
3190 C++20 [allocator.members] std::allocator::allocate sometimes returns too little storage Yes 3
2948 C++20 20.3.1 [unique.ptr] unique_ptr does not define operator<< for stream output Yes 0
2944 C++20 [unique.ptr.single.ctor] LWG 2905 accidentally removed requirement that construction of the deleter doesn't throw an exception Yes 0
2996 C++20 [util.smartptr.shared] Missing rvalue overloads for shared_ptr operations Yes
3018 C++20 [util.smartptr.shared] shared_ptr of function type Yes 3
3233 C++20 [util.smartptr.shared.const] Broken requirements for shared_ptr converting constructors Yes 0
3005 C++20 [util.smartptr.shared.create] Destruction order of arrays by make_shared/allocate_shared only recommended? Yes 0
3007 C++20 [util.smartptr.shared.create] allocate_shared should rebind allocator to cv-unqualified value_type for construction Yes 0
3008 C++20 [util.smartptr.shared.create] make_shared (sub)object destruction semantics are not specified Yes 2
2964 C++20 [util.smartptr.shared.cast] Apparently redundant requirement for dynamic_pointer_cast Yes 0
3001 C++20 [util.smartptr.weak] weak_ptr::element_type needs remove_extent_t Yes 0
2942 C++20 [util.smartptr.weak.obs] LWG 2873's resolution missed weak_ptr::owner_before Yes
2843 C++20 [mem.res.private] Unclear behavior of std::pmr::memory_resource::do_allocate() Yes 3
3037 C++20 20.4.3 [mem.poly.allocator.class] polymorphic_allocator and incomplete types Yes 2
3304 C++20 20.4.3 [mem.poly.allocator.class] Allocate functions of std::polymorphic_allocator should require [[nodiscard]] Yes 3
2969 C++20 [mem.poly.allocator.mem] polymorphic_allocator::construct() shouldn't pass resource() Yes 2
2975 C++20 [mem.poly.allocator.mem] Missing case for pair construction in scoped and polymorphic allocators Yes 3
3038 C++20 [mem.poly.allocator.mem] polymorphic_allocator::allocate should not allow integer overflow to create vulnerabilities Yes 2
3237 C++20 [mem.poly.allocator.mem] LWG 3038 and 3190 have inconsistent PRs Yes 2
3310 C++20 [mem.poly.allocator.mem] Replace SIZE_MAX with numeric_limits<size_t>::max() Yes 0
2961 C++20 20.4.4 [mem.res.global] Bad postcondition for set_default_resource Yes
3000 C++20 [mem.res.monotonic.buffer.mem] monotonic_memory_resource::do_is_equal uses dynamic_cast unnecessarily Yes 0
3116 C++20 20.5.4 [allocator.adaptor.members] OUTERMOST_ALLOC_TRAITS needs remove_reference_t Yes 0
2972 C++20 [meta.unary.prop] What is is_trivially_destructible_v<int>? Yes
3354 C++20 [meta.unary.prop] has_strong_structural_equality has a meaningless definition Yes 1
2979 C++20 [meta.trans.other] aligned_union should require complete object types Yes 0
3034 C++20 [meta.trans.other] P0767R1 breaks previously-standard-layout types Yes 0
3140 C++20 [meta.trans.other] COMMON_REF is unimplementable as specified Yes 0
3380 C++20 [meta.trans.other] common_type and comparison categories Yes 0
2958 C++20 22.3.2 [pairs.pair] Moves improperly defined as deleted Yes 2
3346 C++20 22.3.2 [pairs.pair] pair and tuple copy and move constructor have backwards specification Yes 0
3382 C++20 22.3.2 [pairs.pair] NTTP for pair and array Yes 2
3347 C++20 22.3.3 [pairs.spec] std::pair<T, U> now requires T and U to be less-than-comparable Yes 1
2974 C++20 22.3.4 [pair.astuple] Diagnose out of bounds tuple_element/variant_alternative Yes
2899 C++20 22.4 [tuple] is_(nothrow_)move_constructible and tuple, optional and unique_ptr Yes 2
3158 C++20 [tuple.cnstr] tuple(allocator_arg_t, const Alloc&) should be conditionally explicit Yes 3
3196 C++20 22.5.3 [optional.optional] std::optional<T> is ill-formed is T is an array Yes 0
2945 C++20 22.5.8 [optional.comp.with.t] Order of template parameters in optional comparisons Yes 2
3024 C++20 [variant.ctor] variant's copies must be deleted instead of disabled via SFINAE Yes
2970 C++20 22.6.7 [variant.visit] Return type of std::visit misspecified Yes 2
3199 C++20 22.9.4 [bitset.operators] istream >> bitset<0> fails Yes
3202 C++20 22.10.2 [functional.syn] P0318R1 was supposed to be revised Yes 0
2981 C++20 22.10.6 [refwrap] Remove redundant deduction guides from standard library Yes 0
2993 C++20 22.10.6 [refwrap] reference_wrapper<T> conversion from T&& Yes 3
3041 C++20 [refwrap.const] Unnecessary decay in reference_wrapper Yes 0
3184 C++20 22.10.14 [func.bind.partial] Inconsistencies in bind_front wording Yes 0
3238 C++20 [func.wrap.func.con] Insufficiently-defined behavior of std::function deduction guides Yes
3266 C++20 22.13.1 [charconv.syn] to_chars(bool) should be deleted Yes 0
3373 C++20 22.13.1 [charconv.syn] {to,from}_chars_result and format_to_n_result need the "we really mean what we say" wording Yes 0
3080 C++20 22.13.3 [charconv.from.chars] Floating point from_chars pattern specification breaks round-tripping Yes 0
3243 C++20 22.14.2 [format.string] std::format and negative zeroes Yes 2
3251 C++20 22.14.2 [format.string] Are std::format alignment specifiers applied to string arguments? Yes 2
3242 C++20 [format.string.std] std::format: missing rules for arg-id in width and precision Yes 1
3248 C++20 [format.string.std] std::format #b, #B, #o, #x, and #X presentation types misformat negative numbers Yes 2
3250 C++20 [format.string.std] std::format: # (alternate form) for NaN and inf Yes 0
3290 C++20 [format.string.std] Are std::format field widths code units, code points, or something else? Yes
3327 C++20 [format.string.std] Format alignment specifiers vs. text direction Yes 0
3340 C++20 22.14.5 [format.functions] Formatting functions should throw on argument/format string mismatch in §[format.functions] Yes
3372 C++20 22.14.5 [format.functions] vformat_to should not try to deduce Out twice Yes 0
3246 C++20 [format.arg] What are the constraints on the template parameter of basic_format_arg? Yes 0
3371 C++20 [format.arg] visit_format_arg and make_format_args are not hidden friends Yes 0
3040 C++20 [string.view.ops] basic_string_view::starts_with Effects are incorrect Yes 0
3075 C++20 23.4.3 [basic.string] basic_string needs deduction guides from basic_string_view Yes
2946 C++20 [string.cons] LWG 2758's resolution missed further corrections Yes 2
3076 C++20 [string.cons] basic_string CTAD ambiguity Yes
3004 C++20 [string.capacity] §[string.capacity] and §[vector.capacity] should specify time complexity for capacity() Yes 0
2978 C++20 23.4.6 [basic.string.hash] Hash support for pmr::string and friends Yes 0
3352 C++20 24.2.2 [container.requirements.general] strong_equality isn't a thing Yes 1
2977 C++20 24.2.8 [unord.req] unordered_meow::merge() has incorrect Throws: clause Yes 0
2953 C++20 [deque.modifiers] LWG 2853 should apply to deque::erase too Yes 0
3017 C++20 [forward.list.ops] list splice functions should use addressof Yes 0
2998 C++20 [list.ops] Requirements on function objects passed to {forward_,}list-specific algorithms Yes 0
3087 C++20 [list.ops] One final &x in §[list.ops] Yes 3
2164 C++20 [vector.modifiers] What are the semantics of vector.emplace(vector.begin(), vector.back())? Yes 2
3077 C++20 [vector.modifiers] (push|emplace)_back should invalidate the end iterator Yes 3
3025 C++20 [map.overview] Map-like container deduction guides should use pair<Key, T>, not pair<const Key, T> Yes 2
2982 C++20 [unord.set.overview] Making size_type consistent in associative container deduction guides Yes 2
2783 C++20 [queue.defn] stack::emplace() and queue::emplace() should return decltype(auto) Yes 2
3102 C++20 [span.overview] Clarify span iterator and const_iterator behavior Yes 0
3144 C++20 [span.overview] span does not have a const_pointer typedef Yes 0
3369 C++20 [span.overview] span's deduction-guide for built-in arrays doesn't work Yes 0
3100 C++20 [span.cons] Unnecessary and confusing "empty span" wording Yes 0
3101 C++20 [span.cons] span's Container constructors need another constraint Yes 1
3198 C++20 [span.cons] Bad constraint on std::span::span() Yes
3255 C++20 [span.cons] span's array constructor is too strict Yes 2
3358 C++20 [span.cons] §[span.cons] is mistaken that to_address can throw Yes 0
3103 C++20 [span.sub] Errors in taking subview of span should be ill-formed where possible Yes 3
3320 C++20 [span.iterators] span::cbegin/cend methods produce different results than std::[ranges::]cbegin/cend Yes 0
3259 C++20 25.3.1 [iterator.requirements.general] The definition of constexpr iterators should be adjusted Yes 0
2952 C++20 [iterator.traits] iterator_traits should work for pointers to cv T Yes 0
3247 C++20 [iterator.cust.move] ranges::iter_move should perform ADL-only lookup of iter_move Yes 2
3299 C++20 [iterator.cust.move] Pointers don't need customized iterator behavior Yes 0
3367 C++20 [iterator.concept.winc] Integer-class conversions should not throw Yes 0
3183 C++20 [iterator.concept.sizedsentinel] Normative permission to specialize Ranges variable templates Yes 0
3277 C++20 [iterator.concept.random.access] Pre-increment on prvalues is not a requirement of weakly_incrementable Yes 0
3284 C++20 [iterator.concept.random.access] random_access_iterator semantic constraints accidentally promote difference type using unary negate Yes 0
3390 C++20 [move.iter.nonmember] make_move_iterator() cannot be used to construct a move_iterator for a move-only iterator Yes 0
3385 C++20 [common.iterator] common_iterator is not sufficiently constrained for non-copyable iterators Yes 0
3389 C++20 [counted.iter.const] A move-only iterator still does not have a counted_iterator Yes 0
3009 C++20 25.7 [iterator.range] Including <string_view> doesn't provide std::size/empty/data Yes 0
3208 C++20 25.7 [iterator.range] Boolean's expression requirements are ordered inconsistently Yes 0
3300 C++20 25.7 [iterator.range] Non-array ssize overload is underconstrained Yes 3
3302 C++20 26.2 [ranges.syn] Range adaptor objects keys and values are unspecified Yes 1
3335 C++20 26.2 [ranges.syn] Resolve C++20 NB comments US 273 and GB 274 Yes 1
3351 C++20 26.2 [ranges.syn] ranges::enable_safe_range should not be constrained Yes 0
3379 C++20 26.2 [ranges.syn] "safe" in several library names is misleading Yes 1
3398 C++20 26.2 [ranges.syn] tuple_element_t is also wrong for const subrange Yes 0
3264 C++20 26.4.3 [range.sized] sized_range and ranges::size redundantly use disable_sized_range Yes 1
3326 C++20 26.4.4 [range.view] enable_view has false positives Yes 0
3375 C++20 26.4.5 [range.refinements] decay in viewable_range should be remove_cvref Yes 0
3381 C++20 26.4.5 [range.refinements] begin and data must agree for contiguous_range Yes 0
3281 C++20 26.5.4 [range.subrange] Conversion from pair-like types to subrange is a silent semantic promotion Yes 1
3282 C++20 26.5.4 [range.subrange] subrange converting constructor should disallow derived to base conversions Yes 1
3179 C++20 [range.subrange.ctor] subrange should always model Range Yes 0
3292 C++20 [range.iota.view] iota_view is under-constrained Yes
3291 C++20 [range.iota.iterator] iota_view::iterator has the wrong iterator_category Yes 0
3388 C++20 [range.iota.iterator] view iterator types have ill-formed <=> operators Yes 0
3397 C++20 [range.istream.iterator] ranges::basic_istream_view::iterator should not provide iterator_category Yes 1
3173 C++20 [range.ref.view] Enable CTAD for ref-view Yes 0
3280 C++20 [range.filter.view] View converting constructors can cause constraint recursion and are unneeded Yes 1
3325 C++20 [range.transform.view] Constrain return type of transformation function for transform_view Yes 0
3301 C++20 [range.transform.iterator] transform_view::iterator has incorrect iterator_category Yes 1
3384 C++20 [range.transform.sentinel] transform_view::sentinel has an incorrect operator- Yes 0
3286 C++20 [range.take.view] ranges::size is not required to be valid after a call to ranges::begin on an input range Yes 0
3364 C++20 [range.take.while.view] Initialize data members of ranges and their iterators Yes 0
3363 C++20 [range.drop.while.view] drop_while_view should opt-out of sized_range Yes 1
3313 C++20 [range.join.iterator] join_view::iterator::operator-- is incorrectly constrained Yes 0
3276 C++20 [range.lazy.split.outer.value] Class split_view::outer_iterator::value_type should inherit from view_interface Yes 0
3387 C++20 [range.reverse.view] §[range.reverse.view] reverse_view<V> unintentionally requires range<const V> Yes 0
3386 C++20 26.7.22 [range.elements] elements_view needs its own sentinel type Yes 1
3323 C++20 [range.elements.view] has-tuple-element helper concept needs convertible_to Yes 0
3377 C++20 [range.elements.iterator] elements_view::iterator befriends a specialization of itself Yes 0
2932 C++20 27.3.3 [algorithms.parallel.exec] Constraints on parallel algorithm implementations are underspecified Yes
3062 C++20 27.3.5 [algorithms.parallel.overloads] Unnecessary decay_t in is_execution_policy_v should be remove_cvref_t Yes 0
3180 C++20 27.4 [algorithm.syn] Inconsistently named return type for ranges::minmax_element Yes 0
3186 C++20 27.7.8 [alg.remove] ranges removal, partition, and partial_sort_copy algorithms discard useful information Yes 1
3191 C++20 27.7.13 [alg.random.shuffle] std::ranges::shuffle synopsis does not match algorithm definition Yes 1
3031 C++20 27.8 [alg.sorting] Algorithms and predicates with non-const reference arguments Yes 2
2444 C++20 [sort.heap] Inconsistent complexity for std::sort_heap Yes 3
3350 C++20 27.8.12 [alg.three.way] Simplify return type of lexicographical_compare_three_way Yes 0
3169 C++20 27.8.13 [alg.permutation.generators] ranges permutation generators discard useful information Yes 0
3048 C++20 27.10.6 [transform.reduce] transform_reduce(exec, first1, last1, first2, init) discards execution policy Yes 0
3222 C++20 27.10.9 [inclusive.scan] P0574R1 introduced preconditions on non-existent parameters Yes 0
3058 C++20 27.10.12 [adjacent.difference] Parallel adjacent_difference shouldn't require creating temporaries Yes 3
3200 C++20 27.10.16 [numeric.ops.midpoint] midpoint should not constrain T is complete Yes 2
3054 C++20 27.11.5 [uninitialized.copy] uninitialized_copy appears to not be able to meet its exception-safety guarantee Yes 2
3355 C++20 27.11.5 [uninitialized.copy] The memory algorithms should support move-only input iterators introduced by P1207 Yes 2
3133 C++20 28.2 [numeric.requirements] Modernizing numeric type requirements Yes 0
2870 C++20 28.4.7 [complex.value.ops] Default value of parameter theta of polar should be dependent Yes
2597 C++20 28.4.8 [complex.transcendentals] std::log misspecified for complex numbers Yes 3
3150 C++20 [rand.req.urng] UniformRandomBitGenerator should validate min and max Yes 3
3074 C++20 28.6.3 [valarray.nonmembers] Non-member functions for valarray should only deduce from the valarray Yes 0
3051 C++20 28.7.1 [cmath.syn] Floating point classifications were inadvertently changed in P0175 Yes 0
3201 C++20 28.7.4 [c.math.lerp] lerp should be marked as noexcept Yes 2
3050 C++20 29.5.2 [time.duration.cons] Conversion specification problem in chrono::duration constructor Yes 3
3104 C++20 29.5.6 [time.duration.nonmember] Fixing duration division Yes 0
3094 C++20 29.5.11 [time.duration.io] §[time.duration.io]p4 makes surprising claims about encoding Yes 0
3314 C++20 29.5.11 [time.duration.io] Is stream insertion behavior locale dependent when Period::type is micro? Yes 2
3317 C++20 29.5.11 [time.duration.io] Incorrect operator<< for floating-point durations Yes 0
3318 C++20 [time.clock.system.overview] Clarify whether clocks can represent time before their epoch Yes 0
3316 C++20 [time.clock.utc.overview] Correctly define epoch for utc_clock / utc_timepoint Yes 0
3145 C++20 29.7.6 [time.clock.file] file_clock breaks ABI for C++17 implementations Yes 1
3260 C++20 29.8 [time.cal] year_month* arithmetic rejects durations convertible to years Yes 2
3209 C++20 [time.cal.year.members] Expression in year::ok() returns clause is ill-formed Yes 0
3273 C++20 [time.cal.wdidx.members] Specify weekday_indexed to range of [0, 7] Yes 0
3221 C++20 [time.cal.ym.nonmembers] Result of year_month arithmetic with months is ambiguous Yes 0
3206 C++20 [time.cal.ymd.members] year_month_day conversion to sys_days uses not-existing member function Yes 0
3231 C++20 [time.cal.ymdlast.members] year_month_day_last::day specification does not cover !ok() values Yes 0
3319 C++20 29.11.1 [time.zone.general] Properly reference specification of IANA time zone database Yes 0
3232 C++20 [time.zone.zonedtime.overview] Inconsistency in zoned_time deduction guides Yes 0
3294 C++20 [time.zone.zonedtime.overview] zoned_time deduction guides misinterprets string/char* Yes 0
3224 C++20 [time.zone.zonedtime.ctor] zoned_time constructor from TimeZonePtr does not specify initialization of tp_ Yes 0
3225 C++20 [time.zone.zonedtime.ctor] zoned_time converting constructor shall not be noexcept Yes 0
3226 C++20 [time.zone.zonedtime.ctor] zoned_time constructor from string_view should accept zoned_time<Duration2, TimeZonePtr2> Yes 2
3359 C++20 29.11.8 [time.zone.leap] <chrono> leap second support should allow for negative leap seconds Yes 3
3383 C++20 [time.zone.leap.nonmembers] §[time.zone.leap.nonmembers] sys_seconds should be replaced with seconds Yes 1
3241 C++20 29.12 [time.format] chrono-spec grammar ambiguity in §[time.format] Yes 0
3262 C++20 29.12 [time.format] Formatting of negative durations is not specified Yes 2
3270 C++20 29.12 [time.format] Parsing and formatting %j with durations Yes 2
3272 C++20 29.12 [time.format] %I%p should parse/format duration since midnight Yes 0
3332 C++20 29.12 [time.format] Issue in §[time.format] Yes 0
3131 C++20 29.13 [time.parse] addressof all the things Yes 0
3218 C++20 29.13 [time.parse] Modifier for %d parse flag does not match POSIX and format specification Yes 0
3230 C++20 29.13 [time.parse] Format specifier %y/%Y is missing locale alternative versions Yes 0
3235 C++20 29.13 [time.parse] parse manipulator without abbreviation is not callable Yes 0
3245 C++20 29.13 [time.parse] Unnecessary restriction on '%p' parse specifier Yes 0
3252 C++20 29.13 [time.parse] Parse locale's aware modifiers for commands are not consistent with POSIX spec Yes 2
3269 C++20 29.13 [time.parse] Parse manipulators do not specify the result of the extraction from stream Yes 2
3130 C++20 31 [input.output] §[input.output] needs many addressof Yes 0
3083 C++20 [ios.base.storage] What should ios::iword(-1) do? Yes 0
2243 C++20 [istream.unformatted] istream::putback problem Yes 3
1203 C++20 [ostream.rvalue] More useful rvalue stream insertion Yes 2
2995 C++20 [stringbuf.cons] basic_stringbuf default constructor forbids it from using SSO capacity Yes 3
2943 C++20 [filebuf.members] Problematic specification of the wide version of basic_filebuf::open Yes 2
3253 C++20 [syncstream.syncbuf.overview] basic_syncbuf::basic_syncbuf() should not be explicit Yes 0
3334 C++20 31.11.3 [syncstream.osyncstream] basic_osyncstream move assignment and destruction calls basic_syncbuf::emit() twice Yes 3
3127 C++20 [syncstream.osyncstream.overview] basic_osyncstream::rdbuf needs a const_cast Yes 0
3244 C++20 [fs.path.req] Constraints for Source in §[fs.path.req] insufficiently constrainty Yes 0
3055 C++20 [fs.path.concat] path::operator+=(single-character) misspecified Yes 3
2966 C++20 [fs.path.native.obs] Incomplete resolution of US 74 Yes
2936 C++20 [fs.path.compare] Path comparison is defined in terms of the generic format Yes 2
3070 C++20 [fs.path.gen] path::lexically_relative causes surprising results if a filename can also be a root-name Yes 2
3096 C++20 [fs.path.gen] path::lexically_relative is confused by trailing slashes Yes 2
2989 C++20 [fs.path.io] path's stream insertion operator lets you insert everything under the sun Yes 2
3065 C++20 [fs.path.nonmember] LWG 2989 missed that all path's other operators should be hidden friends as well Yes 2
2965 C++20 [fs.filesystem.error.members] Non-existing path::native_string() in filesystem_error::what() specification Yes 0
3043 C++20 [fs.filesystem.error.members] Bogus postcondition for filesystem_error constructor Yes 0
2851 C++20 [fs.enum.file.type] std::filesystem enum classes are now underspecified Yes 2
3013 C++20 [fs.dir.itr.members] (recursive_)directory_iterator construction and traversal should not be noexcept Yes 0
3067 C++20 [fs.rec.dir.itr.members] recursive_directory_iterator::pop must invalidate Yes 0
2682 C++20 [fs.op.copy] filesystem::copy() won't create a symlink to a directory Yes 2
3015 C++20 [fs.op.copy] copy_options::unspecified underspecified Yes 3
2849 C++20 [fs.op.copy.file] Why does !is_regular_file(from) cause copy_file to report a "file already exists" error? Yes 2
3014 C++20 [fs.op.copy.file] More noexcept issues with filesystem operations Yes
2935 C++20 [fs.op.create.directories] What should create_directories do when p already exists but is not a directory? Yes 0
3079 C++20 [fs.op.create.directory] LWG 2935 forgot to fix the existing_p overloads of create_directory Yes 0
2937 C++20 [fs.op.equivalent] Is equivalent("existing_thing", "not_existing_thing") an error? Yes 0
2816 C++20 [fs.op.resize.file] resize_file has impossible postcondition Yes 3
3026 C++20 [fs.op.weakly.canonical] filesystem::weakly_canonical still defined in terms of canonical(p, base) Yes 0
3296 C++20 32.7 [re.regex] Inconsistent default argument for basic_regex<>::assign Yes 0
2183 C++20 32.9.2 [re.results.const] Muddled allocator requirements for match_results constructors Yes 3
2184 C++20 32.9.2 [re.results.const] Muddled allocator requirements for match_results assignments Yes 3
3129 C++20 [re.tokiter.cnstr] regex_token_iterator constructor uses wrong pointer arithmetic Yes 0
2941 C++20 33.2.4 [thread.req.timing] §[thread.req.timing] wording should apply to both member and namespace-level functions Yes 0
3254 C++20 33.3.3 [stoptoken] Strike stop_token's operator!= Yes 0
3362 C++20 33.3.4 [stopsource] Strike stop_source's operator!= Yes 0
3039 C++20 [thread.thread.constr] Unnecessary decay in thread and packaged_task Yes 0
2988 C++20 33.5.2 [atomics.syn] Clause 32 cleanup missed one typename Yes 0
3160 C++20 33.5.7 [atomics.ref.generic] atomic_ref() = delete; should be deleted Yes 0
3012 C++20 33.5.8 [atomics.types.generic] atomic<T> is unimplementable for non-is_trivially_copy_constructible T Yes 2
3045 C++20 [atomics.types.float] atomic<floating-point> doesn't have value_type or difference_type Yes 0
3030 C++20 33.6.6 [thread.lock.algorithm] Who shall meet the requirements of try_lock? Yes 0
2412 C++20 33.10.6 [futures.promise] promise::set_value() and promise::get_future() should not race Yes 3
2976 C++20 33.10.10 [futures.task] Dangling uses_allocator specialization for packaged_task Yes 3
3395 C++20 99 [defns.comparison] Definition for three-way comparison needs to be updated (US 152) Yes 1
3128 C++20 D.13.5.4 [depr.strstream.oper] strstream::rdbuf needs a const_cast Yes 0
2940 C++20 D.16 [depr.meta.types] result_of specification also needs a little cleanup Yes 3
3042 C++20 D.16 [depr.meta.types] is_literal_type_v should be inline Yes 0
2980 C++20 D.21 [depr.util.smartptr.shared.atomic] Cannot compare_exchange empty pointers Yes
3328 C++20 D.25 [depr.fs.path.factory] Clarify that std::string is not good for UTF-8 Yes 0

C++17 (283 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
2872 C++17 3 [intro.defs] Add definition for direct-non-list-initialization Yes
2679 C++17 [structure.specifications] Inconsistent Use of Effects and Equivalent To Yes 3
2710 C++17 [structure.specifications] "Effects: Equivalent to ..." doesn't count "Synchronization:" as determined semantics Yes 0
2380 C++17 [headers] May <cstdlib> provide long ::abs(long) and long long ::abs(long long)? Yes 2
2428 C++17 [using.headers] "External declaration" used without being defined Yes 0
2170 C++17 [utility.arg.requirements] Aggregates cannot be DefaultConstructible Yes 2
2016 C++17 [allocator.requirements] Allocators must be no-throw swappable Yes 2
2260 C++17 [allocator.requirements] Missing requirement for Allocator::pointer Yes 3
2384 C++17 [allocator.requirements] Allocator's deallocate function needs better specification Yes 3
2447 C++17 [allocator.requirements] Allocators and volatile-qualified value types Yes 4
2455 C++17 [allocator.requirements] Allocator default construction should be allowed to throw Yes
2466 C++17 [allocator.requirements] allocator_traits::max_size() default behavior is incorrect Yes 3
2467 C++17 [allocator.requirements] is_always_equal has slightly inconsistent default Yes 0
2470 C++17 [allocator.requirements] Allocator's destroy function should be allowed to fail to instantiate Yes
2129 C++17 [namespace.std] User specializations of std::initializer_list Yes 3
2340 C++17 [replacement.functions] Replacement allocation functions declared as inline Yes 2
2468 C++17 [res.on.arguments] Self-move-assignment of library types Yes 2
2224 C++17 [res.on.objects] Ambiguous status of access to non-live objects Yes 2
2133 C++17 [global.functions] Attitude to overloaded comma for iterators Yes 3
2795 C++17 [global.functions] §[global.functions] provides incorrect example of ADL use Yes
2259 C++17 [member.functions] Issues in rules for member functions Yes 3
2866 C++17 [derivation] Incorrect derived classes constraints Yes
2709 C++17 17.2 [support.types] offsetof is unnecessarily imprecise Yes 2
2422 C++17 [numeric.limits.members] std::numeric_limits<T>::is_modulo description: "most machines" errata Yes 2
2458 C++17 17.6 [support.dynamic] N3778 and new library deallocation signatures Yes 2
2510 C++17 17.6 [support.dynamic] Tag types should not be DefaultConstructible Yes 2
2425 C++17 17.6.3 [new.delete] operator delete(void*, size_t) doesn't invalidate pointers sufficiently Yes 0
2378 C++17 [bad.alloc] Behaviour of standard exception types Yes 0
2111 C++17 [terminate] Which unexpected/terminate handler is called from the exception handling runtime? Yes 3
2855 C++17 17.9.8 [except.nested] std::throw_with_nested("string_literal") Yes 0
2483 C++17 17.9.8 [except.nested] throw_with_nested() should use is_final Yes 2
2484 C++17 17.9.8 [except.nested] rethrow_if_nested() is doubly unimplementable Yes 2
2784 C++17 17.9.8 [except.nested] Resolution to LWG 2484 is missing "otherwise, no effects" and is hard to parse Yes 0
2536 C++17 17.14 [support.c.headers] What should <complex.h> do? Yes 2
2835 C++17 17.14 [support.c.headers] LWG 2536 seems to misspecify <tgmath.h> Yes 0
2234 C++17 19.3 [assertions] assert() should allow usage in constant expressions Yes 2
2559 C++17 19.3 [assertions] Error in LWG 2234's resolution Yes 0
2686 C++17 19.5.2 [system.error.syn] Why is std::hash specialized for error_code, but not error_condition? Yes 3
2377 C++17 20.2.5 [ptr.align] std::align requirements overly strict Yes 0
2296 C++17 20.2.11 [specialized.addressof] std::addressof should be constexpr Yes 3
2598 C++17 20.2.11 [specialized.addressof] addressof works on temporaries Yes 3
2361 C++17 [unique.ptr.single] Apply 2299 resolution throughout library Yes
2801 C++17 [unique.ptr.single.ctor] Default-constructibility of unique_ptr Yes 2
2905 C++17 [unique.ptr.single.ctor] is_constructible_v<unique_ptr<P, D>, P, D const &> should be false when D is not copy constructible Yes
2520 C++17 [unique.ptr.runtime.ctor] N4089 broke initializing unique_ptr<T[]> from a nullptr Yes 2
2376 C++17 [util.smartptr.weak.bad] bad_weak_ptr::what() overspecified Yes
2873 C++17 [util.smartptr.shared] Add noexcept to several shared_ptr related functions Yes
2365 C++17 [util.smartptr.shared] Missing noexcept in shared_ptr::shared_ptr(nullptr_t) Yes
2411 C++17 [util.smartptr.shared] shared_ptr is only contextually convertible to bool Yes 0
2802 C++17 [util.smartptr.shared.const] shared_ptr constructor requirements for a deleter Yes 2
2874 C++17 [util.smartptr.shared.const] Constructor shared_ptr::shared_ptr(Y*) should be constrained Yes
2875 C++17 [util.smartptr.shared.const] shared_ptr::shared_ptr(Y*, D, […]) constructors should be constrained Yes
2876 C++17 [util.smartptr.shared.const] shared_ptr::shared_ptr(const weak_ptr<Y>&) constructor should be constrained Yes
2399 C++17 [util.smartptr.shared.const] shared_ptr's constructor from unique_ptr should be constrained Yes 0
2415 C++17 [util.smartptr.shared.const] Inconsistency between unique_ptr and shared_ptr Yes 2
2495 C++17 [util.smartptr.shared.const] There is no such thing as an Exception Safety element Yes 0
2685 C++17 [util.smartptr.shared.const] shared_ptr deleters must not not throw on move construction Yes 0
2434 C++17 [util.smartptr.shared.obs] shared_ptr::use_count() is efficient Yes 0
2572 C++17 [util.smartptr.shared.obs] The remarks for shared_ptr::operator* should apply to cv-qualified void as well Yes 0
2696 C++17 [util.smartptr.shared.create] Interaction between make_shared and enable_shared_from_this is underspecified Yes 2
2908 C++17 [util.smartptr.shared.cmp] The less-than operator for shared pointers could do more Yes
2400 C++17 [util.smartptr.getdeleter] shared_ptr's get_deleter() should use addressof() Yes 0
2724 C++17 20.4.2 [mem.res.class] The protected virtual member functions of memory_resource should be private Yes 4
2476 C++17 20.5.1 [allocator.adaptor.syn] scoped_allocator_adaptor is not assignable Yes 0
2782 C++17 20.5.3 [allocator.adaptor.cnstr] scoped_allocator_adaptor constructors must be constrained Yes 0
2586 C++17 20.5.4 [allocator.adaptor.members] Wrong value category used in scoped_allocator_adaptor::construct() Yes 0
2582 C++17 21 [meta] §[res.on.functions]/2's prohibition against incomplete types shouldn't apply to type traits Yes 0
2514 C++17 21.3.2 [meta.rqmts] Type traits must not be final Yes 3
2581 C++17 21.3.3 [meta.type.synop] Specialization of <type_traits> variable templates should be prohibited Yes 0
2911 C++17 [meta.unary.prop] An is_aggregate type trait is needed Yes
2336 C++17 [meta.unary.prop] is_trivially_constructible/is_trivially_assignable traits are always false Yes 3
2367 C++17 [meta.unary.prop] pair and tuple are not correctly implemented for is_constructible with no args Yes 3
2560 C++17 [meta.unary.prop] is_constructible underspecified when applied to a function type Yes 0
2738 C++17 [meta.unary.prop] is_constructible with void types Yes
2101 C++17 21.3.8 [meta.trans] Some transformation types can produce impossible types Yes 3
2396 C++17 [meta.trans.other] underlying_type doesn't say what to do for an incomplete enumeration type Yes 0
2408 C++17 [meta.trans.other] SFINAE-friendly common_type/iterator_traits is missing in C++14 Yes
2460 C++17 [meta.trans.other] LWG issue 2408 and value categories Yes 2
2569 C++17 21.3.9 [meta.logical] conjunction and disjunction requirements are too strict Yes 2
2587 C++17 21.3.9 [meta.logical] "Convertible to bool" requirement in conjunction and disjunction Yes 3
2557 C++17 21.3.9 [meta.logical] Logical operator traits are broken in the zero-argument case Yes 0
2567 C++17 21.3.9 [meta.logical] Specification of logical operator traits uses BaseCharacteristic, which is defined only for UnaryTypeTraits and BinaryTypeTraits Yes 2
2212 C++17 22.2 [utility] tuple_size for const pair request <tuple> header Yes 3
2729 C++17 22.3.2 [pairs.pair] Missing SFINAE on std::pair::operator= Yes 2
2773 C++17 22.4.1 [tuple.general] Making std::ignore constexpr Yes 0
2796 C++17 22.4.1 [tuple.general] tuple should be a literal type Yes 2
2312 C++17 [tuple.cnstr] tuple's constructor constraints need to be phrased more precisely Yes 2
2549 C++17 [tuple.cnstr] Tuple EXPLICIT constructor templates that take tuple parameters end up taking references to temporaries and will create dangling references Yes 2
2770 C++17 22.4.7 [tuple.helper] tuple_size<const T> specialization is not SFINAE compatible and breaks decomposition declarations Yes 1
2485 C++17 22.4.8 [tuple.elem] get() should be overloaded for const tuple&& Yes 1
2857 C++17 22.5 [optional] {variant,optional,any}::emplace should return the constructed value Yes 1
2900 C++17 22.5.3 [optional.optional] The copy and move constructors of optional are not constexpr Yes
2756 C++17 22.5.3 [optional.optional] C++ WP optional<T> should 'forward' T's implicit conversions Yes 1
2842 C++17 [optional.ctor] in_place_t check for optional::optional(U&&) should decay U Yes 0
2748 C++17 [optional.swap] swappable traits for optionals Yes 0
2740 C++17 [optional.observe] constexpr optional<T>::operator-> Yes 0
2736 C++17 22.5.4 [optional.nullopt] nullopt_t insufficiently constrained Yes 2
2806 C++17 22.5.5 [optional.bad.access] Base class of bad_optional_access Yes 1
2934 C++17 22.5.8 [optional.comp.with.t] optional<const T> doesn't compare with T Yes
2901 C++17 22.6.3 [variant.variant] Variants cannot properly support allocators Yes 0
2903 C++17 [variant.ctor] The form of initialization for the emplace-constructors is not specified Yes
2904 C++17 [variant.assign] Make variant move-assignment more exception safe Yes
2749 C++17 [variant.swap] swappable traits for variants Yes 1
2868 C++17 22.7.3 [any.bad.any.cast] Missing specification of bad_any_cast::what() Yes
2789 C++17 22.7.4 [any.class] Equivalence of contained objects Yes 0
2744 C++17 [any.cons] any's in_place constructors Yes 0
2768 C++17 22.7.5 [any.nonmembers] any_cast and move semantics Yes 0
2769 C++17 22.7.5 [any.nonmembers] Redundant const in the return type of any_cast(const any&) Yes 0
2250 C++17 [bitset.cons] Follow-up On Library Issue 2207 Yes 3
2219 C++17 22.10.4 [func.require] INVOKE-ing a pointer to member with a reference_wrapper as the object expression Yes 2
2387 C++17 22.10.4 [func.require] More nested types that must be accessible and unambiguous Yes
2486 C++17 22.10.4 [func.require] mem_fn() should be required to use perfect forwarding Yes 0
2807 C++17 22.10.5 [func.invoke] std::invoke should use std::is_nothrow_callable Yes 3
2435 C++17 [refwrap.invoke] reference_wrapper::operator()'s Remark should be deleted Yes 4
2450 C++17 22.10.8 [comparisons] (greater|less|greater_equal|less_equal)<void> do not yield a total order for pointers Yes 2
2562 C++17 22.10.8 [comparisons] Consistent total ordering of pointers by comparison functors Yes 3
2767 C++17 22.10.13 [func.not.fn] not_fn call_wrapper can form invalid types Yes 0
2487 C++17 [func.bind.bind] bind() should be const-overloaded, not cv-overloaded Yes 2
2545 C++17 [func.bind.bind] Simplify wording for bind without explicitly specified return type Yes 3
2488 C++17 [func.bind.place] Placeholders should be allowed and encouraged to be constexpr Yes 2
2489 C++17 22.10.16 [func.memfn] mem_fn() should be noexcept Yes 0
2233 C++17 [func.wrap.badcall] bad_function_call::what() unhelpful Yes 3
2062 C++17 [func.wrap.func] Effect contradictions w/o no-throw guarantee of std::function swaps Yes 2
2385 C++17 [func.wrap.func] function::assign allocator argument doesn't make sense Yes 2
2393 C++17 [func.wrap.func] std::function's Callable definition is broken Yes 2
2401 C++17 [func.wrap.func] std::function needs more noexcept Yes 0
2420 C++17 [func.wrap.func] function<void(ArgTypes...)> does not discard the return value of the target object Yes 1
2850 C++17 [func.wrap.func.con] std::function move constructor does unnecessary work Yes 0
2565 C++17 [func.wrap.func.con] std::function's move constructor should guarantee nothrow for reference_wrappers and function pointers Yes 0
2781 C++17 [func.wrap.func.con] Contradictory requirements for std::function and std::reference_wrapper Yes 0
2591 C++17 [func.wrap.func.targ] std::function's member template target() should not lead to undefined behaviour Yes 3
2119 C++17 22.10.19 [unord.hash] Missing hash specializations for extended integer types Yes 3
2778 C++17 23.3 [string.view] basic_string_view is missing constexpr Yes 0
2826 C++17 [string.view.iterators] string_view iterators use old wording Yes 0
2777 C++17 [string.view.ops] basic_string_view::copy should use char_traits::copy Yes 0
2755 C++17 23.3.5 [string.view.io] §[string.view.io] uses non-existent basic_string_view::to_string function Yes 0
2063 C++17 23.4.3 [basic.string] Contradictory requirements for string move assignment Yes 3
2861 C++17 [string.require] basic_string should require that charT match traits::char_type Yes
2760 C++17 [string.require] non-const basic_string::data should not invalidate iterators Yes
2742 C++17 [string.cons] Inconsistent string interface taking string_view Yes 1
2583 C++17 [string.cons] There is no way to supply an allocator for basic_string(str, pos) Yes 0
2834 C++17 [string.capacity] Resolution LWG 2223 is missing wording about end iterators Yes 0
2475 C++17 [string.access] Allow overwriting of std::basic_string terminator with charT() to allow cleaner interoperation with legacy APIs Yes 3
2788 C++17 [string.append] basic_string range mutators unintentionally require a default constructible allocator Yes 2
2758 C++17 [string.assign] std::string{}.assign("ABCDE", 0, 1) is ambiguous Yes 1
2579 C++17 [string.assign] Inconsistency wrt Allocators in basic_string assignment vs. basic_string::assign Yes 0
2771 C++17 [string.compare] Broken Effects of some basic_string::compare functions in terms of basic_string_view Yes 1
2403 C++17 23.4.5 [string.conversions] stof() should call strtof() and wcstof() Yes 2
2482 C++17 23.5 [c.strings] §[c.strings] Table 73 mentions nonexistent functions Yes
2261 C++17 24.2 [container.requirements] Are containers required to use their 'pointer' type internally? Yes 2
2218 C++17 24.2.2 [container.requirements.general] Unclear how containers use allocator_traits::construct() Yes 3
2448 C++17 24.2.2 [container.requirements.general] Non-normative Container destructor specification Yes 0
2794 C++17 24.2.2 [container.requirements.general] Missing requirements for allocator pointers Yes 0
2266 C++17 24.2.4 [sequence.reqmts] vector and deque have incorrect insert requirements Yes 2
2698 C++17 24.2.4 [sequence.reqmts] Effect of assign() on iterators/pointers/references Yes 0
2436 C++17 24.2.7 [associative.reqmts] Comparators for associative containers should always be CopyConstructible Yes 2
2542 C++17 24.2.7 [associative.reqmts] Missing const requirements for associative containers Yes 1
2156 C++17 24.2.8 [unord.req] Unordered containers' reserve(n) reserves for n-1 elements Yes 3
2540 C++17 24.2.8 [unord.req] unordered_multimap::insert hint iterator Yes 3
2550 C++17 24.2.8 [unord.req] Wording of unordered container's clear() method complexity Yes 2
2427 C++17 24.3.1 [sequences.general] Container adaptors as sequence containers, redux Yes 0
2310 C++17 [array.overview] Public exposition only member in std::array Yes 4
2590 C++17 [array.overview] Aggregate initialization for std::array Yes 0
2364 C++17 [deque.modifiers] deque and vector pop_back don't specify iterator invalidation requirements Yes 0
2477 C++17 [deque.modifiers] Inconsistency of wordings in std::vector::erase() and std::deque::erase() Yes 0
2585 C++17 [forward.list.modifiers] forward_list::resize(size_type, const value_type&) effects incorrect Yes 0
2824 C++17 [list.ops] list::sort should say that the order of elements is unspecified if an exception is thrown Yes 0
2160 C++17 [vector.capacity] Unintended destruction ordering-specification of resize Yes 1
2223 C++17 [vector.capacity] shrink_to_fit effect on iterator validity Yes 2
2596 C++17 [vector.data] vector::data() should use addressof Yes 0
2853 C++17 [vector.modifiers] Possible inconsistency in specification of erase in [vector.modifiers] Yes 0
2059 C++17 24.4.4 [map] C++0x ambiguity problem with map::erase Yes 3
2354 C++17 [map.overview] Unnecessary copying when inserting into maps with braced-init syntax Yes 2
2469 C++17 [map.access] Wrong specification of Requires clause of operator[] for map and unordered_map Yes 3
2464 C++17 [map.modifiers] try_emplace and insert_or_assign misspecified Yes 2
2571 C++17 [map.modifiers] §[map.modifiers]/2 imposes nonsensical requirement on insert(InputIterator, InputIterator) Yes 0
2076 C++17 [set.cons] Bad CopyConstructible requirement in set constructors Yes 3
2230 C++17 24.5 [unord] "see below" for initializer-list constructors of unordered containers Yes 4
2566 C++17 24.6 [container.adaptors] Requirements on the first template parameter of container adaptors Yes 0
2684 C++17 24.6.7 [priority.queue] priority_queue lacking comparator typedef Yes 0
2537 C++17 [priqueue.cons.alloc] Constructors for priority_queue taking allocators should call make_heap Yes 0
2578 C++17 25.3 [iterator.requirements] Iterator requirements should reference iterator traits Yes 3
2437 C++17 [iterator.iterators] iterator_traits<OutIt>::reference can and can't be void Yes 3
2519 C++17 [random.access.iterators] Iterator operator-= has gratuitous undefined behaviour Yes 2
2353 C++17 25.4.3 [iterator.operations] std::next is over-constrained Yes 4
2106 C++17 25.5.4 [move.iterators] move_iterator wrapping iterators returning prvalues Yes 3
2576 C++17 25.6 [stream.iterators] istream_iterator and ostream_iterator should use std::addressof Yes 0
2793 C++17 [istream.iterator.cons] Awkward conflation of trivial special members of istream_iterator Yes
2878 C++17 [istream.iterator.cons] Missing DefaultConstructible requirement for istream_iterator default constructor Yes
2804 C++17 [istream.iterator.cons] Unconditional constexpr default constructor for istream_iterator Yes 0
2790 C++17 25.6.4 [istreambuf.iterator] Missing specification of istreambuf_iterator::operator-> Yes 3
2544 C++17 [istreambuf.iterator.cons] istreambuf_iterator(basic_streambuf<charT, traits>* s) effects unclear when s is 0 Yes 3
2812 C++17 25.7 [iterator.range] Range access is available with <string_view> Yes 0
2727 C++17 27.1 [algorithms.general] Parallel algorithms with constexpr specifier Yes 0
2718 C++17 27.3.3 [algorithms.parallel.exec] Parallelism bug in [algorithms.parallel.exec] p2 Yes
2747 C++17 27.6.5 [alg.foreach] Possibly redundant std::move in [alg.foreach] Yes 0
2689 C++17 27.7.1 [alg.copy] Parallel versions of std::copy and std::move shouldn't be in order Yes 0
2439 C++17 27.7.9 [alg.unique] unique_copy() sometimes can't fall back to reading its output Yes 3
2716 C++17 27.7.12 [alg.random.sample] Specification of shuffle and sample disallows lvalue URNGs Yes 0
2492 C++17 27.8 [alg.sorting] Clarify requirements for comp Yes 0
2166 C++17 27.8.8 [alg.heap.operations] Heap property underspecified? Yes 3
2239 C++17 27.8.9 [alg.min.max] min/max/minmax requirements Yes 3
2325 C++17 27.8.9 [alg.min.max] minmax_element()'s behavior differing from max_element()'s should be noted Yes 3
2369 C++17 27.8.9 [alg.min.max] constexpr max(initializer_list) vs max_element Yes 3
2688 C++17 27.8.10 [alg.clamp] clamp misses preconditions and has extraneous condition on result Yes 0
2687 C++17 27.10.8 [exclusive.scan] {inclusive,exclusive}_scan misspecified Yes 1
2837 C++17 27.10.14 [numeric.ops.gcd] gcd and lcm should support a wider range of input values Yes 0
2759 C++17 27.10.14 [numeric.ops.gcd] gcd / lcm and bool for the WP Yes
2433 C++17 27.11 [specialized.algorithms] uninitialized_copy()/etc. should tolerate overloaded operator& Yes 0
2699 C++17 28.2 [numeric.requirements] Missing restriction in [numeric.requirements] Yes 3
2459 C++17 28.4.7 [complex.value.ops] std::polar should require a non-negative rho Yes 0
2181 C++17 [rand.req.seedseq] Exceptions from seed sequence operations Yes 3
2440 C++17 [rand.util.seedseq] seed_seq::size() should be noexcept Yes 0
2168 C++17 [rand.dist.uni.real] Inconsistent specification of uniform_real_distribution constructor Yes 3
2406 C++17 [rand.dist.bern.negbin] negative_binomial_distribution should reject p == 1 Yes 3
2192 C++17 28.7 [c.math] Validity and return type of std::abs(0u) is unclear Yes 2
2735 C++17 28.7 [c.math] std::abs(short), std::abs(signed char) and others should return int instead of double in order to be compatible with C++98 and C Yes 3
2739 C++17 29.6.6 [time.point.nonmember] Issue with time_point non-member subtraction with an unsigned duration Yes 0
2694 C++17 [locale.facet] Application of LWG 436 accidentally deleted definition of "facet" Yes 3
2394 C++17 [locale.members] locale::name specification unclear — what is implementation-defined? Yes 3
1169 C++17 [facet.num.get.virtuals] num_get not fully compatible with strto* Yes 3
2462 C++17 31.5.2 [ios.base] std::ios_base::failure is overspecified Yes 3
2765 C++17 [ios.init] Did LWG 1123 go too far? Yes 0
2244 C++17 [istream.unformatted] Issue on basic_istream::seekg Yes 3
2328 C++17 [istream.rvalue] Rvalue stream extraction should use perfect forwarding Yes 3
2221 C++17 31.7.6 [output.streams] No formatted output operator for nullptr Yes 3
2534 C++17 [ostream.rvalue] Constrain rvalue stream operators Yes 3
2785 C++17 31.7.9 [quoted.manip] quoted should work with basic_string_view Yes 0
2676 C++17 31.10 [file.streams] Provide filesystem::path overloads for File-based streams Yes 2
2473 C++17 [filebuf.virtuals] basic_filebuf's relation to C FILE semantics Yes 2
2680 C++17 31.12 [filesystems] Add "Equivalent to" to filesystem Yes 2
2707 C++17 31.12.6 [fs.class.path] path construction and assignment should have "string_type&&" overloads Yes 0
2711 C++17 [fs.path.construct] path is convertible from approximately everything under the sun Yes 1
2664 C++17 [fs.path.append] operator/ (and other append) semantics not useful if argument has root Yes 2
2732 C++17 [fs.path.append] Questionable specification of path::operator/= and path::append Yes 2
2667 C++17 [fs.path.decompose] path::root_directory() description is confusing Yes 0
2674 C++17 [fs.path.itr] Bidirectional iterator requirement on path::iterator is very expensive Yes 2
2678 C++17 [fs.enum.file.type] std::filesystem enum classes overspecified Yes 3
2787 C++17 31.12.9 [fs.class.file.status] §[fs.file_status.cons] doesn't match class definition Yes 0
2723 C++17 31.12.11 [fs.class.directory.iterator] Do directory_iterator and recursive_directory_iterator become the end iterator upon error? Yes 0
2726 C++17 [fs.dir.itr.members] [recursive_]directory_iterator::increment(error_code&) is underspecified Yes 0
2706 C++17 31.12.12 [fs.class.rec.dir.itr] Error reporting for recursive_directory_iterator::pop() is under-specified Yes 0
2669 C++17 [fs.rec.dir.itr.members] recursive_directory_iterator effects refers to non-existent functions Yes 0
2704 C++17 [fs.rec.dir.itr.members] recursive_directory_iterator's members should require '*this is dereferenceable' Yes 1
2956 C++17 [fs.op.canonical] filesystem::canonical() still defined in terms of absolute(p, base) Yes 1
2671 C++17 [fs.op.copy] Errors in Copy Yes 0
2681 C++17 [fs.op.copy] filesystem::copy() cannot copy symlinks Yes 2
2683 C++17 [fs.op.copy] filesystem::copy() says "no effects" Yes 3
2712 C++17 [fs.op.copy.file] copy_file(from, to, ...) has a number of unspecified error conditions Yes 2
2722 C++17 [fs.op.equivalent] equivalent incorrectly specifies throws clause Yes 3
2725 C++17 [fs.op.exists] filesystem::exists(const path&, error_code&) error reporting Yes 1
2672 C++17 [fs.op.is.empty] Should is_empty use error_code in its specification? Yes 3
2719 C++17 [fs.op.permissions] permissions function should not be noexcept due to narrow contract Yes 0
2720 C++17 [fs.op.permissions] permissions function incorrectly specified for symlinks Yes 2
2721 C++17 [fs.op.remove.all] remove_all has incorrect post conditions Yes 3
2728 C++17 [fs.op.status] status(p).permissions() and symlink_status(p).permissions() are not specified Yes 0
2673 C++17 [fs.op.status] status() effects cannot be implemented as specified Yes 0
2503 C++17 32.4.2 [re.synopt] multiline option should be added to syntax_option_type Yes 2
2217 C++17 32.8.3 [re.submatch.op] operator==(sub_match, string) slices on embedded '\0's Yes 2
2589 C++17 32.9 [re.results] match_results can't satisfy the requirements of a container Yes 3
2273 C++17 32.10.2 [re.alg.match] regex_match ambiguity Yes 2
2584 C++17 32.12 [re.grammar] <regex> ECMAScript IdentityEscape is ambiguous Yes 2
2441 C++17 33.5.8 [atomics.types.generic] Exact-width atomic typedefs should be provided Yes 0
2426 C++17 [atomics.types.operations] Issue about compare_exchange Yes 1
2309 C++17 [thread.mutex.requirements.mutex] mutex::lock() should not throw device_or_resource_busy Yes 0
2577 C++17 [thread.lock.unique.cons] {shared,unique}_lock should use std::addressof Yes 0
2442 C++17 [thread.once.callonce] call_once() shouldn't DECAY_COPY() Yes
2276 C++17 33.10 [futures] Missing requirement on std::promise::set_exception Yes
2523 C++17 33.10.6 [futures.promise] std::promise synopsis shows two set_value_at_thread_exit()'s for no apparent reason Yes 0
2531 C++17 33.10.7 [futures.unique.future] future::get should explicitly state that the shared state is released Yes 3
2556 C++17 33.10.7 [futures.unique.future] Wide contract for future::share() Yes 3
2752 C++17 33.10.9 [futures.async] "Throws:" clauses of async and packaged_task are unimplementable Yes 3
2921 C++17 33.10.10 [futures.task] packaged_task and type-erased allocators Yes
2407 C++17 [futures.task.members] packaged_task(allocator_arg_t, const Allocator&, F&&) should neither be constrained nor explicit Yes
2890 C++17 99 [defns.obj.state] The definition of 'object state' applies only to class types Yes
2127 C++17 99 [depr.storage.iterator] Move-construction with raw_storage_iterator Yes 3
2454 C++17 99 [depr.storage.iterator] Add raw_storage_iterator::base() member Yes 0
2072 C++17 99 [depr.temporary.buffer] Unclear wording about capacity of temporary buffers Yes 3
2670 C++17 99 [fs.op.system_complete] system_complete refers to undefined variable 'base' Yes 0
2404 C++17 99 [mismatch] mismatch()'s complexity needs to be updated Yes 0
2786 C++17 C.4.9 [diff.cpp14.utilities] Annex C should mention shared_ptr changes for array support Yes 0
2838 C++17 D.16 [depr.meta.types] is_literal_type specification needs a little cleanup Yes 0
2438 C++17 D.19 [depr.iterator] std::iterator inheritance shouldn't be mandated Yes 3

C++14 (149 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
2225 C++14 [using.headers] Unrealistic header inclusion checks required Yes
2291 C++14 [hash.requirements] std::hash is vulnerable to collision DoS attack Yes
2065 C++14 [allocator.requirements] Minimal allocator interface Yes
2081 C++14 [allocator.requirements] Allocator requirements should include CopyConstructible Yes
2147 C++14 [allocator.requirements] Unclear hint type in Allocator's allocate function Yes
2162 C++14 [allocator.requirements] allocator_traits::max_size missing noexcept Yes
2263 C++14 [allocator.requirements] Comparing iterators and allocator pointers with different const-character Yes 1
2112 C++14 16.4.6 [conforming] User-defined classes that cannot be derived from Yes 1
2013 C++14 [constexpr.functions] Do library implementers have the freedom to add constexpr? Yes
2044 C++14 [algorithm.stable] No definition of "Stable" for copy algorithms Yes
2099 C++14 17.13 [support.runtime] Unnecessary constraints of va_start() usage Yes
2145 C++14 19.5.3 [syserr.errcat] error_category default constructor Yes
2109 C++14 19.5.7 [syserr.hash] Incorrect requirements for hash specializations Yes
2284 C++14 20.2.9 [allocator.traits] Inconsistency in allocator_traits::max_size Yes
2103 C++14 20.2.10 [default.allocator] std::allocator_traits<std::allocator<T>>::propagate_on_container_move_assignment Yes
2047 C++14 [unique.ptr.single.asgn] Incorrect "mixed" move-assignment semantics of unique_ptr Yes
2246 C++14 [unique.ptr.single.asgn] unique_ptr assignment effects w.r.t. deleter Yes
2169 C++14 [unique.ptr.runtime.modifiers] Missing reset() requirements in unique_ptr specialization Yes
2083 C++14 [util.smartptr.weak] const-qualification on weak_ptr::owner_before Yes
2315 C++14 [util.smartptr.weak] weak_ptr should be movable Yes 2
2316 C++14 [util.smartptr.weak.obs] weak_ptr::lock() should be atomic Yes 0
2203 C++14 20.5.4 [allocator.adaptor.members] scoped_allocator_adaptor uses wrong argument types for piecewise construction Yes
2314 C++14 21.2.1 [intseq.general] apply() should return decltype(auto) and use decay_t before tuple_size Yes 0
2346 C++14 21.3.4 [meta.help] integral_constant's member functions should be marked noexcept Yes 0
2015 C++14 21.3.5 [meta.unary] Incorrect pre-conditions for some type traits Yes
2247 C++14 [meta.unary.cat] Type traits and std::nullptr_t Yes
2049 C++14 [meta.unary.prop] is_destructible is underspecified Yes
2196 C++14 [meta.unary.prop] Specification of is_*[copy/move]_[constructible/assignable] unclear for non-referencable types Yes
2197 C++14 [meta.unary.prop] Specification of is_[un]signed unclear for non-arithmetic types Yes
2298 C++14 [meta.unary.prop] [CD] is_nothrow_constructible is always false because of create<> Yes
2317 C++14 21.3.6 [meta.unary.prop.query] The type property queries should be UnaryTypeTraits returning size_t Yes 0
2141 C++14 [meta.trans.other] common_type trait produces reference types Yes
2275 C++14 22.4.5 [tuple.creation] [CD] Why is forward_as_tuple not constexpr? Yes
2301 C++14 22.4.5 [tuple.creation] Why is std::tie not constexpr? Yes 2
2313 C++14 22.4.7 [tuple.helper] tuple_size should always derive from integral_constant<size_t, N> Yes 2
2048 C++14 22.10 [function.objects] Unnecessary mem_fn overloads Yes
2149 C++14 22.10 [function.objects] Concerns about 20.8/5 Yes
2010 C++14 [func.bind.isbind] is_* traits for binding operations can't be meaningfully specialized Yes
2021 C++14 [func.bind.bind] Further incorrect usages of result_of Yes
2132 C++14 [func.wrap.func.con] std::function ambiguity Yes 2
2148 C++14 22.10.19 [unord.hash] Hashing enums should be supported directly by std::hash Yes
2144 C++14 22.11 [type.index] Missing noexcept specification in type_index Yes
2064 C++14 23.4.3 [basic.string] More noexcept issues in basic_string Yes
2268 C++14 23.4.3 [basic.string] Setting a default argument in the declaration of a member function assign of std::basic_string Yes
2003 C++14 [string.require] String exception inconsistency in erase. Yes 0
2069 C++14 [string.cons] Inconsistent exception spec for basic_string move constructor Yes
2235 C++14 [string.cons] Undefined behavior without proper requirements on basic_string constructors Yes
2207 C++14 [string.access] basic_string::at should not have a Requires clause Yes
2011 C++14 [string.io] Unexpected output required of strings Yes
2009 C++14 23.4.5 [string.conversions] Reporting out-of-bound values on numeric string conversions Yes
2193 C++14 24 [containers] Default constructors for standard library containers are explicit Yes 1
2177 C++14 24.2.2 [container.requirements.general] Requirements on Copy/MoveInsertable Yes
2182 C++14 24.2.2 [container.requirements.general] Container::[const_]reference types are misleadingly specified Yes 0
2308 C++14 24.2.2 [container.requirements.general] Clarify container destructor requirements w.r.t. std::array Yes 0
2320 C++14 24.2.2 [container.requirements.general] select_on_container_copy_construction() takes allocators, not containers Yes 0
2105 C++14 24.2.2 [container.requirements.general] Inconsistent requirements on const_iterator's value_type Yes
2211 C++14 24.2.2 [container.requirements.general] Replace ambiguous use of "Allocator" in container requirements Yes
2257 C++14 24.2.2 [container.requirements.general] Simplify container requirements with the new algorithms Yes
2200 C++14 24.2.3 [container.requirements.dataraces] Data race avoidance for all containers, not only for sequences Yes
2231 C++14 24.2.4 [sequence.reqmts] DR 704 removes complexity guarantee for clear() Yes
2322 C++14 24.2.7 [associative.reqmts] Associative(initializer_list, stuff) constructors are underspecified Yes 0
1214 C++14 24.2.7 [associative.reqmts] Insufficient/inconsistent key immutability requirements for associative containers Yes
2258 C++14 24.2.7 [associative.reqmts] a.erase(q1, q2) unable to directly return q2 Yes 0
2299 C++14 24.2.7 [associative.reqmts] [CD] Effects of inaccessible key_compare::is_transparent type are not clear Yes 1
2304 C++14 24.2.8 [unord.req] Complexity of count in unordered associative containers Yes 0
2356 C++14 24.2.8 [unord.req] Stability of erasure in unordered associative containers Yes 2
2209 C++14 24.3 [sequences] assign() overspecified for sequence containers Yes
2210 C++14 24.3 [sequences] Missing allocator-extended constructor for allocator-aware containers Yes
2045 C++14 [forward.list.ops] forward_list::merge and forward_list::splice_after with unequal allocators Yes
2123 C++14 [forward.list.ops] merge() allocator requirements for lists versus forward lists Yes
2222 C++14 [forward.list.ops] Inconsistency in description of forward_list::splice_after single-element overload Yes
2122 C++14 [list.ops] merge() stability for lists versus forward lists Yes
2323 C++14 [vector.capacity] vector::resize(n, t)'s specification should be simplified Yes 0
2033 C++14 [vector.capacity] Preconditions of reserve, shrink_to_fit, and resize functions Yes
2252 C++14 [vector.modifiers] Strong guarantee on vector::push_back() still broken with C++11? Yes
2187 C++14 24.3.12 [vector.bool] vector<bool> is missing emplace and emplace_back member functions Yes
2300 C++14 24.4.4 [map] [CD] Redundant sections for map and multimap members should be removed Yes
2005 C++14 [map.modifiers] unordered_map::insert(T&&) protection should apply to map too Yes
2050 C++14 24.5 [unord] Unordered associative containers do not use allocator_traits to define member types Yes
2194 C++14 24.6 [container.adaptors] Impossible container requirements for adaptor types Yes
2061 C++14 25.2 [iterator.synopsis] make_move_iterator and arrays Yes
2128 C++14 25.2 [iterator.synopsis] Absence of global functions cbegin/cend Yes
2285 C++14 25.5.1 [reverse.iterators] make_reverse_iterator Yes
2360 C++14 [reverse.iterator] reverse_iterator::operator*() is unimplementable Yes 1
2188 C++14 [reverse.iter.elem] Reverse iterator does not fully support targets that overload operator& Yes 1
2324 C++14 [back.insert.iter.ops] Insert iterator constructors should use addressof() Yes 0
2280 C++14 25.7 [iterator.range] begin/end for arrays should be constexpr and noexcept Yes
2150 C++14 27.6.8 [alg.find.end] Unclear specification of find_end Yes
2039 C++14 27.7.1 [alg.copy] Issues with std::reverse and std::copy_if Yes
2110 C++14 27.7.8 [alg.remove] remove can't swap but note says it might Yes
2074 C++14 27.7.10 [alg.reverse] Off by one error in std::reverse_copy Yes
2339 C++14 27.8.3 [alg.nth.element] Wording issue in nth_element Yes 0
2163 C++14 27.8.3 [alg.nth.element] nth_element requires inconsistent post-conditions Yes
2357 C++14 27.8.5 [alg.partitions] Remaining "Assignable" requirement Yes 0
2350 C++14 27.8.9 [alg.min.max] min, max, and minmax should be constexpr Yes 1
2180 C++14 [rand.util.seedseq] Exceptions from std::seed_seq operations Yes
2058 C++14 28.6 [numarray] valarray and begin/end Yes
2071 C++14 [valarray.assign] std::valarray move-assignment Yes
2086 C++14 28.7 [c.math] Overly generic type support for math functions Yes
2278 C++14 29.2 [time.syn] User-defined literals for Standard Library types Yes
2094 C++14 29.5.2 [time.duration.cons] duration conversion overflow shouldn't participate in overload resolution Yes
2293 C++14 [facet.num.put.virtuals] Wrong facet used by num_put::do_put Yes 0
2028 C++14 [locale.messages] messages_base::catalog overspecified Yes
2087 C++14 31.5 [iostreams.base] iostream_category() and noexcept Yes
2143 C++14 31.5.2 [ios.base] ios_base::xalloc should be thread-safe Yes
2085 C++14 [istream.unformatted] Wrong description of effect 1 of basic_istream::ignore Yes
2341 C++14 [ostream.seeks] Inconsistency between basic_ostream::seekp(pos) and basic_ostream::seekp(off, dir) Yes 0
2272 C++14 31.7.9 [quoted.manip] quoted should use char_traits::eq for character comparison Yes
2344 C++14 31.7.9 [quoted.manip] quoted()'s interaction with padding is unclear Yes 1
2329 C++14 32.3 [re.syn] regex_match()/regex_search() with match_results should forbid temporary strings Yes 2
2053 C++14 32.4 [re.const] Errors in regex bitmask types Yes
2359 C++14 32.4.2 [re.synopt] How does regex_constants::nosubs affect basic_regex::mark_count()? Yes 0
2330 C++14 32.4.2 [re.synopt] regex("meow", regex::icase) is technically forbidden but should be permitted Yes 0
1450 C++14 32.4.3 [re.matchflag] Contradiction in regex_constants Yes 3
2018 C++14 32.6 [re.traits] [CD] regex_traits::isctype Returns clause is wrong Yes
2271 C++14 32.6 [re.traits] regex_traits::lookup_classname specification unclear Yes
2306 C++14 32.9 [re.results] match_results::reference should be value_type&, not const value_type& Yes 4
2205 C++14 32.10.2 [re.alg.match] Problematic postconditions of regex_match and regex_search Yes 0
2213 C++14 32.10.4 [re.alg.replace] Return value of std::regex_replace Yes 0
2332 C++14 32.11 [re.iter] regex_iterator/regex_token_iterator should forbid temporary regexes Yes 2
2130 C++14 33.5.4 [atomics.order] Missing ordering constraints Yes
2138 C++14 33.5.10 [atomics.flag] atomic_flag::clear should not accept memory_order_consume Yes
2159 C++14 33.5.10 [atomics.flag] atomic_flag initialization Yes
2091 C++14 [thread.timedmutex.requirements] Misplaced effect in m.try_lock_for() Yes
2288 C++14 [thread.sharedmutex.requirements] Inconsistent requirements for shared mutexes Yes
2104 C++14 [thread.lock.unique] unique_lock move-assignment should not be noexcept Yes
2080 C++14 33.6.7 [thread.once] Specify when once_flag becomes invalid Yes
2140 C++14 33.7 [thread.condition] Meaning of notify_all_at_thread_exit synchronization requirement? Yes
2190 C++14 33.7 [thread.condition] Condition variable specification Yes
2093 C++14 33.7.4 [thread.condition.condvar] Throws clause of condition_variable::wait with predicate Yes
2135 C++14 33.7.4 [thread.condition.condvar] Unclear requirement for exceptions thrown in condition_variable::wait() Yes
2092 C++14 33.7.5 [thread.condition.condvarany] Vague Wording for condition_variable_any Yes
2056 C++14 33.10.1 [futures.overview] future_errc enums start with value 0 (invalid value for broken_promise) Yes
2102 C++14 33.10.1 [futures.overview] Why is std::launch an implementation-defined type? Yes
2098 C++14 33.10.6 [futures.promise] Minor Inconsistency between promise::set_value and promise::set_value_at_thread_exit Yes
2096 C++14 33.10.7 [futures.unique.future] Incorrect constraints of future::get in regard to MoveAssignable Yes
2185 C++14 33.10.7 [futures.unique.future] Missing throws clause for future/shared_future::wait_for/wait_until Yes
2186 C++14 33.10.9 [futures.async] Incomplete action on async/launch::deferred Yes
2078 C++14 33.10.9 [futures.async] Throw specification of async() incomplete Yes
2100 C++14 33.10.9 [futures.async] timed waiting functions cannot timeout if launch::async policy used Yes
2120 C++14 33.10.9 [futures.async] What should async do if neither 'async' nor 'deferred' is set in policy? Yes
2067 C++14 33.10.10 [futures.task] packaged_task should have deleted copy c'tor with const parameter Yes
2097 C++14 [futures.task.members] packaged_task constructors should be constrained Yes
2142 C++14 [futures.task.members] packaged_task::operator() synchronization too broad? Yes
2229 C++14 99 [depr.locale.stdcvt] Standard code conversion facets underspecified Yes
2172 C++14 D.21 [depr.util.smartptr.shared.atomic] Does atomic_compare_exchange_* accept v == nullptr arguments? Yes
2175 C++14 D.23.2 [depr.conversions.string] wstring_convert and wbuffer_convert validity Yes
2176 C++14 D.23.2 [depr.conversions.string] Special members for wstring_convert and wbuffer_convert Yes
2174 C++14 D.23.2 [depr.conversions.string] wstring_convert::converted() should be noexcept Yes

C++11 (322 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
1354 C++11 3.15 [defns.deadlock] The definition of deadlock excludes cases involving a single thread Yes
1195 C++11 16 [library] "Diagnostic required" wording is insufficient to prevent UB Yes
1349 C++11 16 [library] swap should not throw Yes
997 C++11 [structure.specifications] "Effects: Equivalent to" is underspecified Yes
1065 C++11 [contents] Allow inline namespaces within namespace std for implementations Yes
1264 C++11 [compliance] quick_exit support for freestanding implementations Yes
1360 C++11 [compliance] Add <atomic> to free-standing implementations Yes
724 C++11 [utility.arg.requirements] DefaultConstructible is not defined Yes
753 C++11 [utility.arg.requirements] Move constructor in draft Yes
1309 C++11 [utility.arg.requirements] Missing expressions for Move/CopyConstructible Yes
1332 C++11 [hash.requirements] Let Hash objects throw! Yes
752 C++11 [allocator.requirements] Allocator complexity requirement Yes
1157 C++11 [namespace.std] Local types can now instantiate templates Yes
2014 C++11 [macro.names] More restrictions on macro names Yes
1004 C++11 [res.on.functions] Clarify "throws an exception" Yes
1362 C++11 [res.on.arguments] Description of binding to rvalue-references should use the new 'xvalue' vocabulary Yes
1204 C++11 [res.on.arguments] Global permission to move Yes
1095 C++11 [res.on.objects] Shared objects and the library wording unclear Yes
1178 C++11 [res.on.headers] Header dependencies Yes
1066 C++11 17 [support] Use [[noreturn]] attribute in the library Yes
1097 C++11 17.2 [support.types] #define __STDCPP_THREADS Yes
1363 C++11 17.2 [support.types] offsetof should be marked noexcept Yes
993 C++11 17.5 [support.start.term] _Exit needs better specification Yes
1144 C++11 17.5 [support.start.term] "thread safe" is undefined Yes
1006 C++11 17.6.3 [new.delete] operator delete in garbage collected implementation Yes
1524 C++11 [new.delete.dataraces] Allocation functions are missing happens-before requirements and guarantees Yes
994 C++11 [new.handler] quick_exit should terminate well-defined Yes
471 C++11 17.9.3 [exception] result of what() implementation-defined Yes
1130 C++11 17.9.7 [propagation] copy_exception name misleading Yes
819 C++11 17.9.8 [except.nested] rethrow_if_nested Yes
1136 C++11 17.9.8 [except.nested] Incomplete specification of nested_exception::rethrow_nested() Yes
1216 C++11 17.9.8 [except.nested] LWG 1066 Incomplete? Yes
1370 C++11 17.9.8 [except.nested] throw_with_nested should not use perfect forwarding Yes
894 C++11 17.13 [support.runtime] longjmp and destructors Yes
1237 C++11 19.5 [syserr] Constrained error_code/error_condition members Yes
890 C++11 19.5.3 [syserr.errcat] Improving <system_error> initialization Yes
1372 C++11 [syserr.errcat.objects] Adopt recommended practice for standard error categories Yes
1103 C++11 [syserr.syserr.members] system_error constructor postcondition overly strict Yes
1073 C++11 20.2 [memory] Declaration of allocator_arg should be constexpr Yes
1401 C++11 20.2 [memory] Provide support for unique_ptr<T> == nullptr Yes
1402 C++11 20.2 [memory] nullptr constructors for smart pointers should be constexpr Yes
1404 C++11 20.2.3 [pointer.traits] pointer_traits should have a size_type member Yes
1403 C++11 20.2.7 [allocator.tag] Inconsistent definitions for allocator_arg Yes
1285 C++11 [allocator.traits.members] allocator_traits call to new Yes
1286 C++11 [allocator.traits.members] allocator_traits::select_on_container_copy_construction type-o Yes
970 C++11 20.2.11 [specialized.addressof] addressof overload unneeded Yes
1193 C++11 [unique.ptr.dltr] default_delete cannot be instantiated with incomplete types Yes
854 C++11 [unique.ptr.dltr.dflt] default_delete converting constructor underspecified Yes
1517 C++11 [unique.ptr.dltr.dflt] default_delete's default constructor should be trivial Yes
938 C++11 [unique.ptr.dltr.dflt1] default_delete<T[]>::operator() should only accept T* Yes
1303 C++11 [unique.ptr.single] shared_ptr, unique_ptr, and rvalue references v2 Yes
1021 C++11 [unique.ptr.single.asgn] Allow nullptr_t assignments to unique_ptr Yes
998 C++11 [unique.ptr.single.modifiers] Smart pointer referencing its owner Yes
821 C++11 [unique.ptr.runtime.modifiers] Minor cleanup : unique_ptr Yes
758 C++11 [util.smartptr.shared] shared_ptr and nullptr Yes
896 C++11 [util.smartptr.shared] Library thread safety issue Yes
881 C++11 [util.smartptr.shared.const] shared_ptr conversion issue Yes
925 C++11 [util.smartptr.shared.const] shared_ptr's explicit conversion from unique_ptr Yes
899 C++11 [util.smartptr.shared.dest] Adjusting shared_ptr for nullptr_t Yes
711 C++11 [util.smartptr.shared.obs] Contradiction in empty shared_ptr Yes
1262 C++11 [util.smartptr.shared.cmp] std::less<std::shared_ptr<T>> is underspecified Yes
1256 C++11 [util.smartptr.weak] weak_ptr comparison functions should be removed Yes
1231 C++11 [util.smartptr.weak.obs] weak_ptr comparisons incompletely resolved Yes
949 C++11 [util.smartptr.ownerless] owner_less Yes
1316 C++11 20.5 [allocator.adaptor] scoped_allocator_adaptor operator== has no definition Yes
1114 C++11 21 [meta] Type traits underspecified Yes
1019 C++11 21.3.4 [meta.help] Make integral_constant objects useable in integral-constant-expressions Yes
931 C++11 [meta.unary.prop] type trait extent<T, I> Yes
1131 C++11 [meta.unary.prop] C++0x does not need alignment_of Yes
975 C++11 21.3.7 [meta.rel] is_convertible cannot be instantiated for non-convertible types Yes
1187 C++11 [meta.trans.other] std::decay Yes
921 C++11 21.4.3 [ratio.ratio] Rational Arithmetic should use template aliases Yes
1388 C++11 21.4.3 [ratio.ratio] LWG 1281 incorrectly accepted Yes
948 C++11 21.4.4 [ratio.arithmetic] ratio arithmetic tweak Yes
1255 C++11 22.2 [utility] declval should be added to the library Yes
939 C++11 22.2.4 [forward] Problem with std::identity and reference-to-temporaries Yes
296 C++11 22.3 [pairs] Missing descriptions and requirements of pair operators Yes
811 C++11 22.3 [pairs] pair of pointers no longer works with literal 0 Yes
885 C++11 22.3 [pairs] pair assignment Yes
886 C++11 [tuple.cnstr] tuple construction Yes
1384 C++11 22.4.5 [tuple.creation] Function pack_arguments is poorly named Yes
1385 C++11 22.4.5 [tuple.creation] tuple_cat should be a single variadic signature Yes
1386 C++11 22.4.5 [tuple.creation] pack_arguments overly complex Yes
1118 C++11 22.4.7 [tuple.helper] tuple query APIs do not support cv-qualification Yes
1191 C++11 22.4.8 [tuple.elem] tuple get API should respect rvalues Yes
1335 C++11 22.4.9 [tuple.rel] Insufficient requirements for tuple::operator<() Yes
853 C++11 22.9.2 [template.bitset] to_string needs updating with zero and one Yes
1113 C++11 22.9.2 [template.bitset] bitset::to_string could be simplified Yes
1227 C++11 22.9.2 [template.bitset] <bitset> synopsis overspecified Yes
1250 C++11 22.9.2 [template.bitset] <bitset> still overspecified Yes
1325 C++11 [bitset.cons] bitset Yes
907 C++11 [bitset.members] Bitset's immutable element retrieval is inconsistently defined Yes
1294 C++11 22.10.4 [func.require] Difference between callable wrapper and forwarding call wrapper unclear Yes
1295 C++11 22.10.4 [func.require] Contradictory call wrapper requirements Yes
1520 C++11 22.10.4 [func.require] INVOKE on member data pointer with too many arguments Yes
987 C++11 22.10.6 [refwrap] reference_wrapper and function types Yes
2017 C++11 22.10.6 [refwrap] std::reference_wrapper makes incorrect usage of std::result_of Yes
2022 C++11 22.10.6 [refwrap] reference_wrapper<T>::result_type is underspecified Yes
688 C++11 [refwrap.const] reference_wrapper, cref unsafe, allow binding to rvalues Yes
1071 C++11 [func.bind.isbind] is_bind_expression should derive from integral_constant<bool> Yes
817 C++11 [func.bind.bind] bind needs to be moved Yes
920 C++11 22.10.16 [func.memfn] Ref-qualification support in the library Yes 1230
1070 C++11 [func.wrap.func] Ambiguous move overloads in function Yes
1240 C++11 [func.wrap.func] Deleted comparison functions of std::function not needed Yes
1399 C++11 [func.wrap.func] function does not need an explicit default constructor Yes
1287 C++11 [func.wrap.func.con] std::function requires CopyConstructible target object Yes
1288 C++11 [func.wrap.func.con] std::function assignment from rvalues Yes
1292 C++11 [func.wrap.func.con] std::function should support all callable types Yes
1400 C++11 [func.wrap.func.con] FCD function does not need an explicit default constructor Yes
1333 C++11 [func.wrap.func.inv] Missing forwarding during std::function invocation Yes
978 C++11 22.10.19 [unord.hash] Hashing smart pointers Yes
1182 C++11 22.10.19 [unord.hash] Unfortunate hash dependencies Yes
1245 C++11 22.10.19 [unord.hash] std::hash<string> & co Yes
1170 C++11 23.1 [strings.general] String char-like types no longer PODs Yes
1414 C++11 [char.traits.specializations.char16.t] Fixing remaining dead links to POS_T and OFF_T Yes 1444
876 C++11 23.4.3 [basic.string] basic_string access operations should give stronger guarantees Yes
847 C++11 [string.require] string exception safety guarantees Yes
1192 C++11 [string.iterators] basic_string missing definitions for cbegin / cend / crbegin / crend Yes
1323 C++11 [string.replace] basic_string::replace should use const_iterator Yes
1138 C++11 [string.op.plus] Unusual return value for operator+ Yes
1261 C++11 23.4.5 [string.conversions] Insufficent overloads for to_string / to_wstring Yes
774 C++11 24 [containers] Member swap undefined for most containers Yes
868 C++11 24 [containers] Default construction and value-initialization Yes
883 C++11 24 [containers] swap circular definition Yes
704 C++11 24.2 [container.requirements] MoveAssignable requirement for container value type overly strict Yes
861 C++11 24.2 [container.requirements] Incomplete specification of EqualityComparable for std::forward_list Yes
1416 C++11 24.2 [container.requirements] forward_list::erase_after should not be allowed to throw Yes
1034 C++11 24.2.2 [container.requirements.general] Clarify generality of Container Requirement tables Yes
1319 C++11 24.2.2 [container.requirements.general] Containers should require an iterator that is at least a Forward Iterator Yes
149 C++11 24.2.4 [sequence.reqmts] Insert should return iterator to first element inserted Yes
1037 C++11 24.2.4 [sequence.reqmts] Unclear status of match_results as library container Yes
1038 C++11 24.2.4 [sequence.reqmts] Sequence requirement table needs to reference several new containers Yes
1039 C++11 24.2.4 [sequence.reqmts] Sequence container back function should also support const_iterator Yes
1234 C++11 24.2.4 [sequence.reqmts] "Do the right thing" and NULL Yes
982 C++11 24.2.7 [associative.reqmts] Wrong complexity for initializer_list assignment in Table 85 Yes
1040 C++11 24.2.7 [associative.reqmts] Clarify possible sameness of associative container's iterator and const_iterator Yes
1253 C++11 24.2.7 [associative.reqmts] invalidation of iterators and emplace vs. insert inconsistence in assoc. containers Yes
869 C++11 24.2.8 [unord.req] Bucket (local) iterators and iterating past end Yes
870 C++11 24.2.8 [unord.req] Do unordered containers not support function pointers for predicate/hasher? Yes
981 C++11 24.2.8 [unord.req] Unordered container requirements should add initializer_list support Yes
1189 C++11 24.2.8 [unord.req] Awkward interface for changing the number of buckets in an unordered associative container Yes
1197 C++11 24.2.8 [unord.req] Can unordered containers have bucket_count() == 0? Yes
1306 C++11 24.3.7 [array] pointer and const_pointer for <array> Yes
1417 C++11 [array.zero] front/back on a zero-sized array should be undefined Yes
1418 C++11 [deque.capacity] Effects of resize(size()) on a deque Yes
878 C++11 24.3.9 [forward.list] forward_list preconditions Yes
1276 C++11 24.3.9 [forward.list] forwardlist missing allocator constructors Yes
2042 C++11 [forward.list.iter] Comparing forward_list::before_begin() to forward_list::end() Yes
1278 C++11 [forward.list.modifiers] Inconsistent return values for forward_list::insert_after Yes
1340 C++11 [forward.list.modifiers] Why does forward_list::resize take the object to be copied by value? Yes
898 C++11 [forward.list.ops] Small contradiction in n2723 to forward to committee Yes
1133 C++11 [forward.list.ops] Does N2844 break current specification of list::splice? Yes
1310 C++11 [forward.list.ops] forward_list splice_after from lvalues Yes
1420 C++11 [list.capacity] Effects of resize(size()) on a list Yes
1207 C++11 [list.ops] Underspecified std::list operations? Yes
1215 C++11 [list.ops] list::merge with unequal allocators Yes
1525 C++11 [vector.capacity] Effects of resize(size()) on a vector Yes
1312 C++11 [vector.data] vector::data no longer returns a raw pointer Yes
814 C++11 24.3.12 [vector.bool] vector<bool>::swap(reference, reference) not defined Yes
1254 C++11 24.3.12 [vector.bool] Misleading sentence in vector<bool>::flip Yes
1284 C++11 24.3.12 [vector.bool] vector<bool> initializer_list constructor missing an allocator argument Yes
1423 C++11 24.4.4 [map] map constructor accepting an allocator as single parameter should be explicit Yes
2007 C++11 [map.access] Incorrect specification of return value for map<>::at() Yes
1424 C++11 24.4.5 [multimap] multimap constructor accepting an allocator as a single parameter should be explicit Yes
1425 C++11 24.4.6 [set] set constructor accepting an allocator as a single parameter should be explicit Yes
1426 C++11 24.4.7 [multiset] multiset constructor accepting an allocator as a single parameter should be explicit Yes
676 C++11 24.5 [unord] Moving the unordered containers Yes
1427 C++11 24.5.4 [unord.map] unordered_map constructor accepting an allocator as a single parameter should be explicit Yes
1519 C++11 24.5.4 [unord.map] bucketsize() const only for unordered set Yes
1428 C++11 24.5.5 [unord.multimap] unordered_multimap constructor accepting an allocator as a single parameter should be explicit Yes
1429 C++11 24.5.6 [unord.set] unordered_set constructor accepting an allocator as a single parameter should be explicit Yes
1430 C++11 24.5.7 [unord.multiset] unordered_multiset constructor accepting an allocator as a single parameter should be explicit Yes
1199 C++11 24.6 [container.adaptors] Missing extended copy constructor in container adaptors Yes
1194 C++11 24.6 [container.adaptors] Unintended queue constructor Yes
1198 C++11 24.6 [container.adaptors] Container adaptor swap: member or non-member? Yes
765 C++11 25.3.4 [iterator.concepts] More on iterator validity Yes
1079 C++11 [random.access.iterators] UK-265: RandomAccessIterator's operator- has nonsensical effects clause Yes
1011 C++11 25.4.3 [iterator.operations] next/prev wrong iterator type Yes
1012 C++11 [reverse.iter.cons] reverse_iterator default ctor should value initialize Yes
1334 C++11 [back.insert.iter.ops] Insert iterators are broken for some proxy containers compared to C++03 Yes
872 C++11 [move.iter.elem] move_iterator::operator[] has wrong return type Yes
788 C++11 25.6.2 [istream.iterator] Ambiguity in [istream.iterator] Yes
838 C++11 25.6.2 [istream.iterator] Can an end-of-stream iterator become a non-end-of-stream one? Yes
1280 C++11 [istream.iterator.cons] Initialization of stream iterators Yes
659 C++11 25.6.4 [istreambuf.iterator] istreambuf_iterator should have an operator->() Yes
1126 C++11 [istreambuf.iterator.ops] istreambuff_iterator::equal needs a const & parameter Yes
1205 C++11 27 [algorithms] Some algorithms could more clearly document their handling of empty ranges Yes
1110 C++11 27.6.5 [alg.foreach] Is for_each overconstrained? Yes
1431 C++11 27.6.14 [alg.is.permutation] is_permutation must be more restrictive Yes
1338 C++11 27.6.15 [alg.search] LWG 1205 incorrectly applied Yes
1206 C++11 27.7.2 [alg.move] Incorrect requires for move_backward and copy_backward Yes
865 C++11 27.7.6 [alg.fill] More algorithms that throw away information Yes
1241 C++11 27.7.9 [alg.unique] unique_copy needs to require EquivalenceRelation Yes
1432 C++11 27.7.13 [alg.random.shuffle] random_shuffle signatures are inconsistent Yes 1433
556 C++11 27.8 [alg.sorting] Is Compare a BinaryPredicate? Yes
498 C++11 27.8.5 [alg.partitions] Requirements for partition() and stable_partition() too strong Yes
780 C++11 27.8.6 [alg.merge] std::merge() specification incorrect/insufficient Yes
539 C++11 27.10.7 [partial.sum] partial_sum and adjacent_difference should mention requirements Yes
871 C++11 27.10.13 [numeric.iota] Iota's requirements on T are too strong Yes
866 C++11 27.11 [specialized.algorithms] Qualification of placement new-expressions Yes
999 C++11 27.11 [specialized.algorithms] Taking the address of a function Yes
1339 C++11 27.11.7 [uninitialized.fill] uninitialized_fill_n should return the end of its range Yes
860 C++11 28 [numerics] Floating-Point State Yes
1435 C++11 28.4.7 [complex.value.ops] Unclear returns specifications for C99 complex number functions Yes
1137 C++11 28.4.10 [cmplx.over] Return type of conj and proj Yes
1522 C++11 28.4.10 [cmplx.over] conj specification is now nonsense Yes
1436 C++11 28.5.4 [rand.eng] Random number engine constructor concerns Yes
1437 C++11 [rand.eng.mers] Mersenne twister meaningless for word sizes less than two Yes
1438 C++11 [rand.adapt.disc] No definition for base() Yes
1439 C++11 [rand.dist.samp.pconst] Return from densities() functions? Yes
1440 C++11 [rand.dist.samp.plinear] Incorrect specification for piecewise_linear_distribution Yes
630 C++11 [valarray.cons] arrays of valarray Yes
1208 C++11 [valarray.cons] valarray initializer_list constructor has incorrect effects Yes
430 C++11 [valarray.sub] valarray subset operations Yes
1134 C++11 28.7 [c.math] Redundant specification of <stdint.h>, <fenv.h>, <tgmath.h>, and maybe <complex.h> Yes
1441 C++11 28.7 [c.math] Floating-point test functions are incorrectly specified Yes
954 C++11 29.3 [time.clock.req] Various threading bugs #4 Yes
956 C++11 29.3 [time.clock.req] Various threading bugs #6 Yes
951 C++11 29.4.1 [time.traits.is.fp] Various threading bugs #1 Yes
934 C++11 29.5 [time.duration] duration is missing operator% Yes
1171 C++11 29.5 [time.duration] duration types should be literal Yes
1177 C++11 29.5 [time.duration] Improve "diagnostic required" wording Yes
974 C++11 29.5.2 [time.duration.cons] duration<double> should not implicitly convert to duration<int> Yes
1271 C++11 29.5.6 [time.duration.nonmember] CR undefined in duration operators Yes
2004 C++11 29.5.6 [time.duration.nonmember] duration::operator* has template parameters in funny order Yes
2020 C++11 29.5.6 [time.duration.nonmember] Time utility arithmetic constexpr functions have invalid effects Yes
957 C++11 29.7.2 [time.clock.system] Various threading bugs #7 Yes
1298 C++11 30.2 [locale.syn] Missing specialization of ctype_byname<char> Yes
2019 C++11 [classification] isblank not supported by std::locale Yes
473 C++11 [locale.ctype] underspecified ctype calls Yes
427 C++11 [facet.num.get.virtuals] Stage 2 and rationale of DR 221 Yes
2041 C++11 [facet.num.get.virtuals] Stage 2 accumulate incompatibilty Yes
671 C++11 [facet.num.put.virtuals] precision of hexfloat Yes
1152 C++11 [facet.num.put.virtuals] Expressions parsed differently than intended Yes
836 C++11 [locale.money.get.virtuals] Effects of money_base::space and money_base::none on money_get Yes 670
1257 C++11 31.5 [iostreams.base] Header <ios> still contains a concept_map Yes
1123 C++11 [ios.init] No requirement that standard streams be flushed Yes
1249 C++11 [basic.ios.cons] basic_ios default ctor Yes
835 C++11 [basic.ios.members] Tying two streams together (correction to DR 581) Yes
1104 C++11 [basic.ios.members] basic_ios::move should accept lvalues Yes
1183 C++11 [basic.ios.members] basic_ios::set_rdbuf may break class invariants Yes
1094 C++11 [iostate.flags] Replace "unspecified-bool-type" by "explicit operator bool() const" in I/O library Yes
565 C++11 [streambuf.virt.put] xsputn inefficient Yes
911 C++11 31.7.5 [input.streams] I/O streams and move/swap semantic Yes
419 C++11 [istream.sentry] istream extractors not setting failbit if eofbit is already set Yes
696 C++11 [istream.formatted.arithmetic] istream::operator>>(int&) broken Yes
810 C++11 31.7.8 [ext.manip] Missing traits dependencies in operational semantics of extended manipulators Yes
1299 C++11 31.7.8 [ext.manip] Confusing typo in specification for get_time Yes
1448 C++11 [stringbuf.members] Concerns about basic_stringbuf::str(basic_string) postconditions Yes
564 C++11 [stringbuf.virtuals] stringbuf seekpos underspecified Yes
1449 C++11 31.8.3 [istringstream] Incomplete specification of header <cinttypes> Yes
900 C++11 31.10.4 [ifstream] Stream move-assignment Yes
984 C++11 31.13 [c.files] Does <cinttypes> have macro guards? Yes
1337 C++11 32.6 [re.traits] Swapped arguments in regex_traits::isctype Yes
723 C++11 32.7 [re.regex] basic_regex should be moveable Yes
2029 C++11 32.7 [re.regex] Missing 'noexcept' on basic_regex move-assignment operator Yes
1014 C++11 32.7.2 [re.regex.construct] basic_regex should be created/assigned from initializer lists Yes
2001 C++11 32.7.3 [re.regex.assign] Class template basic_regex uses non existent string_type Yes
1180 C++11 32.8.2 [re.submatch.members] Missing string_type member typedef in class sub_match Yes
1181 C++11 32.8.3 [re.submatch.op] Invalid sub_match comparison operators Yes
1209 C++11 32.9.2 [re.results.const] match_results should be moveable Yes
727 C++11 32.10.4 [re.alg.replace] regex_replace() doesn't accept basic_strings with custom traits and allocators Yes
909 C++11 32.11.2 [re.tokiter] regex_token_iterator should use initializer_list Yes
716 C++11 32.12 [re.grammar] Production in [re.grammar] not actually modified Yes
1089 C++11 33 [thread] Unify "Throws: Nothing." specifications Yes
1108 C++11 33.2.2 [thread.req.exception] thread.req.exception overly constrains implementations Yes
1158 C++11 33.2.4 [thread.req.timing] Encouragement to use monotonic clock Yes
1277 C++11 [thread.thread.id] std::thread::id should be trivially copyable Yes
891 C++11 [thread.thread.constr] std::thread, std::call_once issue Yes
929 C++11 [thread.thread.constr] Thread constructor Yes
967 C++11 [thread.thread.constr] Various threading bugs #17 Yes
963 C++11 [thread.thread.member] Various threading bugs #13 Yes
1033 C++11 [thread.thread.member] thread::join() effects? Yes
888 C++11 33.4.5 [thread.thread.this] this_thread::yield too strong Yes
1487 C++11 33.4.5 [thread.thread.this] Clock related operations exception specifications conflict Yes
1474 C++11 [atomics.types.operations] weak compare-and-exchange confusion Yes 1470, 1475, 1476, 1477
1478 C++11 [atomics.types.operations] Clarify race conditions in atomics initialization Yes
1479 C++11 33.5.11 [atomics.fences] Fence functions should be extern "C" Yes
1480 C++11 33.5.11 [atomics.fences] Atomic fences don't have synchronizes with relation Yes
1044 C++11 33.6 [thread.mutex] Empty tag types should be constexpr literals Yes
960 C++11 33.6.4 [thread.mutex.requirements] Various threading bugs #10 Yes
968 C++11 33.6.4 [thread.mutex.requirements] Various threading bugs #18 Yes
1218 C++11 33.6.4 [thread.mutex.requirements] mutex destructor synchronization Yes
893 C++11 [thread.mutex.class] std::mutex issue Yes 905
1045 C++11 [thread.lock.unique.cons] Remove unnecessary preconditions from unique_lock constructor Yes
962 C++11 [thread.lock.unique.locking] Various threading bugs #12 Yes
1159 C++11 [thread.lock.unique.locking] Unclear spec for resource_deadlock_would_occur Yes 1219
986 C++11 33.6.6 [thread.lock.algorithm] Generic try_lock contradiction Yes
1494 C++11 [thread.once.callonce] Term "are serialized" not defined Yes
859 C++11 33.7 [thread.condition] Monotonic Clock is Conditionally Supported? Yes
1220 C++11 33.7 [thread.condition] What does condition_variable wait on? Yes
1222 C++11 33.7 [thread.condition] condition_variable incorrect effects for exception safety Yes
1497 C++11 33.7 [thread.condition] lock() postcondition can not be generally achieved Yes
857 C++11 33.7.4 [thread.condition.condvar] condition_variable::time_wait return bool error prone Yes
965 C++11 33.7.4 [thread.condition.condvar] Various threading bugs #15 Yes
1221 C++11 33.7.4 [thread.condition.condvar] condition_variable wording Yes
1267 C++11 33.7.5 [thread.condition.condvarany] Incorrect wording for condition_variable_any::wait_for Yes
1518 C++11 33.10 [futures] Waiting for deferred functions Yes
2031 C++11 33.10.7 [futures.unique.future] std::future<>::share() only applies to rvalues Yes
2032 C++11 33.10.9 [futures.async] Incorrect synchronization clause of async function Yes
2030 C++11 33.10.10 [futures.task] packaged_task::result_type should be removed Yes
1514 C++11 [futures.task.members] packaged_task constructors need review Yes
2008 C++11 [futures.task.members] Conflicting Error Conditions for packaged_task::operator() Yes
2027 C++11 [futures.task.members] Initialization of the stored task of a packaged_task Yes
2000 C++11 [futures.task.nonmembers] Missing definition of packaged_task specialization of uses_allocator Yes
943 C++11 99 [atomics.types.address] ssize_t undefined Yes
1247 C++11 99 [auto.ptr] auto_ptr is overspecified Yes
1516 C++11 99 [depr.auto.ptr] No specification for which header contains auto_ptr Yes
1279 C++11 99 [depr.base] forbid [u|bi]nary_function specialization Yes
1368 C++11 99 [depr.uncaught] Thread safety of std::uncaught_exception() Yes
1367 C++11 99 [exception.unexpected] Deprecate library support for checking dynamic exception specifications Yes
904 C++11 99 [func.ret] result_of argument types Yes
1270 C++11 99 [func.ret] result_of should be moved to <type_traits> Yes
1381 C++11 99 [pair.range] Replace pair's range support by proper range facility Yes
990 C++11 99 [time.clock.monotonic] monotonic_clock::is_monotonic must be true Yes
1387 C++11 99 [tuple.range] Range support by tuple should be removed Yes
1098 C++11 99 [util.dynamic.safety] definition of get_pointer_safety() Yes
1408 C++11 99 [util.dynamic.safety] Allow recycling of pointers after undeclare_no_pointers Yes
922 C++11 B [implimits] §[func.bind.place] Number of placeholders Yes
1030 C++11 D.21 [depr.util.smartptr.shared.atomic] Missing requirements for smart-pointer safety API Yes
991 C++11 D.23.2 [depr.conversions.string] Provide allocator for wstring_convert Yes
1252 C++11 D.23.3 [depr.conversions.buffer] wbuffer_convert::state_type inconsistency Yes

CD1 (363 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
182 CD1 16 [library] Ambiguous references to size_t Yes
230 CD1 16 [library] Assignable specified without also specifying CopyConstructible Yes
336 CD1 16 [library] Clause 17 lack of references to deprecated headers Yes
262 CD1 [bitmask.types] Bitmask operator ~ specified incorrectly Yes
229 CD1 [contents] Unqualified references of other library entities Yes
310 CD1 [headers] Is errno a macro? Yes
456 CD1 [headers] Traditional C header files are overspecified Yes
465 CD1 [headers] Contents of <ciso646> Yes
672 CD1 [utility.arg.requirements] Swappable requirements need updating Yes
258 CD1 [allocator.requirements] Missing allocator requirement Yes
274 CD1 [allocator.requirements] a missing/impossible allocator requirement Yes
401 CD1 [allocator.requirements] incorrect type casts in table 32 in lib.allocator.requirements Yes
402 CD1 [allocator.requirements] wrong new expression in [some_]allocator::construct Yes
120 CD1 [reserved.names] Can an implementor add specializations? Yes
226 CD1 [reserved.names] User supplied specializations or overloads of namespace std function templates Yes
232 CD1 [reserved.names] "depends" poorly defined in Yes
422 CD1 [reserved.names] explicit specializations of member functions of class templates Yes
294 CD1 [macro.names] User defined macros and standard headers Yes
404 CD1 [replacement.functions] May a replacement allocation function be declared inline? Yes
611 CD1 [res.on.functions] Standard library templates and incomplete types Yes
225 CD1 [global.functions] std:: algorithms use of other unqualified algorithms Yes
306 CD1 17.2 [support.types] offsetof macro and non-POD types Yes
449 CD1 17.2 [support.types] Library Issue 306 Goes Too Far Yes
201 CD1 17.3 [support.limits] Numeric limits terminology wrong Yes
559 CD1 17.3.5 [numeric.limits] numeric_limits<const T> Yes
497 CD1 [numeric.limits.members] meaning of numeric_limits::traps for floating point types Yes
612 CD1 [numeric.limits.members] numeric_limits::is_modulo insufficiently defined Yes
184 CD1 [numeric.special] numeric_limits<bool> wording problems Yes
613 CD1 [numeric.special] max_digits10 missing from numeric_limits Yes
416 CD1 17.3.6 [climits.syn] definitions of XXX_MIN and XXX_MAX macros in climits Yes
593 CD1 17.4.1 [cstdint.syn] __STDC_CONSTANT_MACROS Yes
206 CD1 [new.delete.single] operator new(size_t, nothrow) may become unlinked to ordinary operator new if ordinary version replaced Yes
319 CD1 [new.delete.single] Storage allocation wording confuses "Required behavior", "Requires" Yes
298 CD1 [new.delete.array] ::operator delete[] requirement incorrect/insufficient Yes
266 CD1 17.9.4 [bad.exception] bad_exception::~bad_exception() missing Effects clause Yes
744 CD1 17.9.7 [propagation] What is the lifetime of an exception pointed to by an exception_ptr? Yes
746 CD1 17.9.7 [propagation] current_exception may fail with bad_alloc Yes
820 CD1 17.9.7 [propagation] current_exception()'s interaction with throwing copy ctors Yes
829 CD1 17.9.7 [propagation] current_exception wording unclear about exception type Yes
619 CD1 17.13 [support.runtime] Longjmp wording problem Yes
551 CD1 17.14 [support.c.headers] <ccomplex> Yes
254 CD1 19.2 [std.exceptions] Exception types in clause 19 are constructed from std::string Yes
288 CD1 19.4 [errno] <cerrno> requirements missing macro EILSEQ Yes
804 CD1 19.5 [syserr] Some problems with classes error_code/error_condition Yes
805 CD1 19.5 [syserr] posix_error::posix_errno concerns Yes
698 CD1 [syserr.syserr.overview] system_error needs const char* constructors Yes
234 CD1 [allocator.members] Typos in allocator definition Yes
400 CD1 [allocator.members] redundant type cast in lib.allocator.members Yes
578 CD1 [allocator.members] purpose of hint to allocator::allocate() Yes
634 CD1 [allocator.members] allocator.address() doesn't work for types overloading operator& Yes 350
673 CD1 20.3.1 [unique.ptr] unique_ptr update Yes
740 CD1 20.3.1 [unique.ptr] Please remove *_ptr<T[N]> Yes
762 CD1 20.3.1 [unique.ptr] std::unique_ptr requires complete type? Yes
806 CD1 [unique.ptr.single.modifiers] unique_ptr::reset effects incorrect, too permissive Yes
541 CD1 [util.smartptr.shared] shared_ptr template assignment and void Yes
674 CD1 [util.smartptr.shared] shared_ptr interface changes for consistency with N1856 Yes
710 CD1 [util.smartptr.shared] Missing postconditions Yes
813 CD1 [util.smartptr.shared] "empty" undefined for shared_ptr Yes
687 CD1 [util.smartptr.shared.const] shared_ptr conversion constructor not constrained Yes
575 CD1 [util.smartptr.shared.dest] the specification of ~shared_ptr is MT-unfriendly, makes implementation assumptions Yes
540 CD1 [util.smartptr.shared.obs] shared_ptr<void>::operator*() Yes
542 CD1 [util.smartptr.shared.obs] shared_ptr observers Yes
743 CD1 [util.smartptr.shared.spec] rvalue swap for shared_ptr Yes
533 CD1 [util.smartptr.getdeleter] typo in Yes
545 CD1 [util.smartptr.getdeleter] When is a deleter deleted? Yes
749 CD1 [meta.unary.prop] Currently has_nothrow_copy_constructor<T>::value is true if T has 'a' nothrow copy constructor. Yes
705 CD1 [meta.trans.other] type-trait decay incompletely specified Yes
856 CD1 [meta.trans.other] Removal of aligned_union Yes
312 CD1 22 [utilities] Table 27 is missing headers Yes
808 CD1 22.2.4 [forward] §[forward] incorrect redundant specification Yes
700 CD1 22.2.4 [forward] N1856 defines struct identity Yes
265 CD1 22.3 [pairs] std::pair::pair() effects overly restrictive Yes
706 CD1 22.3 [pairs] make_pair() should behave as make_tuple() wrt. reference_wrapper() Yes
522 CD1 22.4 [tuple] Tuple doesn't define swap Yes
807 CD1 [tuple.cnstr] tuple construction should not fail unless its element's construction fails Yes
775 CD1 22.4.7 [tuple.helper] Tuple indexing should be unsigned? Yes
693 CD1 22.9.2 [template.bitset] std::bitset::all() missing Yes
694 CD1 22.9.2 [template.bitset] std::bitset and long long Yes
396 CD1 [bitset.cons] what are characters zero and one Yes
457 CD1 [bitset.cons] bitset constructor: incorrect number of initialized bits Yes
778 CD1 [bitset.cons] std::bitset does not have any constructor taking a string literal Yes 116
186 CD1 [bitset.members] bitset::set() second parameter should be bool Yes
434 CD1 [bitset.members] bitset::to_string() hard to use Yes
303 CD1 22.9.4 [bitset.operators] Bitset input operator underspecified Yes
185 CD1 22.10 [function.objects] Questionable use of term "inline" Yes
660 CD1 22.10 [function.objects] Missing Bitwise Operations Yes
521 CD1 22.10.6 [refwrap] Garbled requirements for argument_type in reference_wrapper Yes
689 CD1 [refwrap.const] reference_wrapper constructor overly constrained Yes
284 CD1 22.10.8 [comparisons] unportable example in 20.3.7, p6 Yes
297 CD1 22.10.10 [logical.operations] const_mem_fun_t<>::argument_type should be const T* Yes
520 CD1 22.10.15 [func.bind] Result_of and pointers to data members Yes
527 CD1 [func.bind.bind] tr1::bind has lost its Throws clause Yes
770 CD1 22.10.17 [func.wrap] std::function should use rvalue swap Yes
769 CD1 [func.wrap.func] std::function should use nullptr_t instead of "unspecified-null-pointer-type" Yes
610 CD1 [func.wrap.func.con] Suggested non-normative note for C++0x Yes
848 CD1 22.10.19 [unord.hash] Missing std::hash specializations for std::bitset/std::vector<bool> Yes
335 CD1 23.2.2 [char.traits.require] minor issue with char_traits, table 37 Yes
352 CD1 23.2.3 [char.traits.typedefs] missing fpos requirements Yes
709 CD1 23.2.4 [char.traits.specializations] char_traits::not_eof has wrong signature Yes
467 CD1 [char.traits.specializations.char] char_traits::lt(), compare(), and memcmp() Yes
180 CD1 23.4.3 [basic.string] Container member iterator arguments constness has unintended consequences Yes
263 CD1 23.4.3 [basic.string] Severe restriction on basic_string reference counting Yes
530 CD1 23.4.3 [basic.string] Must elements of a string be contiguous? Yes
534 CD1 23.4.3 [basic.string] Missing basic_string members Yes
301 CD1 [string.require] basic_string template ctor effects clause omits allocator argument Yes
259 CD1 [string.capacity] basic_string::operator[] and const correctness Yes
428 CD1 [string.erase] string::erase(iterator) validity Yes
403 CD1 [string.swap] basic_string::swap should not throw exceptions Yes
535 CD1 [string.swap] std::string::swap specification poorly worded Yes
91 CD1 [string.io] Description of operator>> and getline() for string<> might cause endless loop Yes
435 CD1 [string.io] bug in DR 25 Yes
586 CD1 [string.io] string inserter not a formatted function Yes
824 CD1 [string.io] rvalue ref issue with basic_string inserter Yes
771 CD1 23.4.5 [string.conversions] Impossible throws clause in [string.conversions] Yes
772 CD1 23.4.5 [string.conversions] Impossible return clause in [string.conversions] Yes
345 CD1 23.5 [c.strings] type tm in <cwchar> Yes
179 CD1 24.2 [container.requirements] Comparison of const_iterators to iterators doesn't work Yes
276 CD1 24.2 [container.requirements] Assignable requirement for container value type overly strict Yes
322 CD1 24.2 [container.requirements] iterator and const_iterator should have the same value type Yes
371 CD1 24.2 [container.requirements] Stability of multiset and multimap member functions Yes
589 CD1 24.2 [container.requirements] Requirements on iterators of member template functions of containers Yes 536
675 CD1 24.2 [container.requirements] Move assignment of containers Yes
759 CD1 24.2 [container.requirements] A reference is not an object Yes
766 CD1 24.2 [container.requirements] Inconsistent exception guarantees between ordered and unordered associative containers Yes
842 CD1 24.2 [container.requirements] ConstructibleAsElement and bit containers Yes
355 CD1 24.2.4 [sequence.reqmts] Operational semantics for a.back() Yes
438 CD1 24.2.4 [sequence.reqmts] Ambiguity in the "do the right thing" clause Yes
103 CD1 24.2.7 [associative.reqmts] set::iterator is required to be modifiable, but this allows modification of keys Yes
130 CD1 24.2.7 [associative.reqmts] Return type of container::erase(iterator) differs for associative containers Yes 451
233 CD1 24.2.7 [associative.reqmts] Insertion hints in associative containers Yes 192, 246
264 CD1 24.2.7 [associative.reqmts] Associative container insert(i, j) complexity requirements are not feasible. Yes 102
316 CD1 24.2.7 [associative.reqmts] Vague text in Table 69 Yes
354 CD1 24.2.7 [associative.reqmts] Associative container lower/upper bound requirements Yes
518 CD1 24.2.8 [unord.req] Are insert and erase stable for unordered_multiset and unordered_multimap? Yes
679 CD1 24.3 [sequences] resize parameter by value Yes
519 CD1 24.3.7 [array] Data() undocumented Yes
720 CD1 24.3.7 [array] Omissions in constexpr usages Yes
776 CD1 24.3.7 [array] Undescribed assign function of std::array Yes
237 CD1 [deque.cons] Undefined expression in complexity specification Yes
850 CD1 [deque.capacity] Should shrink_to_fit apply to std::deque? Yes
638 CD1 [deque.modifiers] deque end invalidation during erase Yes
307 CD1 24.3.10 [list] Lack of reference typedefs in container adaptors Yes
320 CD1 [list.cons] list::assign overspecified Yes
410 CD1 [list.cons] Missing semantics for stack and queue comparison operators Yes
250 CD1 [list.ops] splicing invalidates iterators Yes
278 CD1 [list.ops] What does iterator validity mean? Yes
300 CD1 [list.ops] list::merge() specification incomplete Yes
315 CD1 [list.ops] Bad "range" in list::unique complexity Yes
464 CD1 24.3.11 [vector] Suggestion for new member functions in standard containers Yes
469 CD1 24.3.11 [vector] vector<bool> ill-formed relational operators Yes
496 CD1 24.3.11 [vector] Illegal use of "T" in vector<bool> Yes
329 CD1 [vector.capacity] vector capacity, reserve and reallocation Yes
341 CD1 [vector.capacity] Vector reallocation and swap Yes
755 CD1 [vector.capacity] std::vector and std:string lack explicit shrink-to-fit operations Yes
247 CD1 [vector.modifiers] vector, deque::insert complexity Yes
406 CD1 [vector.modifiers] vector::insert(s) exception safety Yes
414 CD1 [vector.modifiers] Which iterators are invalidated by v.erase()? Yes
334 CD1 [map.access] map::operator[] specification forces inefficient implementation Yes
703 CD1 [map.access] map::at() need a complexity specification Yes
214 CD1 24.4.6 [set] set::find() missing const overload Yes 450
691 CD1 24.5 [unord] const_local_iterator cbegin, cend missing from TR1 Yes
852 CD1 24.5 [unord] unordered containers begin(n) mistakenly const Yes
761 CD1 [unord.map.elem] unordered_map needs an at() member function Yes
445 CD1 [iterator.traits] iterator_traits::reference unspecified for some iterator categories Yes
198 CD1 25.3.4 [iterator.concepts] Validity of pointers and references unspecified after iterator destruction Yes
346 CD1 25.3.4 [iterator.concepts] Some iterator member functions should be const Yes
407 CD1 25.3.4 [iterator.concepts] Can singular iterators be destroyed? Yes
98 CD1 [input.iterators] Input iterator requirements are badly written Yes
324 CD1 [output.iterators] Do output iterators have value types? Yes
200 CD1 [forward.iterators] Forward iterator requirements don't allow constant iterators Yes
478 CD1 [forward.iterators] Should forward iterator requirements table have a line for r->m? Yes 477
383 CD1 [bidirectional.iterators] Bidirectional iterator assertion typo Yes
448 CD1 [random.access.iterators] Random Access Iterators over abstract classes Yes
280 CD1 25.5.1 [reverse.iterators] Comparison of reverse_iterator to const reverse_iterator Yes
235 CD1 [reverse.iterator] No specification of default ctor for reverse_iterator Yes
386 CD1 [reverse.iter.elem] Reverse iterator's operator[] has impossible return type Yes
685 CD1 [reverse.iter.nonmember] reverse_iterator/move_iterator difference has invalid signatures Yes
561 CD1 [inserter] inserter overly generic Yes
680 CD1 [move.iterator] move_iterator operator-> return Yes
260 CD1 [istream.iterator.ops] Inconsistent return type of istream_iterator::operator++(int) Yes
261 CD1 [istream.iterator.ops] Missing description of istream_iterator::operator!= Yes
349 CD1 25.6.3 [ostream.iterator] Minor typographical error in ostream_iterator Yes
92 CD1 27 [algorithms] Incomplete Algorithm Requirements Yes
475 CD1 27.6.5 [alg.foreach] May the function object passed to for_each modify the elements of the iterated sequence? Yes
576 CD1 27.6.9 [alg.find.first.of] find_first_of is overconstrained Yes
240 CD1 27.6.10 [alg.adjacent.find] Complexity of adjacent_find() is meaningless Yes
426 CD1 27.6.15 [alg.search] search_n(), fill_n(), and generate_n() with negative n Yes
714 CD1 27.6.15 [alg.search] search_n complexity is too lax Yes
187 CD1 27.7.3 [alg.swap] iter_swap underspecified Yes
809 CD1 27.7.3 [alg.swap] std::swap should be overloaded for array types Yes
242 CD1 27.7.4 [alg.transform] Side effects of function objects Yes
283 CD1 27.7.5 [alg.replace] std::replace() requirement incorrect/insufficient Yes 483
337 CD1 27.7.5 [alg.replace] replace_copy_if's template parameter should be InputIterator Yes
779 CD1 27.7.8 [alg.remove] Resolution of #283 incomplete Yes
202 CD1 27.7.9 [alg.unique] unique() effects unclear when predicate not an equivalence relation Yes
239 CD1 27.7.9 [alg.unique] Complexity of unique() and/or unique_copy incorrect Yes
241 CD1 27.7.9 [alg.unique] Does unique_copy() require CopyConstructible and Assignable? Yes
538 CD1 27.7.9 [alg.unique] 241 again: Does unique_copy() require CopyConstructible and Assignable? Yes
488 CD1 27.7.11 [alg.rotate] rotate throws away useful information Yes
552 CD1 27.7.13 [alg.random.shuffle] random_shuffle and its generator Yes
713 CD1 [sort] sort() complexity is too lax Yes
270 CD1 27.8.4 [alg.binary.search] Binary search requirements overly strict Yes 472
577 CD1 [upper.bound] upper_bound(first, last, ...) cannot return last Yes
384 CD1 [equal.range] equal_range has unimplementable runtime complexity Yes
787 CD1 [binary.search] complexity of binary_search Yes
291 CD1 27.8.7 [alg.set.operations] Underspecification of set algorithms Yes
411 CD1 27.8.7 [alg.set.operations] Wrong names of set member functions Yes
281 CD1 27.8.9 [alg.min.max] std::min() and max() requirements overly restrictive Yes 486
715 CD1 27.8.9 [alg.min.max] minmax_element complexity is too lax Yes
286 CD1 27.12 [alg.c.library] <cstdlib> requirements missing size_t typedef Yes
405 CD1 27.12 [alg.c.library] qsort and POD Yes
387 CD1 28.4 [complex.numbers] std::complex over-encapsulated Yes
629 CD1 28.4.6 [complex.ops] complex<T> insertion and locale dependence Yes
595 CD1 28.4.7 [complex.value.ops] TR1/C++0x: fabs(complex<T>) redundant / wrongly specified Yes
781 CD1 28.4.7 [complex.value.ops] std::complex should add missing C99 functions Yes
844 CD1 28.4.10 [cmplx.over] complex pow return type is ambiguous Yes
507 CD1 28.5 [rand] Missing requirement for variate_generator::operator() Yes
699 CD1 28.5 [rand] N2111 changes min/max Yes
505 CD1 28.5.3 [rand.req] Result_type in random distribution requirements Yes
654 CD1 [rand.req.eng] Missing IO roundtrip for random number engines Yes
678 CD1 [rand.req.eng] Changes for [rand.req.eng] Yes
728 CD1 [rand.eng.mers] Problem in [rand.eng.mers]/6 Yes
609 CD1 [rand.adapt.ibits] missing static const Yes
508 CD1 28.5.6 [rand.predef] Bad parameters for ranlux64_base_01 Yes
607 CD1 [rand.util.seedseq] Concern about short seed vectors Yes
608 CD1 [rand.util.seedseq] Unclear seed_seq construction details Yes
677 CD1 [rand.util.seedseq] Weaknesses in seed_seq::randomize [rand.util.seedseq] Yes
712 CD1 [rand.util.seedseq] seed_seq::size no longer useful Yes
782 CD1 [rand.util.seedseq] Extended seed_seq constructor is useless Yes
655 CD1 [rand.util.canonical] Signature of generate_canonical not useful Yes
734 CD1 [rand.dist.norm.chisq] Unnecessary restriction in [rand.dist.norm.chisq] Yes
792 CD1 [rand.dist.samp.pconst] piecewise_constant_distribution is undefined for a range with just one endpoint Yes
621 CD1 28.6 [numarray] non-const copy assignment operators of helper arrays Yes
253 CD1 [valarray.cons] valarray helper functions are almost entirely useless Yes
620 CD1 [valarray.cons] valid uses of empty valarrays Yes
624 CD1 [valarray.assign] valarray assignment and arrays of unequal length Yes
389 CD1 [valarray.access] Const overload of valarray::operator[] returns by value Yes 77
618 CD1 [valarray.members] valarray::cshift() effects on empty array Yes
543 CD1 28.6.4 [class.slice] valarray slice default constructor Yes
123 CD1 [slice.arr.fill] Should valarray helper arrays fill functions be const? Yes
295 CD1 28.7 [c.math] Is abs defined in <cmath>? Yes
395 CD1 28.7 [c.math] inconsistencies in the definitions of rand() and random_shuffle() Yes
550 CD1 28.7 [c.math] What should the return type of pow(float,int) be? Yes
722 CD1 28.7 [c.math] Missing [c.math] functions nanf and nanl Yes
882 CD1 29.5.6 [time.duration.nonmember] duration non-member arithmetic requirements Yes
317 CD1 30 [localization] Instantiation vs. specialization of facets Yes
495 CD1 30 [localization] Clause 22 template parameter requirements Yes
268 CD1 30.3.1 [locale] Typo in locale synopsis Yes
360 CD1 30.3.1 [locale] locale mandates inefficient implementation Yes
327 CD1 [locale.category] Typo in time_get facet in table 52 Yes 447
340 CD1 [locale.category] interpretation of has_facet<Facet>(loc) Yes
347 CD1 [locale.category] locale::category and bitmask requirements Yes
436 CD1 [locale.facet] are cv-qualified facet types valid facets? Yes
391 CD1 [conversions.character] non-member functions specified as const Yes
228 CD1 30.4 [locale.categories] Incorrect specification of "..._byname" facets Yes
338 CD1 30.4 [locale.categories] is whitespace allowed between `-' and a digit? Yes
339 CD1 30.4.2 [category.ctype] definition of bitmask type restricted to clause 27 Yes
379 CD1 [locale.ctype.virtuals] nonsensical ctype::do_widen() requirement Yes
616 CD1 [locale.ctype.byname] missing 'typename' in ctype_byname Yes
695 CD1 [facet.ctype.special] ctype<char>::classic_table() not accessible Yes
153 CD1 [facet.ctype.char.members] Typo in narrow() semantics Yes 207
76 CD1 [locale.codecvt] Can a codecvt facet always convert one internal character at a time? Yes
664 CD1 [locale.codecvt.virtuals] do_unshift for codecvt<char, char, mbstate_t> Yes
665 CD1 [locale.codecvt.virtuals] do_unshift return value Yes
305 CD1 [locale.codecvt.byname] Default behavior of codecvt<wchar_t, char, mbstate_t>::length() Yes
380 CD1 [locale.codecvt.byname] typos in codecvt tables 53 and 54 Yes
381 CD1 [locale.codecvt.byname] detection of invalid mbstate_t in codecvt Yes
275 CD1 [facet.num.get.members] Wrong type in num_get::get() overloads Yes
23 CD1 [facet.num.get.virtuals] Num_get overflow result Yes
221 CD1 [facet.num.get.virtuals] num_get<>::do_get stage 2 processing broken Yes
321 CD1 [facet.num.get.virtuals] Typo in num_get Yes
358 CD1 [facet.num.get.virtuals] interpreting thousands_sep after a decimal_point Yes
359 CD1 [facet.num.put.members] num_put<>::do_put (..., bool) undocumented Yes
231 CD1 [facet.num.put.virtuals] Precision in iostream? Yes
282 CD1 [facet.num.put.virtuals] What types does numpunct grouping refer to? Yes
318 CD1 [locale.numpunct.byname] Misleading comment in definition of numpunct_byname Yes
248 CD1 30.4.6 [category.time] time_get fails to set eofbit Yes
461 CD1 [locale.time.get.virtuals] time_get hard or impossible to implement Yes
328 CD1 [locale.money.put.virtuals] Bad sprintf format modifier in money_put<>::do_put() Yes
325 CD1 [locale.moneypunct.virtuals] Misleading text in moneypunct<>::do_grouping Yes
666 CD1 [locale.moneypunct.virtuals] moneypunct::do_curr_symbol() Yes
44 CD1 31 [input.output] Iostreams use operator== on int_type values Yes
273 CD1 31 [input.output] Missing ios_base qualification on members of a dependent class Yes
308 CD1 31 [input.output] Table 82 mentions unrelated headers Yes
365 CD1 31 [input.output] Lack of const-qualification in clause 27 Yes
623 CD1 31.2.1 [iostream.limits.imbue] pubimbue forbidden to call imbue Yes
369 CD1 31.4 [iostream.objects] io stream objects and static ctors Yes
455 CD1 31.4 [iostream.objects] cerr::tie() and wcerr::tie() are overspecified Yes
574 CD1 31.4 [iostream.objects] DR 369 Contradicts Text Yes
331 CD1 [ios.failure] bad declaration of destructor for ios_base::failure Yes
363 CD1 [ios.failure] Missing exception specification in Yes
49 CD1 [ios.members.static] Underspecification of ios_base::sync_with_stdio Yes
441 CD1 31.5.3 [fpos] Is fpos::state const? Yes
256 CD1 [basic.ios.members] typo in, p17: copy_event does not exist Yes
292 CD1 [basic.ios.members] effects of a.copyfmt (a) Yes
272 CD1 [iostate.flags] Missing parentheses around subexpression Yes 569
412 CD1 [iostate.flags] Typo in Yes 429
468 CD1 [iostate.flags] unexpected consequences of ios_base::operator void*() Yes
364 CD1 [streambuf.virt.buffer] Inconsistent wording in Yes
567 CD1 31.7 [iostream.format] streambuf inserter and extractor should be unformatted Yes
373 CD1 [istream.formatted.reqmts] Are basic_istream and basic_ostream to use (exceptions()&badbit) != 0 ? Yes
118 CD1 [istream.formatted.arithmetic] basic_istream uses nonexistent num_get member functions Yes
661 CD1 [istream.formatted.arithmetic] New changes make special extractions useless Yes
413 CD1 [istream.extractors] Proposed resolution to LDR#64 still wrong Yes
136 CD1 [istream.unformatted] seekp, seekg setting wrong streams? Yes
243 CD1 [istream.unformatted] get and getline when sentry reports failure Yes
370 CD1 [istream.unformatted] Minor error in basic_istream::get Yes
531 CD1 [istream.unformatted] array forms of unformatted input functions Yes
537 CD1 [istream.unformatted] Typos in the signatures in and Yes
566 CD1 [istream.unformatted] array forms of unformatted input function undefined for zero-element arrays Yes
415 CD1 [istream.manip] behavior of std::ws Yes
271 CD1 [iostreamclass] basic_iostream missing typedefs Yes
165 CD1 [ostream] xsputn(), pubsync() never called by basic_ostream members? Yes
311 CD1 [ostream] Incorrect wording in basic_ostream class synopsis Yes
442 CD1 [ostream.sentry] sentry::operator bool() inconsistent signature Yes
117 CD1 [ostream.inserters.arithmetic] basic_ostream uses nonexistent num_put member functions Yes
640 CD1 [ostream.inserters.arithmetic] does not handle (unsigned) long long Yes
167 CD1 [ostream.inserters.character] Improper use of traits_type::length() Yes
474 CD1 [ostream.inserters.character] confusing Footnote 297 Yes
581 CD1 [ostream.unformatted] flush() not unformatted function Yes
333 CD1 [ostream.manip] does endl imply synchronization with the device? Yes
183 CD1 31.7.7 [std.manip] I/O stream manipulators don't work for wide character streams Yes
692 CD1 31.7.8 [ext.manip] get_money and put_money should be formatted I/O functions Yes
252 CD1 31.8 [string.streams] missing casts/C-style casts used in iostreams Yes
562 CD1 31.8 [string.streams] stringbuf ctor inefficient Yes
251 CD1 31.8.2 [stringbuf] basic_stringbuf missing allocator_type Yes
238 CD1 [stringbuf.cons] Contradictory results of stringbuf initialization. Yes
375 CD1 [stringbuf.virtuals] basic_ios should be ios_base in Yes
376 CD1 [stringbuf.virtuals] basic_streambuf semantics Yes
432 CD1 [stringbuf.virtuals] stringbuf::overflow() makes only one write position available Yes
453 CD1 [stringbuf.virtuals] basic_stringbuf::seekoff need not always fail for an empty stream Yes
563 CD1 [stringbuf.virtuals] stringbuf seeking from end Yes
420 CD1 31.10 [file.streams] is std::FILE a complete type? Yes
444 CD1 31.10 [file.streams] Bad use of casts in fstream Yes
460 CD1 31.10 [file.streams] Default modes missing from basic_fstream member specifications Yes
643 CD1 31.10.3 [filebuf] Impossible "as if" clauses Yes
443 CD1 [filebuf.members] filebuf::close() inconsistent use of EOF Yes
596 CD1 [filebuf.members] Table 112 omits "a+" and "a+b" modes Yes
171 CD1 [filebuf.virtuals] Strange seekpos() semantics due to joint position Yes
285 CD1 [ifstream.cons] minor editorial errors in fstream ctors Yes
409 CD1 [ifstream.members] Closing an fstream should clear error state Yes
622 CD1 [fstream.members] behavior of filebuf dtor and close on error Yes
524 CD1 32 [re] regex named character classes and case-insensitivity don't mix Yes
628 CD1 32.7 [re.regex] Inconsistent definition of basic_regex constructor Yes
682 CD1 32.7.2 [re.regex.construct] basic_regex ctor takes InputIterator or ForwardIterator? Yes
681 CD1 32.8.3 [re.submatch.op] Operator functions impossible to compare are defined in [re.submatch.op] Yes
646 CD1 32.9.6 [re.results.form] const incorrect match_result members Yes
652 CD1 32.11.1 [re.regiter] regex_iterator and const correctness Yes
650 CD1 32.11.2 [re.tokiter] regex_token_iterator and const correctness Yes
651 CD1 [re.tokiter.cnstr] Missing preconditions for regex_token_iterator c'tors Yes
783 CD1 [thread.thread.id] thread::id reuse Yes
818 CD1 33.5.4 [atomics.order] wording for memory ordering Yes
768 CD1 33.5.8 [atomics.types.generic] Typos in [atomics]? Yes
845 CD1 33.5.8 [atomics.types.generic] atomics cannot support aggregate initialization Yes
777 CD1 [atomics.types.operations] Atomics Library Issue Yes
846 CD1 [atomics.types.operations] No definition for constructor Yes
109 CD1 99 [depr.lib.binders] Missing binders for non-const sequence elements Yes
362 CD1 99 [depr.lib.binders] bind1st/bind2nd type safety Yes
798 CD1 99 [depr.lib.binders] Refactoring of binders lead to interface breakage Yes
425 CD1 99 [depr.temporary.buffer] return value of std::get_temporary_buffer Yes
843 CD1 99 [func.referenceclosure.cons] Reference Closure Yes
789 CD1 99 [rand.adapt.xor] xor_combine_engine(result_type) should be explicit Yes
858 CD1 99 [util.dynamic.safety] Wording for Minimal Support for Garbage Collection Yes

TC1 (125 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
222 TC1 [structure.specifications] Are throw clauses necessary if a throw is already implied by the effects clause? Yes
1 TC1 [using.linkage] C library linkage editing oversight Yes
199 TC1 [allocator.requirements] What does allocate(0) return? Yes
147 TC1 [global.functions] Library Intro refers to global functions that aren't global Yes
119 TC1 [res.on.exception.handling] Should virtual functions be allowed to strengthen the exception specification? Yes
3 TC1 17.5 [support.start.term] Atexit registration during atexit() call is not described Yes
9 TC1 17.6.3 [new.delete] Operator new(0) calls should not yield the same pointer Yes
114 TC1 [new.delete.placement] Placement forms example in error twice Yes 196
108 TC1 17.7.3 [type.info] Lifetime of exception::what() return unspecified Yes
70 TC1 17.9 [support.exception] Uncaught_exception() missing throw() specification Yes
181 TC1 22.3 [pairs] make_pair() unintended behavior Yes
11 TC1 22.9.2 [template.bitset] Bitset minor problems Yes
7 TC1 23 [strings] String clause minor problems Yes
57 TC1 [char.traits.specializations.wchar.t] Mistake in char_traits Yes
42 TC1 23.4.3 [basic.string] String ctors specify wrong default allocator Yes
83 TC1 23.4.3 [basic.string] String::npos vs. string::max_size() Yes 89
209 TC1 23.4.3 [basic.string] basic_string declarations inconsistent Yes
86 TC1 [string.require] String constructors don't describe exceptions Yes
141 TC1 [string.insert] basic_string::find_last_of, find_last_not_of say pos instead of xpos Yes
27 TC1 [string.erase] String::erase(range) yields wrong iterator Yes
5 TC1 [string.swap] String::compare specification questionable Yes 87
25 TC1 [string.io] String operator<< uses width() value wrong Yes 67
90 TC1 [string.io] Incorrect description of operator >> for strings Yes
211 TC1 [string.io] operator>>(istream&, string&) doesn't set failbit Yes
51 TC1 24.2 [container.requirements] Requirement to not invalidate iterators missing Yes
139 TC1 24.2.4 [sequence.reqmts] Optional sequence operation table description unclear Yes
151 TC1 24.2.4 [sequence.reqmts] Can't currently clear() empty container Yes
224 TC1 24.2.7 [associative.reqmts] clear() complexity for associative containers refers to undefined N Yes
144 TC1 [deque.cons] Deque constructor complexity wrong Yes
132 TC1 [list.capacity] list::resize description uses random access iterators Yes
69 TC1 24.3.11 [vector] Must elements of a vector be contiguous? Yes
134 TC1 [vector.cons] vector constructors over specified Yes
133 TC1 24.4.4 [map] map missing get_allocator() Yes
208 TC1 25.3.4 [iterator.concepts] Unnecessary restriction on past-the-end iterators Yes
110 TC1 25.6.4 [istreambuf.iterator] istreambuf_iterator::equal not const Yes
39 TC1 [istreambuf.iterator.ops] istreambuf_iterator<>::operator++(int) definition garbled Yes
112 TC1 [ostreambuf.iter.cons] Minor typo in ostreambuf_iterator constructor Yes
210 TC1 27 [algorithms] distance first and last confused Yes
150 TC1 27.6.9 [alg.find.first.of] Find_first_of says integer instead of iterator Yes
227 TC1 27.7.3 [alg.swap] std::swap() should require CopyConstructible or DefaultConstructible arguments Yes
223 TC1 27.7.10 [alg.reverse] reverse algorithm should use iter_swap rather than swap Yes
193 TC1 27.8.8 [alg.heap.operations] Heap operations description incorrect Yes 216
212 TC1 27.8.9 [alg.min.max] Empty range behavior unclear for several algorithms Yes
142 TC1 27.8.11 [alg.lex.comparison] lexicographical_compare complexity wrong Yes
79 TC1 28.4.2 [complex.syn] Inconsistent declaration of polar() Yes
80 TC1 28.4.2 [complex.syn] Global Operators of complex declared twice Yes
146 TC1 28.4.6 [complex.ops] complex<T> Inserter and Extractor need sentries Yes
125 TC1 28.6.2 [template.valarray] valarray<T>::operator!() return type is inconsistent Yes
106 TC1 28.6.5 [template.slice.array] Numeric library private members are implementation defined Yes
31 TC1 30.3.1 [locale] Immutable locale values Yes 378
37 TC1 30.3.1 [locale] Leftover "global" reference Yes
137 TC1 30.3.1 [locale] Do use_facet and has_facet look in the global locale? Yes
21 TC1 [locale.category] Codecvt_byname<> instantiations Yes
30 TC1 [locale.category] Wrong header for LC_* Yes
14 TC1 [locale.members] Locale::combine should be const Yes
15 TC1 [locale.members] Locale::name requirement inconsistent Yes
8 TC1 [locale.statics] Locale::global lacks guarantee Yes
38 TC1 30.3.2 [locale.global.templates] Facet definition incomplete Yes
126 TC1 [locale.ctype.virtuals] typos in Effects clause of ctype::do_narrow() Yes
152 TC1 [locale.ctype.virtuals] Typo in scan_is() semantics Yes
124 TC1 [locale.ctype.byname] ctype_byname<charT>::do_scan_is & do_scan_not return type should be const charT* Yes
28 TC1 [facet.ctype.char.members] Ctype<char>is ambiguous Yes 236
75 TC1 [locale.codecvt] Contradiction in codecvt::length's argument types Yes
16 TC1 [locale.codecvt] Bad ctype_byname<char> decl Yes
19 TC1 [locale.codecvt] "Noconv" definition too vague Yes 10
24 TC1 [locale.codecvt] "do_convert" doesn't exist Yes 72
33 TC1 [locale.codecvt] Codecvt<> mentions from_type Yes 43
74 TC1 [locale.codecvt] Garbled text for codecvt::do_max_length Yes
18 TC1 [facet.num.get.members] Get(...bool&) omitted Yes
17 TC1 [facet.num.get.virtuals] Bad bool parsing Yes
154 TC1 [facet.num.get.virtuals] Missing double specifier for do_get() Yes
34 TC1 [facet.num.put.virtuals] True/falsename() not in ctype<> Yes
20 TC1 [facet.numpunct.virtuals] Thousands_sep returns wrong type Yes
71 TC1 [locale.time.get] Do_get_monthname synopsis missing argument Yes
164 TC1 [locale.time.put.virtuals] do_put() has apparently unused fill argument Yes
55 TC1 31 [input.output] Invalid stream position is undefined Yes
155 TC1 31.4 [iostream.objects] Typo in naming the class defining the class Init Yes
29 TC1 31.4.3 [narrow.stream.objects] Ios_base::init doesn't exist Yes
35 TC1 31.5 [iostreams.base] No manipulator unitbuf in synopsis Yes
41 TC1 31.5.2 [ios.base] Ios_base needs clear(), exceptions() Yes 157
50 TC1 31.5.2 [ios.base] Copy constructor and assignment operator of ios_base Yes
78 TC1 31.5.2 [ios.base] Typo: event_call_back Yes
48 TC1 [ios.failure] Use of non-existent exception constructor Yes
189 TC1 [fmtflags.state] setprecision() not specified correctly Yes
47 TC1 [ios.base.locales] Imbue() and getloc() Returns clauses swapped Yes
156 TC1 [ios.base.locales] Typo in imbue() description Yes
36 TC1 [ios.base.storage] Iword & pword storage lifetime omitted Yes
220 TC1 [ios.base.cons] ~ios_base() usage valid? Yes
52 TC1 [fpos.operations] Small I/O problems Yes
53 TC1 [basic.ios.cons] Basic_ios destructor unspecified Yes
56 TC1 31.6.3 [streambuf] Showmanyc's return type Yes
122 TC1 31.6.3 [streambuf] streambuf/wstreambuf description should not say they are specializations Yes
54 TC1 [streambuf.cons] Basic_streambuf's destructor Yes
59 TC1 [streambuf.get.area] Ambiguity in specification of gbump Yes
158 TC1 [streambuf.virt.buffer] Underspecified semantics for setbuf() Yes
159 TC1 [streambuf.virt.get] Strange use of underflow() Yes
32 TC1 [streambuf.virt.pback] Pbackfail description inconsistent Yes
160 TC1 [istream] Typo: Use of non-existing function exception() Yes
26 TC1 [istream.sentry] Bad sentry example Yes
195 TC1 [istream.sentry] Should basic_istream::sentry's constructor ever set eofbit? Yes
60 TC1 [istream.formatted.reqmts] What is a formatted input function? Yes 162, 163, 166
161 TC1 [istream.formatted.arithmetic] Typo: istream_iterator vs. istreambuf_iterator Yes
13 TC1 [istream.extractors] Eos refuses to die Yes
64 TC1 [istream.extractors] Exception handling in basic_istream::operator>>(basic_streambuf*) Yes
68 TC1 [istream.extractors] Extractors for char* should store null at end Yes
61 TC1 [istream.unformatted] Ambiguity in iostreams exception policy Yes
62 TC1 [istream.unformatted] Sync's return value Yes
129 TC1 [istream.unformatted] Need error indication from seekp() and seekg() Yes
172 TC1 [istream.unformatted] Inconsistent types for basic_istream::ignore() Yes
63 TC1 [ostream.unformatted] Exception-handling policy for unformatted output Yes
168 TC1 [ostream.unformatted] Typo: formatted vs. unformatted Yes
169 TC1 [stringbuf.virtuals] Bad efficiency of overflow() mandated Yes
170 TC1 31.8.5 [stringstream] Inconsistent definition of traits_type Yes
173 TC1 [filebuf.virtuals] Inconsistent types for basic_filebuf::setbuf() Yes
22 TC1 [ifstream.members] Member open vs. flags Yes
127 TC1 99 [auto.ptr] auto_ptr<> conversion issues Yes
174 TC1 99 [depr.ios.members] Typo: OFF_T vs. POS_T Yes
175 TC1 99 [depr.ios.members] Ambiguity for basic_streambuf::pubseekpos() and a few other functions. Yes
176 TC1 99 [depr.ios.members] exceptions() in ios_base...? Yes
40 TC1 99 [facets.examples] Meaningless normative paragraph in examples Yes
148 TC1 99 [facets.examples] Functions in the example facet BoolNames should be const Yes
217 TC1 99 [facets.examples] Facets example (Classifying Japanese characters) contains errors Yes
46 TC1 D.13 [depr.str.strstreams] Minor Annex D errors Yes
66 TC1 D.13.2.4 [depr.strstreambuf.virtuals] Strstreambuf::setbuf Yes
115 TC1 D.13.5.2 [depr.strstream.cons] Typo in strstream constructors Yes

Resolved (388 issues)

Issue Status Section Title Proposed Resolution Priority Duplicates
2075 Resolved 6.9.2 [intro.multithread] Progress guarantees, lock-free property, and scheduling assumptions Yes
2925 Resolved 16 [library] Template argument deduction is not used in the standard library Yes
343 Resolved 16 [library] Unspecified library header dependencies Yes
625 Resolved 16 [library] Mixed up Effects and Returns clauses Yes 895
1151 Resolved 16 [library] Behavior of the library in the presence of threads is incompletely specified Yes
1344 Resolved 16 [library] Replace throw() with noexcept Yes 1351
1345 Resolved 16 [library] Library classes should have noexcept move operations Yes
1346 Resolved 16 [library] Apply noexcept where library specification does not permit exceptions Yes 1352
1347 Resolved 16 [library] Apply noexcept judiciously throughout the library Yes
1353 Resolved 16 [library] Clarify the state of a moved-from object Yes
3168 Resolved [structure.specifications] Expects: element should be specified in one place Yes 2
2292 Resolved [structure.specifications] Find a better phrasing for "shall not participate in overload resolution" Yes 3
2999 Resolved [expos.only.entity] §[thread.decaycopy] issue Yes 3
1357 Resolved [bitmask.types] Library bitmask types to not satisfy the bimask type requirements Yes
3510 Resolved [customization.point.object] Customization point objects should be invocable as non-const too Yes 3
3815 Resolved [freestanding.item] Freestanding enumerators specification is lacking Yes
594 Resolved [utility.arg.requirements] Disadvantages of defining Swappable in terms of CopyConstructible and Assignable Yes
742 Resolved [utility.arg.requirements] Enabling swap for proxy iterators Yes
1283 Resolved [utility.arg.requirements] MoveConstructible and MoveAssignable need clarification of moved-from state Yes
1322 Resolved [utility.arg.requirements] Explicit CopyConstructible requirements are insufficient Yes
2114 Resolved [nullablepointer.requirements] Incorrect "contextually convertible to bool" requirements Yes 3
2108 Resolved [allocator.requirements] No way to identify allocator types that always compare equal Yes 3
431 Resolved [allocator.requirements] Swapping containers with unequal allocators Yes
635 Resolved [allocator.requirements] domain of allocator::address Yes
3442 Resolved [namespace.std] Unsatisfiable suggested implementation of customization points Yes 1
1526 Resolved [res.on.data.races] C++ should not impose thread safety requirements on C99 library implementations Yes 3
2867 Resolved [res.on.exception.handling] Bad footnote about explicit exception-specification Yes
2368 Resolved 17.6.3 [new.delete] Replacing global operator new Yes 2
1366 Resolved [new.delete.dataraces] New-handler and data races Yes
1365 Resolved 17.6.4 [alloc.errors] Thread-safety of handler functions Yes
2821 Resolved 17.6.5 [ptr.launder] std::launder() should be marked as [[nodiscard]] Yes 3
1135 Resolved 17.9.7 [propagation] exception_ptr should support contextual conversion to bool Yes
1307 Resolved 17.9.7 [propagation] exception_ptr and allocator pointers don't understand != Yes
1364 Resolved 17.9.7 [propagation] It is not clear how exception_ptr is synchronized Yes
3295 Resolved 17.11.2 [cmp.categories] Comparison category operator== are mis-specified Yes 1
3239 Resolved [cmp.partialord] Hidden friends should be specified more narrowly Yes
3469 Resolved [coroutine.handle.promise] Precondition of coroutine_handle::promise may be insufficient Yes 2
2155 Resolved 17.13 [support.runtime] Macro __bool_true_false_are_defined should be removed Yes 4
2241 Resolved 17.13 [support.runtime] <cstdalign> and #define of alignof Yes 2
2879 Resolved 17.13.4 [csignal.syn] Removing C dependencies from signal handler wording Yes
3151 Resolved 18.4.4 [concept.convertible] ConvertibleTo rejects conversions from array and function types Yes 3
3345 Resolved 18.4.9 [concept.swappable] Incorrect usages of "models" versus "satisfies" Yes 2
697 Resolved 19.5 [syserr] New <system_error> header leads to name clashes Yes
825 Resolved [syserr.errcode.overview] Missing rvalues reference stream insert/extract operators? Yes
1229 Resolved [syserr.errcode.modifiers] error_code operator= typo Yes
3514 Resolved 19.6.2 [stacktrace.syn] stacktrace should add type alias pmr::stacktrace Yes 3
2089 Resolved [allocator.members] std::allocator::construct should use uniform initialization Yes 2
834 Resolved [unique.ptr.single] unique_ptr::pointer requirements underspecified Yes
983 Resolved [unique.ptr.single] unique_ptr reference deleters should not be moved from Yes
932 Resolved [unique.ptr.single.ctor] unique_ptr(pointer p) for pointer deleter types Yes
950 Resolved [unique.ptr.single.ctor] unique_ptr converting ctor shouldn't accept array form Yes
1100 Resolved [unique.ptr.single.ctor] auto_ptr to unique_ptr conversion Yes
2228 Resolved [unique.ptr.single.asgn] Missing SFINAE rule in unique_ptr templated assignment Yes 3
2118 Resolved [unique.ptr.runtime] [CD] unique_ptr for array does not support cv qualification conversion of actual argument Yes 1
1293 Resolved [unique.ptr.runtime] unique_ptr<T[], D> needs to get rid of unspecified-pointer-type Yes
1297 Resolved [unique.ptr.special] unique_ptr's relational operator functions should induce a total order Yes
2810 Resolved [util.smartptr.shared] use_count and unique in shared_ptr Yes
2864 Resolved [util.smartptr.shared] Merge shared_ptr changes from Library Fundamentals to C++17 Yes
827 Resolved [util.smartptr.shared.const] constexpr shared_ptr::shared_ptr()? Yes
1407 Resolved [util.smartptr.shared.const] Synch shared_ptr constructors taking movable types Yes
884 Resolved [util.smartptr.shared.mod] shared_ptr swap Yes
2776 Resolved [util.smartptr.shared.obs] shared_ptr unique() and use_count() Yes 2
2070 Resolved [util.smartptr.shared.create] allocate_shared should use allocator_traits<A>::construct Yes 2
2877 Resolved [util.smartptr.shared.cast] Strengthen meaning of "empty shared_ptr<T>" in dynamic_pointer_cast Yes
2529 Resolved [util.smartptr.enab] Assigning to enable_shared_from_this::__weak_this twice Yes 3
2179 Resolved [util.smartptr.enab] enable_shared_from_this and construction from raw pointers Yes 3
3113 Resolved [mem.poly.allocator.mem] polymorphic_allocator::construct() should more closely match scoped_allocator_adaptor::construct() Yes 3
1405 Resolved 20.5 [allocator.adaptor] Move scoped_allocator_adaptor into separate header Yes
2511 Resolved 20.5.4 [allocator.adaptor.members] scoped_allocator_adaptor piecewise construction does not require CopyConstructible Yes 3
1321 Resolved 20.5.4 [allocator.adaptor.members] scoped_allocator_adaptor construct and destroy don't use allocator_traits Yes
2040 Resolved 21 [meta] Missing type traits related to is_convertible Yes
719 Resolved 21 [meta] std::is_literal type traits should be provided Yes 750
1390 Resolved 21 [meta] Limit speculative compilation for constructible/convertible traits Yes
1391 Resolved 21 [meta] constructible/convertible traits and access control Yes
2928 Resolved 21.3.3 [meta.type.synop] is_callable is not a good name Yes
2797 Resolved 21.3.3 [meta.type.synop] Trait precondition violations Yes 2
2927 Resolved 21.3.3 [meta.type.synop] Encoding a functor and argument types as a function signature for is_callable and result_of is fragile Yes
525 Resolved 21.3.5 [meta.unary] type traits definitions not clear Yes
1392 Resolved 21.3.5 [meta.unary] result_of should support pointer-to-data-member Yes
1174 Resolved [meta.unary.prop] Type property predicates Yes
1260 Resolved [meta.unary.prop] is_constructible<int*,void*> reports true Yes
1393 Resolved [meta.unary.prop] Trivial traits imply noexcept Yes
1394 Resolved [meta.unary.prop] is_constructible reports false positives Yes
2895 Resolved 21.3.7 [meta.rel] Passing function types to result_of and is_callable Yes
3022 Resolved 21.3.7 [meta.rel] is_convertible<derived*, base*> may lead to ODR Yes 2
2465 Resolved [meta.trans.other] SFINAE-friendly common_type is nearly impossible to specialize correctly and regresses key functionality Yes 2
2763 Resolved [meta.trans.other] common_type_t<void, void> is undefined Yes 2
1055 Resolved [meta.trans.other] Provide a trait that returns the underlying type of an enumeration type Yes
2397 Resolved [meta.trans.other] map<K, V>::emplace and explicit V constructors Yes 1
1122 Resolved 21.4.3 [ratio.ratio] Ratio values should be constexpr Yes
1281 Resolved 21.4.3 [ratio.ratio] CopyConstruction and Assignment between ratios having the same normalized form Yes
1389 Resolved 21.4.4 [ratio.arithmetic] Compile-time rational arithmetic and overflow Yes
2888 Resolved 22 [utilities] Variables of library tag types need to be inline variables Yes
2889 Resolved 22 [utilities] Mark constexpr global variables as inline Yes
1075 Resolved 22 [utilities] Scoped allocators are too complex Yes
2955 Resolved 22.2 [utility] to_chars / from_chars depend on std::string Yes
2456 Resolved 22.2 [utility] Incorrect exception specifications for 'swap' throughout library Yes 1
1377 Resolved 22.2 [utility] The revised forward is not compatible with access-control Yes
2554 Resolved 22.2.2 [utility.swap] Swapping multidimensional arrays is never noexcept Yes 2
2800 Resolved 22.2.2 [utility.swap] constexpr swap Yes 3
823 Resolved 22.2.4 [forward] identity<void> seems broken Yes
1054 Resolved 22.2.4 [forward] forward broken Yes
353 Resolved 22.3 [pairs] std::pair missing template assignment Yes
482 Resolved 22.3 [pairs] Swapping pairs Yes
1378 Resolved 22.3 [pairs] pair and tuple have too many conversions Yes
1380 Resolved 22.3 [pairs] pair and tuple of references need to better specify move-semantics Yes
1382 Resolved 22.3 [pairs] pair and tuple constructors should forward arguments Yes
1383 Resolved 22.3 [pairs] Inconsistent defaulted move/copy members in pair and tuple Yes
1324 Resolved 22.3.2 [pairs.pair] Still too many implicit conversions for pair and tuple Yes
1326 Resolved 22.3.2 [pairs.pair] Missing/wrong preconditions for pair and tuple functions Yes
1379 Resolved 22.3.2 [pairs.pair] pair copy-assignment not consistent for references Yes
801 Resolved 22.4 [tuple] tuple and pair trivial members Yes
1116 Resolved 22.4.4 [tuple.tuple] Literal constructors for tuple Yes
2051 Resolved 22.4.4 [tuple.tuple] Explicit tuple constructors for more than one parameter Yes 2
3155 Resolved [tuple.cnstr] tuple<any, any>{allocator_arg_t, an_allocator} Yes 3
2419 Resolved [tuple.cnstr] Clang's libc++ extension to std::tuple Yes
1117 Resolved [tuple.cnstr] tuple copy constructor Yes
1201 Resolved 22.4.5 [tuple.creation] Do we always want to unwrap ref-wrappers in make_tuple Yes
2862 Resolved 22.5 [optional] LWG 2756 should be accepted Yes
2825 Resolved 22.5.3 [optional.optional] LWG 2756 breaks class template argument deduction for optional Yes 2
2753 Resolved [optional.ctor] Optional's constructors and assignments need constraints Yes 0
2805 Resolved 22.6 [variant] void and reference type alternatives in variant, variant<> and index() Yes
3228 Resolved [variant.ctor] Surprising variant construction Yes 2
2882 Resolved [variant.ctor] Clarify variant construction Yes
3052 Resolved 22.6.7 [variant.visit] visit is underconstrained Yes 2
2809 Resolved 22.6.12 [variant.hash] variant hash requirements Yes
2754 Resolved [any.cons] The in_place constructors and emplace functions added by P0032R3 don't require CopyConstructible Yes 1
1290 Resolved 22.10 [function.objects] Don't require [u|bi]nary_function inheritance Yes
658 Resolved 22.10 [function.objects] Two unspecified function comparators in [function.objects] Yes
1397 Resolved 22.10 [function.objects] Deprecate '98 binders Yes
2926 Resolved 22.10.4 [func.require] INVOKE(f, t1, t2,... tN) and INVOKE(f, t1, t2,... tN, R) are too similar Yes
2690 Resolved 22.10.5 [func.invoke] invoke<R> Yes
2894 Resolved 22.10.5 [func.invoke] The function template std::apply() is required to be constexpr, but std::invoke() isn't Yes 3
2957 Resolved [func.bind.bind] bind's specification doesn't apply the cv-qualification of the call wrapper to the callable object Yes 3
816 Resolved [func.bind.bind] Should bind()'s returned functor have a nofail copy ctor when bind() is nofail? Yes
3023 Resolved 22.10.16 [func.memfn] Clarify unspecified call wrappers Yes 3
2370 Resolved [func.wrap.func] Operations involving type-erased allocators should not be noexcept in std::function Yes 3
2501 Resolved [func.wrap.func] std::function requires POCMA/POCCA Yes 3
2502 Resolved [func.wrap.func] std::function does not use allocator::construct Yes 3
2813 Resolved [func.wrap.func.con] std::function should not return dangling references Yes 2
1258 Resolved [func.wrap.func.mod] std::function Effects clause impossible to satisfy Yes
815 Resolved [func.wrap.func.inv] std::function and reference_closure do not use perfect forwarding Yes
2803 Resolved 22.10.19 [unord.hash] hash for arithmetic, pointer and standard library types should not throw Yes 3
2817 Resolved 22.10.19 [unord.hash] std::hash for nullptr_t Yes
2543 Resolved 22.10.19 [unord.hash] LWG 2148 (hash support for enum types) seems under-specified Yes 2
3412 Resolved [format.string.std] §[format.string.std] references to "Unicode encoding" unclear Yes 3
3576 Resolved [format.string.std] Clarifying fill character in std::format Yes 2
3639 Resolved [format.string.std] Handling of fill character width is underspecified in std::format Yes 3
3780 Resolved [format.string.std] format's width estimation is too approximate and not forward compatible Yes 3
3336 Resolved 22.14.5 [format.functions] How does std::vformat handle exception thrown by formatters? Yes 2
3718 Resolved [format.arg] P2418R2 broke the overload resolution for std::basic_format_arg Yes 2
2841 Resolved 23 [strings] Use of "Equivalent to" in [strings] Yes 3
2232 Resolved 23.2.4 [char.traits.specializations] [CD] The char_traits specializations should declare their length(), compare(), and find() members constexpr Yes
2780 Resolved 23.3 [string.view] basic_string_view::copy is missing constexpr Yes 2
2938 Resolved 23.3.3 [string.view.template] basic_string_view::const_iterator should be literal types Yes 2
2791 Resolved 23.3.6 [string.view.hash] string_view objects and strings should yield the same hash values Yes
2836 Resolved 23.4.3 [basic.string] More string operations should be noexcept Yes 2
2318 Resolved 23.4.3 [basic.string] basic_string's wording has confusing relics from the copy-on-write era Yes 4
2391 Resolved 23.4.3 [basic.string] basic_string is missing non-const data() Yes 3
2151 Resolved [string.require] basic_string<>::swap semantics ignore allocators Yes 3
3111 Resolved [string.cons] Too strong precondition on basic_string constructor Yes 2
2968 Resolved [string.capacity] Inconsistencies between basic_string reserve and vector/unordered_map/unordered_set reserve functions Yes 3
2929 Resolved [string.assign] basic_string misuses "Effects: Equivalent to" Yes 3
2757 Resolved [string.insert] std::string{}.insert(3, "ABCDE", 0, 1) is ambiguous Yes 1
2913 Resolved 24 [containers] Containers need deduction guides Yes
767 Resolved 24 [containers] Forwarding and backward compatibility Yes
985 Resolved 24.2.2 [container.requirements.general] Allowing throwing move Yes
1329 Resolved 24.2.3 [container.requirements.dataraces] Data races on vector<bool> Yes
1041 Resolved 24.2.7 [associative.reqmts] Add associative/unordered container functions that allow to extract elements Yes
2830 Resolved 24.2.7 [associative.reqmts] insert_return_type is only defined for containers with unique keys Yes
2052 Resolved 24.2.7 [associative.reqmts] Mixup between mapped_type and value_type for associative containers Yes 2
2831 Resolved 24.2.8 [unord.req] Equality can be defined when Hash function objects have different behaviour Yes
3176 Resolved 24.2.8 [unord.req] Underspecified behavior of unordered containers when Container::key_equal differs from Pred Yes 2
2914 Resolved 24.3.2 [array.syn] std::array does not support class-template deduction from initializers Yes
2443 Resolved 24.3.7 [array] std::array member functions should be constexpr Yes
2897 Resolved [array.overview] array::iterator and array::const_iterator should be literal types Yes 2
897 Resolved [forward.list.modifiers] Forward_list issues... Part 2 Yes
2066 Resolved [vector.capacity] Missing specification of vector::resize(size_type) Yes
839 Resolved 24.4 [associative] Maps and sets missing splice operation Yes
2012 Resolved 24.4 [associative] Associative maps should insert pair, not tuple Yes
2274 Resolved [map.access] Does map::operator[] value-initialize or default-insert a missing element? Yes 3
1248 Resolved 24.5 [unord] Equality comparison for unordered containers Yes
2915 Resolved 24.6 [container.adaptors] The three container adapters should each have a deduction guide Yes
756 Resolved 24.6 [container.adaptors] Container adaptors push Yes
1421 Resolved 24.6 [container.adaptors] Accidental move-only library types due to new core language rules Yes 1350
1196 Resolved [priqueue.cons] move semantics undefined for priority_queue Yes
976 Resolved [stack.defn] Class template std::stack should be movable Yes
3861 Resolved [mdspan.layout.stride] mdspan layout_stride::mapping default constructor problem Yes 1
1185 Resolved 25.3 [iterator.requirements] Iterator categories and output iterators Yes
1210 Resolved 25.3 [iterator.requirements] Iterator reachability should not require a container Yes
1212 Resolved 25.3 [iterator.requirements] result of post-increment/decrement operator Yes
2375 Resolved 25.3.1 [iterator.requirements.general] Is [iterator.requirements.general]/9 too broadly applied? Yes 3
3110 Resolved 25.3.1 [iterator.requirements.general] Contiguous Iterators should always be Random-Access Yes 3
3283 Resolved [iterator.traits] Types satisfying input_iterator but not equality_comparable look like C++17 output iterators Yes 2
3289 Resolved [iterator.traits] Cannot opt out of C++17 iterator-ness without also opting out of C++20 iterator-ness Yes 2
2951 Resolved [iterator.traits] iterator_traits should SFINAE for void* and function pointers Yes 3
3279 Resolved [iterator.concept.readable] shared_ptr<int>& does not not satisfy readable Yes 1
3366 Resolved [iterator.concept.winc] Narrowing conversions between integer and integer-class types Yes 3
3376 Resolved [iterator.concept.winc] "integer-like class type" is too restrictive Yes 3
3575 Resolved [iterator.concept.winc] <=> for integer-class types isn't consistently specified Yes 3
485 Resolved [output.iterators] output iterator insufficiently constrained Yes
1311 Resolved [forward.iterators] multi-pass property of Forward Iterator underspecified Yes
3859 Resolved [projected] std::projected cannot handle proxy iterator Yes 3
940 Resolved 25.4.3 [iterator.operations] std::distance Yes
2208 Resolved 25.5.1 [reverse.iterators] std::reverse_iterator should be a literal type Yes 3
1052 Resolved [reverse.iter.elem] reverse_iterator::operator-> should also support smart pointers Yes 2775
1211 Resolved [move.iterator] Move iterators should be restricted as input iterators Yes
3408 Resolved [counted.iterator] LWG 3291 reveals deficiencies in counted_iterator Yes 2
1129 Resolved [istream.iterator.cons] istream(buf)_iterator should support literal sentinel value Yes
3258 Resolved 26.3.2 [range.access.begin] Range access and initializer_list Yes 3
3368 Resolved 26.3.10 [range.prim.size] Exactly when does size return end - begin? Yes 0
3452 Resolved 26.4.4 [range.view] Are views really supposed to have strict 𝒪(1) destruction? Yes 2
3787 Resolved [range.utility.conv.to] ranges::to's template parameter C should not be a reference type Yes 3
3524 Resolved 26.7 [range.adaptors] Unimplementable narrowing and evaluation order requirements for range adaptors Yes 3
3509 Resolved 26.7.2 [range.adaptor.object] Range adaptor objects are underspecified Yes 2
3479 Resolved 26.7.3 [range.move.wrap] semiregular-box mishandles self-assignment Yes 3
3700 Resolved [range.join.view] The const begin of the join_view family does not require InnerRng to be a range Yes 3
3322 Resolved [range.join.view] Add join_view::base() member function Yes 0
3278 Resolved [range.join.view] join_view<V>::iterator<true> tries to write through const join_view ptr Yes 2
3791 Resolved [range.join.iterator] join_view::iterator::operator-- may be ill-formed Yes 3
3478 Resolved 26.7.17 [range.split] views::split drops trailing empty range Yes 2
2917 Resolved 27 [algorithms] Parallel algorithms cannot easily work with InputIterators Yes
2880 Resolved 27.3.3 [algorithms.parallel.exec] Relax complexity specifications for non-sequenced policies Yes
3213 Resolved 27.6.5 [alg.foreach] for_each_n and copy_n missing requirements for Size Yes 3
1093 Resolved 27.7.13 [alg.random.shuffle] Multiple definitions for random_shuffle algorithm Yes
2741 Resolved 27.8.5 [alg.partitions] is_partitioned requirements need updating Yes 3
3115 Resolved [includes] Unclear description for algorithm includes Yes 3
3061 Resolved 27.8.12 [alg.three.way] What is the return type of compare_3way? Yes 2
2055 Resolved 27.10 [numeric.ops] std::move in std::accumulate and other algorithms Yes 3
2924 Resolved 27.10 [numeric.ops] An ExecutionPolicy overload for inner_product() seems impractical Yes
2918 Resolved 27.10.5 [inner.product] Possible need for extra storage in inner_product Yes
2919 Resolved 27.10.12 [adjacent.difference] The specification for adjacent_difference has baked-in sequential semantics Yes
3156 Resolved 27.11 [specialized.algorithms] ForwardIterator should only mean forward iterator Yes 3
2693 Resolved 28.4 [complex.numbers] constexpr for various std::complex arithmetic and value operators Yes 3
2154 Resolved [rand.req.urng] What exactly does compile-time complexity imply? Yes 4
800 Resolved [rand.util.seedseq] Issues in [rand.util.seedseq](6) Yes
803 Resolved [rand.util.seedseq] Simplification of seed_seq::seq_seq Yes
793 Resolved [rand.dist.samp.discrete] discrete_distribution missing constructor Yes
874 Resolved [rand.dist.samp.discrete] Missing initializer_list constructor for discrete_distribution Yes
794 Resolved [rand.dist.samp.pconst] piecewise_constant_distribution missing constructor Yes
875 Resolved [rand.dist.samp.pconst] Missing initializer_list constructor for piecewise_constant_distribution Yes
2294 Resolved 28.7 [c.math] <cstdlib> should declare abs(double) Yes 2
1327 Resolved 28.7 [c.math] templates defined in <cmath> replacing C macros with the same name Yes
3223 Resolved 28.7.1 [cmath.syn] lerp should not add the "sufficient additional overloads" Yes 2
3234 Resolved 28.7.1 [cmath.syn] Sufficient Additional Special Math Overloads Yes 3
786 Resolved 29 [time] Thread library timed waits, UTC and monotonic clocks Yes
953 Resolved 29.3 [time.clock.req] Various threading bugs #3 Yes
2912 Resolved 29.5 [time.duration] Add a deduction guide for class template duration Yes
947 Resolved 29.5.6 [time.duration.nonmember] duration arithmetic: contradictory requirements Yes
3125 Resolved 29.5.11 [time.duration.io] duration streaming precondition should be a SFINAE condition Yes 2
2054 Resolved 29.6 [time.point] time_point constructors need to be constexpr Yes
2057 Resolved 29.6.6 [time.point.nonmember] time_point + duration semantics should be made constexpr conforming Yes
3091 Resolved 29.9 [time.hms] subsecond-precision time_of_day and durations that seconds cannot convert to Yes 2
3565 Resolved 29.12 [time.format] Handling of encodings in localized formatting of chrono types is underspecified Yes 2
3547 Resolved 29.12 [time.format] Time formatters should not be locale sensitive by default Yes 2
3673 Resolved [locale.cons] §[locale.cons] Ambiguous argument in Throws for locale+name+category constructor Yes 3
3676 Resolved [locale.cons] Name of locale composed using std::locale::none Yes 3
2808 Resolved [fpos.operations] Requirements for fpos and stateT Yes 4
2832 Resolved [fpos.operations] §[fpos.operations] strange requirement for P(i) Yes 3
1445 Resolved 31.7 [iostream.format] Several iostreams member functions incorrectly specified Yes
1447 Resolved 31.7 [iostream.format] Request to resolve issue LWG 1328 Yes
1328 Resolved [istream.sentry] istream extractors not setting failbit if eofbit is already set Yes
2349 Resolved [istream.formatted.reqmts] Clarify input/output function rethrow behavior Yes 3
2499 Resolved [istream.extractors] operator>>(basic_istream&, CharT*) makes it hard to avoid buffer overflows Yes 2
2498 Resolved [istream.rvalue] operator>>(basic_istream&&, T&&) returns basic_istream&, but should probably return basic_istream&& Yes 3
3006 Resolved [stringbuf.cons] Constructing a basic_stringbuf from a string — where does the allocator come from? Yes 3
1150 Resolved 31.10.6 [fstream] wchar_t, char16_t and char32_t filenames Yes
2798 Resolved 31.12.6 [fs.class.path] Definition of path in terms of a string Yes 2
2734 Resolved [fs.path.concat] Questionable specification in [fs.path.concat] Yes 2
2665 Resolved [fs.path.modifiers] remove_filename() post condition is incorrect Yes 1
2677 Resolved [fs.dir.entry.obs] directory_entry::status is not allowed to be cached as a quality-of-implementation issue Yes 2
2840 Resolved [fs.dir.itr.members] directory_iterator::increment is seemingly narrow-contract but marked noexcept Yes 2
2663 Resolved [fs.op.file.size] Enable efficient retrieval of file size from directory_entry Yes 2
2548 Resolved 31.13 [c.files] Missing vfscanf from <cstdio> Yes 3
2249 Resolved 31.13 [c.files] [CD] Remove gets from <cstdio> Yes
1453 Resolved 32.9.5 [re.results.acc] Default constructed match_results behavior for certain operations Yes
2002 Resolved 32.9.9 [re.results.nonmember] Class template match_results does not specify the semantics of operator== Yes
3698 Resolved 32.11 [re.iter] regex_iterator and join_view don't work together very well Yes 2
2343 Resolved 32.12 [re.grammar] Is the value of the ECMA-262 RegExp object's multiline property really false? Yes 2
1481 Resolved 33.2 [thread.req] Missing Lockable requirements Yes
1482 Resolved 33.2.4 [thread.req.timing] Timeout operations are under-specified Yes
889 Resolved [thread.thread.id] thread::id comparisons Yes
880 Resolved 33.5 [atomics] Missing atomic exchange parameter Yes 942
923 Resolved 33.5 [atomics] atomics with floating-point Yes
924 Resolved 33.5 [atomics] structs with internal padding Yes
1143 Resolved 33.5 [atomics] Atomic operations library not concept enabled Yes
1145 Resolved 33.5 [atomics] Inappropriate headers for atomics Yes
1455 Resolved 33.5 [atomics] C language compatibility for atomics Yes 1454
1523 Resolved 33.5 [atomics] noexcept for Clause 29 Yes
1457 Resolved 33.5.2 [atomics.syn] Splitting lock-free properties Yes
2037 Resolved 33.5.2 [atomics.syn] atomic free functions incorrectly specified Yes
2034 Resolved 33.5.4 [atomics.order] Initialization of atomics is misspecified so that it doesn't preserve sequential consistency Yes
1146 Resolved 33.5.5 [atomics.lockfree] "lockfree" does not say enough Yes
1460 Resolved 33.5.5 [atomics.lockfree] Missing lock-free property for type bool should be added Yes
908 Resolved 33.5.8 [atomics.types.generic] Deleted assignment operators for atomic types must be volatile Yes
2715 Resolved 33.5.8 [atomics.types.generic] What is 'aggregate initialization syntax'? Yes 3
2424 Resolved 33.5.8 [atomics.types.generic] 29.5 should state that atomic types are not trivially copyable Yes 2
944 Resolved 33.5.8 [atomics.types.generic] atomic<bool> derive from atomic_bool? Yes
1469 Resolved 33.5.8 [atomics.types.generic] atomic<T*> inheritance from atomic_address breaks type safety Yes
2024 Resolved 33.5.8 [atomics.types.generic] Inconsistent implementation requirements for atomic<integral> and atomic<T*> Yes
2165 Resolved 33.5.8 [atomics.types.generic] std::atomic<X> requires X to be nothrow default constructible Yes 4
2334 Resolved [atomics.types.operations] atomic's default constructor requires "uninitialized" state even for types with non-trivial default-constructor Yes
1043 Resolved [atomics.types.operations] Clarify that compare_exchange is not a read-modify-write operation Yes
1147 Resolved [atomics.types.operations] Non-volatile atomic functions Yes
1268 Resolved 33.6 [thread.mutex] The Mutex requirements in 30.4.1 and 30.4.2 are wrong Yes
1490 Resolved 33.6.4 [thread.mutex.requirements] Mutex requirements too stringent Yes
1491 Resolved 33.6.4 [thread.mutex.requirements] try_lock does not guarantee forward progress Yes
1492 Resolved 33.6.4 [thread.mutex.requirements] Mutex requirements should not be bound to threads Yes
828 Resolved [thread.mutex.class] Static initialization for std::mutex? Yes
2363 Resolved [thread.sharedtimedmutex.class] Defect in [thread.sharedtimedmutex.class] Yes 2
2887 Resolved [thread.lock.guard] Revert the changes from P0156R0: variadic lock_guard Yes
2023 Resolved [thread.lock.guard] Incorrect requirements for lock_guard and unique_lock Yes
1498 Resolved 33.7 [thread.condition] Unclear specification for [thread.condition] Yes
958 Resolved 33.7.4 [thread.condition.condvar] Various threading bugs #8 Yes
966 Resolved 33.7.4 [thread.condition.condvar] Various threading bugs #16 Yes
2240 Resolved 33.7.4 [thread.condition.condvar] Probable misuse of term "function scope" in [thread.condition] Yes
964 Resolved 33.7.5 [thread.condition.condvarany] Various threading bugs #14 Yes
1046 Resolved 33.10 [futures] Provide simple facility to start asynchronous operations Yes
1244 Resolved 33.10 [futures] wait_*() in *future for synchronous functions Yes
1275 Resolved 33.10 [futures] Creating and setting futures Yes
1501 Resolved 33.10 [futures] Specification for managing associated asynchronous state has problems Yes
1513 Resolved 33.10 [futures] 'launch' enum too restrictive Yes
1226 Resolved 33.10.3 [futures.errors] Incomplete changes of #890 Yes
1160 Resolved 33.10.4 [futures.future.error] future_error public constructor is 'exposition only' Yes
1269 Resolved 33.10.5 [futures.state] Associated state doesn't account for async Yes
1502 Resolved 33.10.5 [futures.state] Specification of [futures.state] unclear Yes
1049 Resolved 33.10.6 [futures.promise] Move assignment of promise inverted Yes
1050 Resolved 33.10.6 [futures.promise] Clarify postconditions for get_future() Yes
1088 Resolved 33.10.6 [futures.promise] std::promise should provide non-member swap overload Yes
1165 Resolved 33.10.6 [futures.promise] Unneeded promise move constructor Yes
1272 Resolved 33.10.6 [futures.promise] confusing declarations of promise::set_value Yes
1291 Resolved 33.10.6 [futures.promise] Exceptions thrown during promise::set_value Yes
1300 Resolved 33.10.6 [futures.promise] Circular definition of promise::swap Yes
1504 Resolved 33.10.6 [futures.promise] Term "are serialized" is not defined Yes
1505 Resolved 33.10.6 [futures.promise] Synchronization between promise::set_value and future::get Yes
1507 Resolved 33.10.6 [futures.promise] promise::XXX_at_thread_exit functions have no synchronization requirements Yes
1047 Resolved 33.10.7 [futures.unique.future] Ensure that future's get() blocks when not ready Yes
1048 Resolved 33.10.7 [futures.unique.future] Provide empty-state inspection for std::unique_future Yes
1161 Resolved 33.10.7 [futures.unique.future] Unnecessary unique_future limitations Yes
1273 Resolved 33.10.7 [futures.unique.future] future::valid should be callable on an invalid future Yes
3458 Resolved 33.10.7 [futures.unique.future] Is shared_future intended to work with arrays or function types? Yes 0
1106 Resolved 33.10.8 [futures.shared.future] Multiple exceptions from connected shared_future::get()? Yes
1162 Resolved 33.10.8 [futures.shared.future] shared_future should support an efficient move constructor Yes
1163 Resolved 33.10.8 [futures.shared.future] shared_future is inconsistent with shared_ptr Yes
1266 Resolved 33.10.8 [futures.shared.future] shared_future::get and deferred async functions Yes
1304 Resolved 33.10.8 [futures.shared.future] Missing preconditions for shared_future Yes
2799 Resolved 33.10.8 [future