cplusplus/cwg issues and pull requests

#640 - [class.mem.general] `[[no_unique_address]]`, common initial sequence, layout compatibility, and trivial copyability

Issue - State: closed - Opened by hubert-reinterpretcast 6 days ago - 3 comments

#639 - CWG2958 [over.ics.rank] Incorrect Example of Overload Resolution with Qualification Conversion

Issue - State: open - Opened by ckwastra 7 days ago - 3 comments

#638 - [temp.expl.spec] Forward declaration of explicit specialization of variable template is not yet allowed

Issue - State: open - Opened by frederick-vs-ja 7 days ago

#637 - CWG2957 [intro.memory] References should be memory locations

Issue - State: open - Opened by Eisenwave 8 days ago - 6 comments

#636 - CWG2954 [intro.races] p4 total order vs. strict total order

Issue - State: closed - Opened by xmh0511 9 days ago - 4 comments

#635 - CWG2953 [basic.types.general] Does value representation exist for non-trivially-copyable types?

Issue - State: open - Opened by t3nsor 9 days ago - 1 comment

#634 - CWG2957 [expr.ref] Evaluating a non-static reference member is not access

Issue - State: open - Opened by frederick-vs-ja 11 days ago - 4 comments

#633 - [intro.abstract] p5 Is changing the well-defined unobservable behavior to undefined behavior a conforming implementation

Issue - State: closed - Opened by xmh0511 11 days ago - 2 comments

#632 - CWG2949 [temp.func.order] p6 Partial ordering rules don't take ellipsis into account

Issue - State: open - Opened by ddvamp 14 days ago - 3 comments

#631 - CWG2946 [temp.over.link] Dependent call equivalence in non-ADL cases

Issue - State: open - Opened by hubert-reinterpretcast 18 days ago - 4 comments

#630 - CWG2945 [basic.link] "Two declarations of an entity" vs corresponding overloads

Issue - State: open - Opened by Endilll 20 days ago - 3 comments

#629 - CWG2942 [dcl.fct] packs in parameter-type-list

Issue - State: open - Opened by cor3ntin 22 days ago - 4 comments

#628 - CWG2943 [dcl.attr.nodiscard] Discarding call to nodiscard function with void return type

Issue - State: open - Opened by t3nsor 23 days ago - 1 comment

#627 - [over.match.class.deduct] CTAD from inherited constructors handling of template parameters with default arguments

Issue - State: open - Opened by antangelo 24 days ago

#626 - CWG2944 [expr.throw] Throw expressions should be indivisible

Issue - State: open - Opened by Eisenwave 25 days ago - 3 comments

#625 - CWG2941 [class.temporary] Lifetime extension for RefType{}

Issue - State: open - Opened by hubert-reinterpretcast 30 days ago - 3 comments

#624 - Do substitution failures in an attribute-specifier-seq of a function declaration occur in the immediate context?

Issue - State: closed - Opened by tahonermann about 1 month ago - 3 comments

#623 - [expr.reinterpret.cast] Must pointer to integer conversion be consistent?

Issue - State: open - Opened by randomnetcat about 1 month ago - 1 comment

#622 - [intro.races] p16 Can this rule infer the modification order according to the reading value?

Issue - State: closed - Opened by xmh0511 about 1 month ago - 7 comments

#621 - CWG1953 [intro.memory] Unsequenced accesses within the same storage are not undefined behavior when different scalar objects are used (unsequenced union access)

Issue - State: open - Opened by Eisenwave about 1 month ago - 7 comments

#620 - [over.best.ics.general] How can a value be converted to a type

Issue - State: closed - Opened by ranaanoop about 1 month ago - 5 comments

#619 - [temp.deduct.call] Is auto&& as a class template parameter supposed to be a forwarding reference

Issue - State: closed - Opened by ranaanoop about 2 months ago - 10 comments

#618 - [expr.mptr.oper] Change the term "function call operator" to "function call operator function" or define the term "function call operator" separately and same for other operators like subscript operator

Issue - State: open - Opened by ranaanoop about 2 months ago

#617 - CWG2939 [expr.reinterpret.cast] Do not allow `reinterpret_cast` from prvalue to rvalue reference

Issue - State: open - Opened by t3nsor about 2 months ago - 1 comment

#616 - [temp.deduct.partial] Make overloading function templates when explicitly passing reference argument well-formed

Issue - State: closed - Opened by ranaanoop about 2 months ago - 3 comments

