[clang] [Clang][Sema] Implement approved resolution for CWG2858 (PR #88042)
Krystian Stasiowski via cfe-commits
cfe-commits at lists.llvm.org
Thu Apr 11 07:39:08 PDT 2024
https://github.com/sdkrystian updated https://github.com/llvm/llvm-project/pull/88042
>From e850ae0982efbb7cec7c33d6b927844d89128743 Mon Sep 17 00:00:00 2001
From: Krystian Stasiowski <sdkrystian at gmail.com>
Date: Mon, 8 Apr 2024 09:46:08 -0400
Subject: [PATCH 1/6] [Clang][Sema] Implement approved resolution for CWG2858
---
clang/include/clang/Basic/DiagnosticSemaKinds.td | 7 +++----
clang/lib/Sema/SemaDecl.cpp | 13 ++++++-------
.../expr.prim.id/expr.prim.id.qual/p3.cpp | 16 ++++++++++++++++
3 files changed, 25 insertions(+), 11 deletions(-)
diff --git a/clang/include/clang/Basic/DiagnosticSemaKinds.td b/clang/include/clang/Basic/DiagnosticSemaKinds.td
index 4fbbc42273ba93..2ce2013aac7362 100644
--- a/clang/include/clang/Basic/DiagnosticSemaKinds.td
+++ b/clang/include/clang/Basic/DiagnosticSemaKinds.td
@@ -2402,10 +2402,6 @@ def err_selected_explicit_constructor : Error<
def note_explicit_ctor_deduction_guide_here : Note<
"explicit %select{constructor|deduction guide}0 declared here">;
-// C++11 decltype
-def err_decltype_in_declarator : Error<
- "'decltype' cannot be used to name a declaration">;
-
// C++11 auto
def warn_cxx98_compat_auto_type_specifier : Warning<
"'auto' type specifier is incompatible with C++98">,
@@ -8302,6 +8298,9 @@ def ext_template_after_declarative_nns : ExtWarn<
def ext_alias_template_in_declarative_nns : ExtWarn<
"a declarative nested name specifier cannot name an alias template">,
InGroup<DiagGroup<"alias-template-in-declaration-name">>;
+def err_computed_type_in_declarative_nns : Error<
+ "%select{a pack indexing type|'decltype'}0 cannot be used in "
+ "a declarative nested name specifier">;
def err_no_typeid_with_fno_rtti : Error<
"use of typeid requires -frtti">;
diff --git a/clang/lib/Sema/SemaDecl.cpp b/clang/lib/Sema/SemaDecl.cpp
index c790dab72dd721..1ba6b3beb1c758 100644
--- a/clang/lib/Sema/SemaDecl.cpp
+++ b/clang/lib/Sema/SemaDecl.cpp
@@ -6335,16 +6335,15 @@ bool Sema::diagnoseQualifiedDeclaration(CXXScopeSpec &SS, DeclContext *DC,
if (TST->isDependentType() && TST->isTypeAlias())
Diag(Loc, diag::ext_alias_template_in_declarative_nns)
<< SpecLoc.getLocalSourceRange();
- } else if (T->isDecltypeType()) {
+ } else if (T->isDecltypeType() || T->getAsAdjusted<PackIndexingType>()) {
// C++23 [expr.prim.id.qual]p2:
// [...] A declarative nested-name-specifier shall not have a
- // decltype-specifier.
+ // computed-type-specifier.
//
- // FIXME: This wording appears to be defective as it does not forbid
- // declarative nested-name-specifiers with pack-index-specifiers.
- // See https://github.com/cplusplus/CWG/issues/499.
- Diag(Loc, diag::err_decltype_in_declarator)
- << SpecLoc.getTypeLoc().getSourceRange();
+ // CWG2858 changed this from 'decltype-specifier' to
+ // 'computed-type-specifier'.
+ Diag(Loc, diag::err_computed_type_in_declarative_nns)
+ << T->isDecltypeType() << SpecLoc.getTypeLoc().getSourceRange();
}
}
} while ((SpecLoc = SpecLoc.getPrefix()));
diff --git a/clang/test/CXX/expr/expr.prim/expr.prim.id/expr.prim.id.qual/p3.cpp b/clang/test/CXX/expr/expr.prim/expr.prim.id/expr.prim.id.qual/p3.cpp
index c73ffa55a26a31..5da13cc22abef2 100644
--- a/clang/test/CXX/expr/expr.prim/expr.prim.id/expr.prim.id.qual/p3.cpp
+++ b/clang/test/CXX/expr/expr.prim/expr.prim.id/expr.prim.id.qual/p3.cpp
@@ -1,4 +1,5 @@
// RUN: %clang_cc1 -verify %s
+// RUN: %clang_cc1 -std=c++2c -verify %s
template<typename T>
struct A {
@@ -27,3 +28,18 @@ namespace N {
template<typename T>
void N::E<T>::f() { } // expected-warning {{a declarative nested name specifier cannot name an alias template}}
+
+#if __cplusplus > 202302L
+template<typename... Ts>
+struct A {
+ // FIXME: The nested-name-specifier in the following friend declarations are declarative,
+ // but we don't treat them as such (yet).
+ friend void Ts...[0]::f();
+ template<typename U>
+ friend void Ts...[0]::g();
+
+ friend struct Ts...[0]::B;
+ template<typename U>
+ friend struct Ts...[0]::C; // expected-warning{{is not supported; ignoring this friend declaration}}
+};
+#endif
>From e0646d2098f567ca0cd5642c8694d3d8980134c7 Mon Sep 17 00:00:00 2001
From: Krystian Stasiowski <sdkrystian at gmail.com>
Date: Tue, 9 Apr 2024 09:03:25 -0400
Subject: [PATCH 2/6] [FOLD] apply review changes
---
clang/test/CXX/dcl.decl/dcl.meaning/p1-0x.cpp | 4 ++--
clang/test/CXX/drs/dr28xx.cpp | 21 +++++++++++++++++++
.../expr.prim.id/expr.prim.id.qual/p3.cpp | 16 --------------
clang/test/Parser/cxx-class.cpp | 6 +++---
4 files changed, 26 insertions(+), 21 deletions(-)
diff --git a/clang/test/CXX/dcl.decl/dcl.meaning/p1-0x.cpp b/clang/test/CXX/dcl.decl/dcl.meaning/p1-0x.cpp
index fbe9c0895aeae8..3e67fca9ad7376 100644
--- a/clang/test/CXX/dcl.decl/dcl.meaning/p1-0x.cpp
+++ b/clang/test/CXX/dcl.decl/dcl.meaning/p1-0x.cpp
@@ -6,8 +6,8 @@ class foo {
void func();
};
-int decltype(foo())::i; // expected-error{{'decltype' cannot be used to name a declaration}}
-void decltype(foo())::func() { // expected-error{{'decltype' cannot be used to name a declaration}}
+int decltype(foo())::i; // expected-error{{'decltype' cannot be used in a declarative nested name specifier}}
+void decltype(foo())::func() { // expected-error{{'decltype' cannot be used in a declarative nested name specifier}}
}
diff --git a/clang/test/CXX/drs/dr28xx.cpp b/clang/test/CXX/drs/dr28xx.cpp
index 7f72003d66f1e3..e473bd4158d141 100644
--- a/clang/test/CXX/drs/dr28xx.cpp
+++ b/clang/test/CXX/drs/dr28xx.cpp
@@ -58,3 +58,24 @@ void B<int>::g() requires true;
#endif
} // namespace dr2847
+
+namespace dr2858 { // dr2858: 19
+
+#if __cplusplus > 202302L
+
+template<typename... Ts>
+struct A {
+ // FIXME: The nested-name-specifier in the following friend declarations are declarative,
+ // but we don't treat them as such (yet).
+ friend void Ts...[0]::f();
+ template<typename U>
+ friend void Ts...[0]::g();
+
+ friend struct Ts...[0]::B;
+ template<typename U>
+ friend struct Ts...[0]::C; // expected-warning{{is not supported; ignoring this friend declaration}}
+};
+
+#endif
+
+} // namespace dr2858
diff --git a/clang/test/CXX/expr/expr.prim/expr.prim.id/expr.prim.id.qual/p3.cpp b/clang/test/CXX/expr/expr.prim/expr.prim.id/expr.prim.id.qual/p3.cpp
index 5da13cc22abef2..c73ffa55a26a31 100644
--- a/clang/test/CXX/expr/expr.prim/expr.prim.id/expr.prim.id.qual/p3.cpp
+++ b/clang/test/CXX/expr/expr.prim/expr.prim.id/expr.prim.id.qual/p3.cpp
@@ -1,5 +1,4 @@
// RUN: %clang_cc1 -verify %s
-// RUN: %clang_cc1 -std=c++2c -verify %s
template<typename T>
struct A {
@@ -28,18 +27,3 @@ namespace N {
template<typename T>
void N::E<T>::f() { } // expected-warning {{a declarative nested name specifier cannot name an alias template}}
-
-#if __cplusplus > 202302L
-template<typename... Ts>
-struct A {
- // FIXME: The nested-name-specifier in the following friend declarations are declarative,
- // but we don't treat them as such (yet).
- friend void Ts...[0]::f();
- template<typename U>
- friend void Ts...[0]::g();
-
- friend struct Ts...[0]::B;
- template<typename U>
- friend struct Ts...[0]::C; // expected-warning{{is not supported; ignoring this friend declaration}}
-};
-#endif
diff --git a/clang/test/Parser/cxx-class.cpp b/clang/test/Parser/cxx-class.cpp
index 046d2dd580f02d..342c424705d635 100644
--- a/clang/test/Parser/cxx-class.cpp
+++ b/clang/test/Parser/cxx-class.cpp
@@ -59,14 +59,14 @@ typedef union {
} y;
} bug3177;
-// check that we don't consume the token after the access specifier
+// check that we don't consume the token after the access specifier
// when it's not a colon
class D {
public // expected-error{{expected ':'}}
int i;
};
-// consume the token after the access specifier if it's a semicolon
+// consume the token after the access specifier if it's a semicolon
// that was meant to be a colon
class E {
public; // expected-error{{expected ':'}}
@@ -281,7 +281,7 @@ struct A {} ::PR41192::a; // ok, no missing ';' here expected-warning {{extra q
#if __cplusplus >= 201103L
struct C;
struct D { static C c; };
-struct C {} decltype(D())::c; // expected-error {{'decltype' cannot be used to name a declaration}}
+struct C {} decltype(D())::c; // expected-error {{'decltype' cannot be used in a declarative nested name specifier}}
#endif
}
>From ff6e1ac8f3c44d8b944133341ea5cf04433ceece Mon Sep 17 00:00:00 2001
From: Krystian Stasiowski <sdkrystian at gmail.com>
Date: Tue, 9 Apr 2024 09:10:13 -0400
Subject: [PATCH 3/6] [FOLD] add release note
---
clang/docs/ReleaseNotes.rst | 3 +++
1 file changed, 3 insertions(+)
diff --git a/clang/docs/ReleaseNotes.rst b/clang/docs/ReleaseNotes.rst
index 30cedbe774be96..29dfddb138c378 100644
--- a/clang/docs/ReleaseNotes.rst
+++ b/clang/docs/ReleaseNotes.rst
@@ -143,6 +143,9 @@ Resolutions to C++ Defect Reports
compatibility of two types.
(`CWG2759: [[no_unique_address] and common initial sequence <https://cplusplus.github.io/CWG/issues/2759.html>`_).
+- Clang now diagnoses declarative nested-name-specifiers with pack-index-specifiers.
+ (`CWG2858: Declarative nested-name-specifiers and pack-index-specifiers <https://cplusplus.github.io/CWG/issues/2858.html>`_).
+
C Language Changes
------------------
>From 3a3058bebdfd3e2c7e9ce54890c895deae440e22 Mon Sep 17 00:00:00 2001
From: Krystian Stasiowski <sdkrystian at gmail.com>
Date: Tue, 9 Apr 2024 11:47:08 -0400
Subject: [PATCH 4/6] [FOLD] address review comments
---
clang/test/CXX/drs/dr28xx.cpp | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/clang/test/CXX/drs/dr28xx.cpp b/clang/test/CXX/drs/dr28xx.cpp
index e473bd4158d141..9b21d3410a0499 100644
--- a/clang/test/CXX/drs/dr28xx.cpp
+++ b/clang/test/CXX/drs/dr28xx.cpp
@@ -72,8 +72,10 @@ struct A {
friend void Ts...[0]::g();
friend struct Ts...[0]::B;
+ // FIXME: The index of the pack-index-specifier is printed as a memory address in the diagnostic.
template<typename U>
- friend struct Ts...[0]::C; // expected-warning{{is not supported; ignoring this friend declaration}}
+ friend struct Ts...[0]::C;
+ // expected-warning-re at -1 {{dependent nested name specifier 'Ts...[{{.*}}]::' for friend template declaration is not supported; ignoring this friend declaration}}
};
#endif
>From 58fdbf9b1d5bfa9aacb676fcef2baeabf1b5f59f Mon Sep 17 00:00:00 2001
From: Krystian Stasiowski <sdkrystian at gmail.com>
Date: Tue, 9 Apr 2024 11:57:51 -0400
Subject: [PATCH 5/6] [FOLD] reword diagnostic
---
clang/include/clang/Basic/DiagnosticSemaKinds.td | 2 +-
clang/test/CXX/dcl.decl/dcl.meaning/p1-0x.cpp | 4 ++--
clang/test/Parser/cxx-class.cpp | 2 +-
3 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/clang/include/clang/Basic/DiagnosticSemaKinds.td b/clang/include/clang/Basic/DiagnosticSemaKinds.td
index 2ce2013aac7362..ae8174dc1558d7 100644
--- a/clang/include/clang/Basic/DiagnosticSemaKinds.td
+++ b/clang/include/clang/Basic/DiagnosticSemaKinds.td
@@ -8299,7 +8299,7 @@ def ext_alias_template_in_declarative_nns : ExtWarn<
"a declarative nested name specifier cannot name an alias template">,
InGroup<DiagGroup<"alias-template-in-declaration-name">>;
def err_computed_type_in_declarative_nns : Error<
- "%select{a pack indexing type|'decltype'}0 cannot be used in "
+ "a %select{pack indexing|'decltype'}0 specifier cannot be used in "
"a declarative nested name specifier">;
def err_no_typeid_with_fno_rtti : Error<
diff --git a/clang/test/CXX/dcl.decl/dcl.meaning/p1-0x.cpp b/clang/test/CXX/dcl.decl/dcl.meaning/p1-0x.cpp
index 3e67fca9ad7376..13be079a40bc35 100644
--- a/clang/test/CXX/dcl.decl/dcl.meaning/p1-0x.cpp
+++ b/clang/test/CXX/dcl.decl/dcl.meaning/p1-0x.cpp
@@ -6,8 +6,8 @@ class foo {
void func();
};
-int decltype(foo())::i; // expected-error{{'decltype' cannot be used in a declarative nested name specifier}}
-void decltype(foo())::func() { // expected-error{{'decltype' cannot be used in a declarative nested name specifier}}
+int decltype(foo())::i; // expected-error{{a 'decltype' specifier cannot be used in a declarative nested name specifier}}
+void decltype(foo())::func() { // expected-error{{a 'decltype' specifier cannot be used in a declarative nested name specifier}}
}
diff --git a/clang/test/Parser/cxx-class.cpp b/clang/test/Parser/cxx-class.cpp
index 342c424705d635..c90c7e030a8bd5 100644
--- a/clang/test/Parser/cxx-class.cpp
+++ b/clang/test/Parser/cxx-class.cpp
@@ -281,7 +281,7 @@ struct A {} ::PR41192::a; // ok, no missing ';' here expected-warning {{extra q
#if __cplusplus >= 201103L
struct C;
struct D { static C c; };
-struct C {} decltype(D())::c; // expected-error {{'decltype' cannot be used in a declarative nested name specifier}}
+struct C {} decltype(D())::c; // expected-error {{a 'decltype' specifier cannot be used in a declarative nested name specifier}}
#endif
}
>From 5e731cd30cfe95f8134e68991454f912d929e754 Mon Sep 17 00:00:00 2001
From: Krystian Stasiowski <sdkrystian at gmail.com>
Date: Thu, 11 Apr 2024 10:32:37 -0400
Subject: [PATCH 6/6] [FOLD] update cxx_dr_status
---
clang/www/cxx_dr_status.html | 396 +++++++++++++++++++++++++----------
1 file changed, 283 insertions(+), 113 deletions(-)
diff --git a/clang/www/cxx_dr_status.html b/clang/www/cxx_dr_status.html
index 6daa5ad2d1316d..172185b530a60f 100755
--- a/clang/www/cxx_dr_status.html
+++ b/clang/www/cxx_dr_status.html
@@ -2756,7 +2756,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="453">
<td><a href="https://cplusplus.github.io/CWG/issues/453.html">453</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>References may only bind to “valid” objects</td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -5812,7 +5812,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr class="open" id="1001">
<td><a href="https://cplusplus.github.io/CWG/issues/1001.html">1001</a></td>
- <td>drafting</td>
+ <td>review</td>
<td>Parameter type adjustment in dependent parameter types</td>
<td align="center">Not resolved</td>
</tr>
@@ -10132,7 +10132,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr class="open" id="1721">
<td><a href="https://cplusplus.github.io/CWG/issues/1721.html">1721</a></td>
- <td>drafting</td>
+ <td>review</td>
<td>Diagnosing ODR violations for static data members</td>
<td align="center">Not resolved</td>
</tr>
@@ -11312,11 +11312,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>decltype-qualified enumeration names</td>
<td class="unknown" align="center">Unknown</td>
</tr>
- <tr class="open" id="1918">
+ <tr id="1918">
<td><a href="https://cplusplus.github.io/CWG/issues/1918.html">1918</a></td>
- <td>open</td>
+ <td>CD5</td>
<td><TT>friend</TT> templates with dependent scopes</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr class="open" id="1919">
<td><a href="https://cplusplus.github.io/CWG/issues/1919.html">1919</a></td>
@@ -11474,11 +11474,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>New C incompatibilities</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open" id="1945">
+ <tr id="1945">
<td><a href="https://cplusplus.github.io/CWG/issues/1945.html">1945</a></td>
- <td>open</td>
+ <td>CD5</td>
<td>Friend declarations naming members of class templates in non-templates</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr id="1946">
<td><a href="https://cplusplus.github.io/CWG/issues/1946.html">1946</a></td>
@@ -11530,7 +11530,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="1954">
<td><a href="https://cplusplus.github.io/CWG/issues/1954.html">1954</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td><TT>typeid</TT> null dereference check in subexpressions</td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -12098,12 +12098,6 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>C-style casts that cast away constness vs <TT>static_cast</TT></td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open" id="2049">
- <td><a href="https://cplusplus.github.io/CWG/issues/2049.html">2049</a></td>
- <td>drafting</td>
- <td>List initializer in non-type template default argument</td>
- <td title="Clang 18 implements P2308R1 resolution" align="center">Not Resolved*</td>
- </tr>
<tr id="2050">
<td><a href="https://cplusplus.github.io/CWG/issues/2050.html">2050</a></td>
<td>NAD</td>
@@ -14410,7 +14404,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr class="open" id="2434">
<td><a href="https://cplusplus.github.io/CWG/issues/2434.html">2434</a></td>
- <td>open</td>
+ <td>review</td>
<td>Mandatory copy elision vs non-class objects</td>
<td align="center">Not resolved</td>
</tr>
@@ -14504,12 +14498,6 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>Thunks as an implementation technique for pointers to virtual functions</td>
<td align="center">Extension</td>
</tr>
- <tr class="open" id="2450">
- <td><a href="https://cplusplus.github.io/CWG/issues/2450.html">2450</a></td>
- <td>review</td>
- <td><I>braced-init-list</I> as a <I>template-argument</I></td>
- <td title="Clang 18 implements P2308R1 resolution" align="center">Not Resolved*</td>
- </tr>
<tr id="2451">
<td><a href="https://cplusplus.github.io/CWG/issues/2451.html">2451</a></td>
<td>C++23</td>
@@ -14558,12 +14546,6 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>Value category of expressions denoting non-static member functions</td>
<td class="unknown" align="center">Unknown</td>
</tr>
- <tr class="open" id="2459">
- <td><a href="https://cplusplus.github.io/CWG/issues/2459.html">2459</a></td>
- <td>drafting</td>
- <td>Template parameter initialization</td>
- <td title="Clang 18 implements P2308R1 resolution" align="center">Not Resolved*</td>
- </tr>
<tr id="2460">
<td><a href="https://cplusplus.github.io/CWG/issues/2460.html">2460</a></td>
<td>CD6</td>
@@ -14662,7 +14644,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="2476">
<td><a href="https://cplusplus.github.io/CWG/issues/2476.html">2476</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td><I>placeholder-type-specifier</I>s and function declarators</td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -15002,11 +14984,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>Kind of pointer value returned by <TT>new T[0]</TT></td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open" id="2533">
+ <tr id="2533">
<td><a href="https://cplusplus.github.io/CWG/issues/2533.html">2533</a></td>
- <td>review</td>
+ <td>ready</td>
<td>Storage duration of implicitly created objects</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr id="2534">
<td><a href="https://cplusplus.github.io/CWG/issues/2534.html">2534</a></td>
@@ -15082,13 +15064,13 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="2546">
<td><a href="https://cplusplus.github.io/CWG/issues/2546.html">2546</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Defaulted secondary comparison operators defined as deleted</td>
<td class="unknown" align="center">Unknown</td>
</tr>
<tr id="2547">
<td><a href="https://cplusplus.github.io/CWG/issues/2547.html">2547</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Defaulted comparison operator function for non-classes</td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -15166,7 +15148,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="2560">
<td><a href="https://cplusplus.github.io/CWG/issues/2560.html">2560</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Parameter type determination in a <I>requirement-parameter-list</I></td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -15214,7 +15196,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="2568">
<td><a href="https://cplusplus.github.io/CWG/issues/2568.html">2568</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Access checking during synthesis of defaulted comparison operator</td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -15332,11 +15314,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>Visible side effects and initial value of an object</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open" id="2588">
+ <tr id="2588">
<td><a href="https://cplusplus.github.io/CWG/issues/2588.html">2588</a></td>
- <td>drafting</td>
+ <td>tentatively ready</td>
<td>friend declarations and module linkage</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr class="open" id="2589">
<td><a href="https://cplusplus.github.io/CWG/issues/2589.html">2589</a></td>
@@ -15610,7 +15592,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="2634">
<td><a href="https://cplusplus.github.io/CWG/issues/2634.html">2634</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Avoid circularity in specification of scope for friend class declarations</td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -15628,13 +15610,13 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="2637">
<td><a href="https://cplusplus.github.io/CWG/issues/2637.html">2637</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Injected-class-name as a <I>simple-template-id</I></td>
<td class="unknown" align="center">Unknown</td>
</tr>
<tr id="2638">
<td><a href="https://cplusplus.github.io/CWG/issues/2638.html">2638</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Improve the example for initializing by initializer list</td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -15748,7 +15730,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="2657">
<td><a href="https://cplusplus.github.io/CWG/issues/2657.html">2657</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Cv-qualification adjustment when binding reference to temporary</td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -15770,11 +15752,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>Confusing term "this parameter"</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open" id="2661">
+ <tr id="2661">
<td><a href="https://cplusplus.github.io/CWG/issues/2661.html">2661</a></td>
- <td>open</td>
+ <td>ready</td>
<td>Missing disambiguation rule for <I>pure-specifier</I> vs. <I>brace-or-equal-initializer</I></td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr id="2662">
<td><a href="https://cplusplus.github.io/CWG/issues/2662.html">2662</a></td>
@@ -15814,7 +15796,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="2668">
<td><a href="https://cplusplus.github.io/CWG/issues/2668.html">2668</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td><TT>co_await</TT> in a <I>lambda-expression</I></td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -15940,7 +15922,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="2689">
<td><a href="https://cplusplus.github.io/CWG/issues/2689.html">2689</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Are cv-qualified <TT>std::nullptr_t</TT> fundamental types?</td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -16004,11 +15986,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>Inconsistency of <I>throw-expression</I> specification</td>
<td class="unknown" align="center">Unknown</td>
</tr>
- <tr class="open" id="2700">
+ <tr id="2700">
<td><a href="https://cplusplus.github.io/CWG/issues/2700.html">2700</a></td>
- <td>review</td>
+ <td>ready</td>
<td><TT>#error</TT> disallows existing implementation practice</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr class="open" id="2701">
<td><a href="https://cplusplus.github.io/CWG/issues/2701.html">2701</a></td>
@@ -16048,7 +16030,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="2707">
<td><a href="https://cplusplus.github.io/CWG/issues/2707.html">2707</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Deduction guides cannot have a trailing <I>requires-clause</I></td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -16088,11 +16070,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>Initialization of reference-to-aggregate from designated initializer list</td>
<td class="unknown" align="center">Unknown</td>
</tr>
- <tr class="open" id="2714">
+ <tr id="2714">
<td><a href="https://cplusplus.github.io/CWG/issues/2714.html">2714</a></td>
- <td>open</td>
+ <td>ready</td>
<td>Implicit deduction guides omit properties from the parameter-declaration-clause of a constructor</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr id="2715">
<td><a href="https://cplusplus.github.io/CWG/issues/2715.html">2715</a></td>
@@ -16172,11 +16154,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>Importing header units synthesized from source files</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open" id="2728">
+ <tr id="2728">
<td><a href="https://cplusplus.github.io/CWG/issues/2728.html">2728</a></td>
- <td>open</td>
+ <td>tentatively ready</td>
<td>Evaluation of conversions in a <I>delete-expression</I></td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr id="2729">
<td><a href="https://cplusplus.github.io/CWG/issues/2729.html">2729</a></td>
@@ -16228,7 +16210,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr class="open" id="2737">
<td><a href="https://cplusplus.github.io/CWG/issues/2737.html">2737</a></td>
- <td>open</td>
+ <td>review</td>
<td>Temporary lifetime extension for reference init-captures</td>
<td align="center">Not resolved</td>
</tr>
@@ -16258,7 +16240,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr class="open" id="2742">
<td><a href="https://cplusplus.github.io/CWG/issues/2742.html">2742</a></td>
- <td>open</td>
+ <td>drafting</td>
<td>Guaranteed copy elision for brace-initialization from prvalue</td>
<td align="center">Not resolved</td>
</tr>
@@ -16274,17 +16256,17 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>Multiple objects of the same type at the same address</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open" id="2745">
+ <tr id="2745">
<td><a href="https://cplusplus.github.io/CWG/issues/2745.html">2745</a></td>
- <td>open</td>
+ <td>ready</td>
<td>Dependent odr-use in generic lambdas</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
- <tr class="open" id="2746">
+ <tr id="2746">
<td><a href="https://cplusplus.github.io/CWG/issues/2746.html">2746</a></td>
- <td>open</td>
+ <td>ready</td>
<td>Checking of default template arguments</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr id="2747">
<td><a href="https://cplusplus.github.io/CWG/issues/2747.html">2747</a></td>
@@ -16294,7 +16276,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="2748">
<td><a href="https://cplusplus.github.io/CWG/issues/2748.html">2748</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Accessing static data members via null pointer</td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -16430,11 +16412,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>Trailing <I>requires-clause</I> can refer to function parameters before they are substituted into</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open" id="2771">
+ <tr id="2771">
<td><a href="https://cplusplus.github.io/CWG/issues/2771.html">2771</a></td>
- <td>open</td>
+ <td>ready</td>
<td>Transformation for <I>unqualified-id</I>s in address operator</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr id="2772">
<td><a href="https://cplusplus.github.io/CWG/issues/2772.html">2772</a></td>
@@ -16456,7 +16438,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="2775">
<td><a href="https://cplusplus.github.io/CWG/issues/2775.html">2775</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Unclear argument type for copy of exception object</td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -16466,15 +16448,15 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>Substitution failure and implementation limits</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open" id="2777">
+ <tr id="2777">
<td><a href="https://cplusplus.github.io/CWG/issues/2777.html">2777</a></td>
- <td>open</td>
+ <td>ready</td>
<td>Type of <I>id-expression</I> denoting a template parameter object</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr class="open" id="2778">
<td><a href="https://cplusplus.github.io/CWG/issues/2778.html">2778</a></td>
- <td>open</td>
+ <td>review</td>
<td>Trivial destructor does not imply constant destruction</td>
<td align="center">Not resolved</td>
</tr>
@@ -16588,7 +16570,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr class="open" id="2797">
<td><a href="https://cplusplus.github.io/CWG/issues/2797.html">2797</a></td>
- <td>open</td>
+ <td>review</td>
<td>Meaning of "corresponds" for rewritten operator candidates</td>
<td align="center">Not resolved</td>
</tr>
@@ -16624,7 +16606,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="2803">
<td><a href="https://cplusplus.github.io/CWG/issues/2803.html">2803</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Overload resolution for reference binding of similar types</td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -16660,19 +16642,19 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="2809">
<td><a href="https://cplusplus.github.io/CWG/issues/2809.html">2809</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>An implicit definition does not redeclare a function</td>
<td class="unknown" align="center">Unknown</td>
</tr>
<tr id="2810">
<td><a href="https://cplusplus.github.io/CWG/issues/2810.html">2810</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Requiring the absence of diagnostics for templates</td>
<td class="unknown" align="center">Unknown</td>
</tr>
<tr id="2811">
<td><a href="https://cplusplus.github.io/CWG/issues/2811.html">2811</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Clarify "use" of main</td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -16682,11 +16664,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>Allocation with explicit alignment</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open" id="2813">
+ <tr id="2813">
<td><a href="https://cplusplus.github.io/CWG/issues/2813.html">2813</a></td>
- <td>review</td>
+ <td>ready</td>
<td>Class member access with prvalues</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr class="open" id="2814">
<td><a href="https://cplusplus.github.io/CWG/issues/2814.html">2814</a></td>
@@ -16712,11 +16694,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>sizeof(abstract class) is underspecified</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open" id="2818">
+ <tr id="2818">
<td><a href="https://cplusplus.github.io/CWG/issues/2818.html">2818</a></td>
- <td>review</td>
+ <td>tentatively ready</td>
<td>Use of predefined reserved identifiers</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr class="open" id="2819">
<td><a href="https://cplusplus.github.io/CWG/issues/2819.html">2819</a></td>
@@ -16724,21 +16706,21 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>Cast from null pointer value in a constant expression</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open" id="2820">
+ <tr id="2820">
<td><a href="https://cplusplus.github.io/CWG/issues/2820.html">2820</a></td>
- <td>open</td>
+ <td>ready</td>
<td>Value-initialization and default constructors</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr class="open" id="2821">
<td><a href="https://cplusplus.github.io/CWG/issues/2821.html">2821</a></td>
- <td>open</td>
+ <td>review</td>
<td>Lifetime, zero-initialization, and dynamic initialization</td>
<td align="center">Not resolved</td>
</tr>
<tr id="2822">
<td><a href="https://cplusplus.github.io/CWG/issues/2822.html">2822</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Side-effect-free pointer zap</td>
<td class="unknown" align="center">Unknown</td>
</tr>
@@ -16750,21 +16732,21 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr id="2824">
<td><a href="https://cplusplus.github.io/CWG/issues/2824.html">2824</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Copy-initialization of arrays</td>
<td class="unknown" align="center">Unknown</td>
</tr>
<tr id="2825">
<td><a href="https://cplusplus.github.io/CWG/issues/2825.html">2825</a></td>
- <td>tentatively ready</td>
+ <td>ready</td>
<td>Range-based for statement using a <I>braced-init-list</I></td>
<td class="unknown" align="center">Unknown</td>
</tr>
- <tr id="2826">
+ <tr class="open" id="2826">
<td><a href="https://cplusplus.github.io/CWG/issues/2826.html">2826</a></td>
- <td>tentatively ready</td>
+ <td>drafting</td>
<td>Missing definition of "temporary expression"</td>
- <td class="unknown" align="center">Unknown</td>
+ <td align="center">Not resolved</td>
</tr>
<tr class="open" id="2827">
<td><a href="https://cplusplus.github.io/CWG/issues/2827.html">2827</a></td>
@@ -16772,11 +16754,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>Representation of unsigned integral types</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open" id="2828">
+ <tr id="2828">
<td><a href="https://cplusplus.github.io/CWG/issues/2828.html">2828</a></td>
- <td>review</td>
+ <td>ready</td>
<td>Ambiguous interpretation of C-style cast</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr class="open" id="2829">
<td><a href="https://cplusplus.github.io/CWG/issues/2829.html">2829</a></td>
@@ -16784,17 +16766,17 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>Redundant case in restricting user-defined conversion sequences</td>
<td align="center">Not resolved</td>
</tr>
- <tr class="open" id="2830">
+ <tr id="2830">
<td><a href="https://cplusplus.github.io/CWG/issues/2830.html">2830</a></td>
- <td>open</td>
+ <td>ready</td>
<td>Top-level cv-qualification should be ignored for list-initialization</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
- <tr class="open" id="2831">
+ <tr id="2831">
<td><a href="https://cplusplus.github.io/CWG/issues/2831.html">2831</a></td>
- <td>open</td>
+ <td>ready</td>
<td>Non-templated function definitions and <I>requires-clause</I>s</td>
- <td align="center">Not resolved</td>
+ <td class="unknown" align="center">Unknown</td>
</tr>
<tr class="open" id="2832">
<td><a href="https://cplusplus.github.io/CWG/issues/2832.html">2832</a></td>
@@ -16810,7 +16792,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr class="open" id="2834">
<td><a href="https://cplusplus.github.io/CWG/issues/2834.html">2834</a></td>
- <td>open</td>
+ <td>review</td>
<td>Partial ordering and explicit object parameters</td>
<td align="center">Not resolved</td>
</tr>
@@ -16822,7 +16804,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
</tr>
<tr class="open" id="2836">
<td><a href="https://cplusplus.github.io/CWG/issues/2836.html">2836</a></td>
- <td>open</td>
+ <td>review</td>
<td>Conversion rank of <TT>long double</TT> and extended floating-point types</td>
<td align="center">Not resolved</td>
</tr>
@@ -16855,8 +16837,196 @@ <h2 id="cxxdr">C++ defect report implementation status</h2>
<td>open</td>
<td>When do const objects start being const?</td>
<td align="center">Not resolved</td>
- </tr></table>
-
-</div>
-</body>
-</html>
+ </tr>
+ <tr class="open" id="2842">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2842.html">2842</a></td>
+ <td>open</td>
+ <td>Preferring an <TT>initializer_list</TT> over a single value</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2843">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2843.html">2843</a></td>
+ <td>review</td>
+ <td>Undated reference to Unicode makes C++ a moving target</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2844">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2844.html">2844</a></td>
+ <td>open</td>
+ <td>Enumerating a finite set of built-in candidates</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr id="2845">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2845.html">2845</a></td>
+ <td>ready</td>
+ <td>Make the closure type of a captureless lambda a structural type</td>
+ <td class="unknown" align="center">Unknown</td>
+ </tr>
+ <tr id="2846">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2846.html">2846</a></td>
+ <td>ready</td>
+ <td>Out-of-class definitions of explicit object member functions</td>
+ <td class="unknown" align="center">Unknown</td>
+ </tr>
+ <tr id="2848">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2848.html">2848</a></td>
+ <td>ready</td>
+ <td>Omitting an empty template argument list for explicit instantiation</td>
+ <td class="unknown" align="center">Unknown</td>
+ </tr>
+ <tr id="2849">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2849.html">2849</a></td>
+ <td>ready</td>
+ <td>Parameter objects are not temporary objects</td>
+ <td class="unknown" align="center">Unknown</td>
+ </tr>
+ <tr id="2850">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2850.html">2850</a></td>
+ <td>ready</td>
+ <td>Unclear storage duration for function parameter objects</td>
+ <td class="unknown" align="center">Unknown</td>
+ </tr>
+ <tr id="2851">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2851.html">2851</a></td>
+ <td>ready</td>
+ <td>Allow floating-point conversions in converted constant expressions</td>
+ <td class="unknown" align="center">Unknown</td>
+ </tr>
+ <tr class="open" id="2852">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2852.html">2852</a></td>
+ <td>open</td>
+ <td>Complete-class contexts and class-scope lambdas</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr id="2853">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2853.html">2853</a></td>
+ <td>ready</td>
+ <td>Pointer arithmetic with pointer to hypothetical element</td>
+ <td class="unknown" align="center">Unknown</td>
+ </tr>
+ <tr id="2854">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2854.html">2854</a></td>
+ <td>ready</td>
+ <td>Storage duration of exception objects</td>
+ <td class="unknown" align="center">Unknown</td>
+ </tr>
+ <tr id="2855">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2855.html">2855</a></td>
+ <td>ready</td>
+ <td>Undefined behavior in postfix increment</td>
+ <td class="unknown" align="center">Unknown</td>
+ </tr>
+ <tr id="2856">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2856.html">2856</a></td>
+ <td>ready</td>
+ <td>Copy-list-initialization with explicit default constructors</td>
+ <td class="unknown" align="center">Unknown</td>
+ </tr>
+ <tr id="2857">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2857.html">2857</a></td>
+ <td>ready</td>
+ <td>Argument-dependent lookup with incomplete class types</td>
+ <td class="unknown" align="center">Unknown</td>
+ </tr>
+ <tr class="open" id="2859">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2859.html">2859</a></td>
+ <td>open</td>
+ <td>Value-initialization with multiple default constructors</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2860">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2860.html">2860</a></td>
+ <td>open</td>
+ <td>Remove and fix the term "vacuous initialization"</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2861">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2861.html">2861</a></td>
+ <td>open</td>
+ <td><TT>dynamic_cast</TT> on bad pointer value</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2862">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2862.html">2862</a></td>
+ <td>open</td>
+ <td>Unclear boundaries of template declarations</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2863">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2863.html">2863</a></td>
+ <td>open</td>
+ <td>Unclear synchronization requirements for object lifetime rules</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2864">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2864.html">2864</a></td>
+ <td>open</td>
+ <td>Narrowing floating-point conversions</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2865">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2865.html">2865</a></td>
+ <td>open</td>
+ <td>Regression on result of conditional operator</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2866">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2866.html">2866</a></td>
+ <td>open</td>
+ <td>Observing the effects of <TT>[[no_unique_address]]</TT></td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2867">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2867.html">2867</a></td>
+ <td>open</td>
+ <td>Order of initialization for structured bindings</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2868">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2868.html">2868</a></td>
+ <td>open</td>
+ <td>Self-references in trivially copyable objects as function return values</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2869">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2869.html">2869</a></td>
+ <td>open</td>
+ <td><TT>this</TT> in local classes</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2870">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2870.html">2870</a></td>
+ <td>open</td>
+ <td>Combining absent <I>encoding-prefix</I>es</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2871">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2871.html">2871</a></td>
+ <td>open</td>
+ <td>User-declared constructor templates inhibiting default constructors</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2872">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2872.html">2872</a></td>
+ <td>open</td>
+ <td>Linkage and unclear "can be referred to"</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2873">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2873.html">2873</a></td>
+ <td>open</td>
+ <td>Taking the address of a function involving template argument deduction</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2874">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2874.html">2874</a></td>
+ <td>open</td>
+ <td>Qualified declarations of partial specializations</td>
+ <td align="center">Not resolved</td>
+ </tr>
+ <tr class="open" id="2875">
+ <td><a href="https://cplusplus.github.io/CWG/issues/2875.html">2875</a></td>
+ <td>open</td>
+ <td>Missing support for round-tripping nullptr through indirection/address operators</td>
+ <td align="center">Not resolved</td>
+ </tr>
\ No newline at end of file
More information about the cfe-commits
mailing list