#615 - CWG2937 [lex.phases] Grammar for preprocessing-file has no normative effect

Issue - State: open - Opened by t3nsor about 2 months ago - 1 comment

#614 - [intro.races] p4 The determination of a modification order forms a cycle dependency on the well-defined behavior

Issue - State: open - Opened by xmh0511 about 2 months ago - 4 comments

#613 - [dcl.spec] No restriction against combining `explicit` with `explicit(bool)`

Issue - State: closed - Opened by zygoloid about 2 months ago - 2 comments

#612 - [temp.res.general] p6.7 What is the hypothetical instantiation based on

Issue - State: open - Opened by xmh0511 about 2 months ago - 1 comment

#611 - [over.over] Is CWG2369 supposed to change the order of subsitution or elimination

Issue - State: closed - Opened by ranaanoop about 2 months ago - 3 comments

#610 - [intro.races] p4 What determines the order of a side effect in the modification order is unclear

Issue - State: open - Opened by xmh0511 about 2 months ago - 1 comment

#609 - CWG2938 [basic.link] Inheriting linkage from previous declaration

Issue - State: open - Opened by Endilll 2 months ago - 2 comments

#608 - [intro.races] The load part of a read-modify-write operation is less prone to reading stale value than a pure load

Issue - State: closed - Opened by xmh0511 2 months ago - 4 comments

#607 - [over.match.class.deduct] Ambiguous deduction for base deduction guides in CTAD from inherited constructors

Issue - State: open - Opened by antangelo 2 months ago

#606 - [basic.fundamental] p2 `modulo` is ambigous in defining result

Issue - State: closed - Opened by xmh0511 2 months ago - 3 comments

#605 - [const.iterators.iterator] basic_const_iterator::operator-(const S& y) doesn't specify second template argument for sized_sentinel_for

Issue - State: closed - Opened by ranaanoop 3 months ago - 9 comments

#604 - CWG2932 [dcl.enum] Value range of empty enumeration without fixed underlying type.

Issue - State: open - Opened by keinflue 3 months ago - 15 comments

#603 - [expr.const] Trivially copying a partially uninitialized array in a union in constant evaluation

Issue - State: closed - Opened by frederick-vs-ja 3 months ago - 1 comment

#602 - [dcl.pre] Grammar disallows static int iarr2 alignas(16) ; but all compilers accept it

Issue - State: closed - Opened by ranaanoop 3 months ago - 3 comments

#601 - [expr.await] p5 Return false from `await_suspend()`

Issue - State: closed - Opened by ddvamp 3 months ago - 7 comments

#600 - CWG2931 [over.oper] Mis-worded restriction on operator functions

Issue - State: open - Opened by brevzin 3 months ago - 2 comments

#599 - CWG2926 [basic.lookup.qual.general] Lookup of dependent qualified names should be done from the point of instantiation

Issue - State: open - Opened by t3nsor 3 months ago - 1 comment

#598 - [dcl.init#list] Make int&& ref{1.1}; ill-formed as current wording seems to make it well-formed

Issue - State: closed - Opened by ranaanoop 3 months ago - 20 comments

#597 - CWG2925 [expr.delete] Deleting a pointer to an incomplete enumeration type should also be ill-formed

Issue - State: closed - Opened by frederick-vs-ja 3 months ago - 1 comment

#596 - [dcl.init.ref] Specify which form of direct initialization is used to direct initialize the reference and also make reference initialization more consistent

Issue - State: open - Opened by ranaanoop 3 months ago - 23 comments

#595 - CWG2924 [dcl.attr.assume, dcl.attr.noreturn] Clarify that violation of the restrictions of standard attributes does not cause undefined behavior in constant evaluation

Issue - State: open - Opened by frederick-vs-ja 3 months ago - 1 comment

#594 - [class.conv.fct] Revisiting `operator auto` template

Issue - State: closed - Opened by MitalAshok 3 months ago - 1 comment

#593 - CWG2917 [temp.friend] Some variadic template friend declarations should be explicitly ill-formed.

Issue - State: open - Opened by cor3ntin 3 months ago - 6 comments

#592 - [dcl.init] Inconsistencies in list initialization syntax when initializer list ctor is also a default constructor

Issue - State: closed - Opened by ranaanoop 3 months ago - 3 comments

#591 - [over.match.ctor] Make initializer list constructor that is also a default ctor preferrable over non-initializer list ctor that is also a default ctor when braced init list is used

Issue - State: closed - Opened by ranaanoop 3 months ago - 3 comments

#590 - Change the term implementation-specific to implementation-defined

Issue - State: open - Opened by ranaanoop 4 months ago - 1 comment

#589 - [dcl.fct.def.default] Change T may be empty to T is optional and clarify the return type of a constructor as empty/optional

Issue - State: open - Opened by ranaanoop 4 months ago

#588 - [dcl.fct] Stale reference to two forms of function declarator

Issue - State: closed - Opened by t3nsor 4 months ago - 1 comment
Labels: editorial

#587 - [dcl.fct.def.default] This can't apply to constructors as they don't have type

Issue - State: closed - Opened by ranaanoop 4 months ago - 16 comments

#586 - CWG2917 [temp.pre] Disallow multiple friend-type-specifiers if the friend-declaration is part of a template-declaration

Issue - State: open - Opened by Sirraide 4 months ago - 1 comment

#585 - [class.temporary] Optional temporary objects during parameter/return value passing in constant expression evaluation

Issue - State: open - Opened by keinflue 4 months ago - 6 comments

#584 - [basic.life] p9 Does an expression happen-before itself?

Issue - State: open - Opened by xmh0511 4 months ago - 10 comments

#583 - [basic.compound] Does a pointer retains its validity within an evaluation unordered with the creation of the refered storage

Issue - State: open - Opened by xmh0511 4 months ago - 5 comments

#582 - [basic.life] p7 A glvalue and a pointer referring/pointing to an ended lifetime object are defined different when accessing a non-static data member

Issue - State: open - Opened by xmh0511 4 months ago - 9 comments

#581 - Does an evaluation that has a side effect modify the memory?

Issue - State: open - Opened by xmh0511 4 months ago - 7 comments

#580 - CWG2916 [temp.spec.partial] variable template partial specializations can be declared `static`

Issue - State: open - Opened by zygoloid 4 months ago - 1 comment

#579 - [dcl.fct] Removal of top-level cv qualifer applicable when considering corresponding overloads

Issue - State: open - Opened by ranaanoop 4 months ago - 11 comments

#578 - CWG2915 [dcl.fct] Make "this void" invalid as explicit object parameter

Issue - State: open - Opened by ranaanoop 4 months ago - 1 comment

#577 - [basic.scope.scope] Is void adjustment and cv-qualifier adjustment applied when considering corresponding overload

Issue - State: closed - Opened by ranaanoop 4 months ago - 2 comments

#576 - CWG2913 [temp.deduct.guide] requires-clause in the wrong position in the grammar for deduction-guide

Issue - State: open - Opened by zygoloid 4 months ago - 1 comment

#575 - CWG2935 [dcl.fct.def.coroutine] Destroying the coroutine state when initial-await-resume-called is false

Issue - State: open - Opened by t3nsor 4 months ago - 2 comments

#574 - CWG2934 [dcl.fct.def.coroutine] Unclear semantics of exception escaping from `unhandled_exception`

Issue - State: open - Opened by t3nsor 4 months ago - 5 comments

#573 - CWG2902 Use of id-expressions denoting explicit object member functions is too permissive

Issue - State: open - Opened by brevzin 4 months ago - 4 comments

#572 - [basic.compound] Current wording seems to disallow formation of pointer to static member function and explicit object member function without `&` operator

Issue - State: open - Opened by ranaanoop 4 months ago - 4 comments

#571 - Can an explicit object member function be called without an class-type object

Issue - State: open - Opened by ranaanoop 4 months ago - 1 comment

#570 - [dcl.fct] Contradiction in the definition of a non-object parameter

Issue - State: open - Opened by ranaanoop 4 months ago - 1 comment

#569 - [basic.scope.scope] No definition exists for the term top-level reference

Issue - State: closed - Opened by ranaanoop 4 months ago - 4 comments

#568 - [expr.prim.id] No normative wording that makes the program ill-formed but only a note exists

Issue - State: closed - Opened by ranaanoop 5 months ago - 2 comments

#566 - [stmt.switch] Replace “within a switch statement” with “associated with a switch statement”

Issue - State: open - Opened by xmcgcg 5 months ago - 2 comments

#563 - [cpp.pragma] The effects of `STDC` pragmas P3479

Issue - State: closed - Opened by frederick-vs-ja 5 months ago - 1 comment

#559 - CWG2914 [basic.start.static] Unclear order of initialization of static and thread local variables

Issue - State: open - Opened by t3nsor 5 months ago - 6 comments

#558 - [expr.const] Reading an `unsigned char` of an erroneous value in constant evaluation

Issue - State: open - Opened by frederick-vs-ja 5 months ago - 4 comments

#555 - [class.cdtor] Referring to subobjects during aggregate initialization

Issue - State: open - Opened by MitalAshok 5 months ago - 2 comments

#549 - [expr.sub] Clarify "identical (by definition) to"

Issue - State: open - Opened by Eisenwave 5 months ago - 3 comments

#541 - CWG2895 [dcl.init.general] should ignore cv-qualification of destination type

Issue - State: closed - Opened by t3nsor 6 months ago - 1 comment

#535 - CWG2893 [stmt.if] Instantiations in `if constexpr (false)` outside templates

Issue - State: closed - Opened by Eisenwave 6 months ago - 4 comments

#533 - CWG2892 [expr.arith.conv] Floating-point promotion rules are unclear

Issue - State: closed - Opened by vasama 6 months ago - 1 comment

#531 - CWG2886 [class.temporary] `noexcept` operator with trivial but potentially-throwing special member functions

Issue - State: closed - Opened by frederick-vs-ja 7 months ago - 1 comment

#528 - CWG2887 [diff.cpp03.expr] List behavioral changes of `typeid` and conditional operators in C++11

Issue - State: closed - Opened by frederick-vs-ja 7 months ago - 1 comment

#523 - CWG2883 [basic.def.odr] Using captures in lambda bodies always disallowed because odr-usable definition does not account for lambda scopes

Issue - State: closed - Opened by hubert-reinterpretcast 8 months ago - 3 comments

#515 - CWG2869 [expr.prim.this] Restriction on where `this` can appear mishandles local classes

Issue - State: closed - Opened by zygoloid 8 months ago - 3 comments

#511 - CWG2870 [lex.string] `"" ""` (adjacent ordinary string literals) are ill-formed

Issue - State: closed - Opened by Eisenwave 8 months ago - 6 comments

#510 - CWG2871 [class.default.ctor] p1 should cover the constructor template

Issue - State: closed - Opened by xmh0511 9 months ago - 3 comments

#505 - CWG2860 [basic.life] Remove out-of-sync term "vacuous initialization"

Issue - State: closed - Opened by frederick-vs-ja 9 months ago - 7 comments

#501 - CWG2859 [dcl.init.general] Value-initialization and multiple default constructors

Issue - State: closed - Opened by t3nsor 9 months ago - 5 comments

#497 - CWG2861 [expr.dynamic.cast] The behaivor is underspecified when `v` does not point to that object

Issue - State: closed - Opened by xmh0511 9 months ago - 3 comments

#472 - CWG2836 [conv.rank] `long double` + `_Float64` is handled differently from C

Issue - State: closed - Opened by jcranmer-intel 12 months ago - 1 comment

#442 - CWG2865 [expr.cond] Conditional operator with glvalue and prvalue of class type

Issue - State: closed - Opened by t3nsor about 1 year ago - 2 comments

#361 - [basic.life] It is unclear whether destroying an already destroyed scalar object is undefined behavior

Issue - State: open - Opened by frederick-vs-ja over 1 year ago - 5 comments

#309 - CWG2728 [expr.delete] The conversion to a pointer prvalue in a delete-expression should also be evaluated exactly once

Issue - State: closed - Opened by frederick-vs-ja over 1 year ago - 2 comments

#250 - [expr.await] need a term to refer to the transformations applied to the `co_await` operand

Issue - State: open - Opened by ericniebler over 1 year ago - 1 comment

#247 - [basic.life] p1.5 and [intro.object] p3 have a circular dependency on each other

Issue - State: open - Opened by xmh0511 over 1 year ago - 3 comments

#226 - CWG2818 [lex.name] Standard and implementation-defined uses of reserved identifiers should be well-formed

Issue - State: closed - Opened by frederick-vs-ja almost 2 years ago - 3 comments

#153 - CWG2666 [class.temporary] Wording for lifetime extension through `static_cast` is too strict

Issue - State: open - Opened by t3nsor about 2 years ago - 13 comments

#100 - [basic.lval] The divergence of treatment of the value category of a named variable in the return statement

Issue - State: closed - Opened by xmh0511 over 2 years ago - 2 comments

GitHub / cplusplus/cwg issues and pull requests