Author: Vlad Serebrennikov Date: 2025-01-04T18:53:01+04:00 New Revision: da2a9ede81a88bea0bba28a543441197772e4727
URL: https://github.com/llvm/llvm-project/commit/da2a9ede81a88bea0bba28a543441197772e4727 DIFF: https://github.com/llvm/llvm-project/commit/da2a9ede81a88bea0bba28a543441197772e4727.diff LOG: [clang] Update C++ DR status page (#121642) This patch brings our C++ DR status page up to date with WG21 updates. [CWG1223](https://cplusplus.github.io/CWG/issues/1223.html) "Syntactic disambiguation and _trailing-return-types_" is resolved by [P2915R0](https://wg21.link/p2915r0) "Proposed resolution for CWG1223". Both the test and the paper were written by @cor3ntin, so I presume no updates are needed. [CWG2819](https://cplusplus.github.io/CWG/issues/2819.html) "Cast from null pointer value in a constant expression" was revisited and marked as not a DR, so I updated the test to ensure that the example is not accepted in C++23 and earlier modes. CC @offsetof. Tentantive resolutions to the following issues were simply promoted to actual resolutions, so tests don't require any meaningful changes: - [CWG2913](https://cplusplus.github.io/CWG/issues/2913.html) "Grammar for deduction-guide has requires-clause in the wrong position" (@zyn0217) - [CWG2915](https://cplusplus.github.io/CWG/issues/2915.html) "Explicit object parameters of type void" (@MitalAshok) - [CWG2922](https://cplusplus.github.io/CWG/issues/2922.html) "constexpr placement-new is too permissive" (@cor3ntin) As a drive-by fix, I updated the `make_cxx_dr_status` script to accommodate for `C++23 onwards` and `C++26 onwards` statuses, which are useful for Core issues that are not DRs. Added: Modified: clang/test/CXX/drs/cwg12xx.cpp clang/test/CXX/drs/cwg28xx.cpp clang/test/CXX/drs/cwg29xx.cpp clang/www/cxx_dr_status.html clang/www/make_cxx_dr_status Removed: ################################################################################ diff --git a/clang/test/CXX/drs/cwg12xx.cpp b/clang/test/CXX/drs/cwg12xx.cpp index cdfbc6d6726581..951c71a9832de1 100644 --- a/clang/test/CXX/drs/cwg12xx.cpp +++ b/clang/test/CXX/drs/cwg12xx.cpp @@ -32,7 +32,7 @@ namespace cwg1213 { // cwg1213: 7 } #if __cplusplus >= 201103L -namespace cwg1223 { // cwg1223: 17 drafting 2023-05-12 +namespace cwg1223 { // cwg1223: 17 struct M; template <typename T> struct V; diff --git a/clang/test/CXX/drs/cwg28xx.cpp b/clang/test/CXX/drs/cwg28xx.cpp index ff625a4a985bcc..40e2b25eedde09 100644 --- a/clang/test/CXX/drs/cwg28xx.cpp +++ b/clang/test/CXX/drs/cwg28xx.cpp @@ -1,9 +1,9 @@ // RUN: %clang_cc1 -std=c++98 -pedantic-errors -verify=expected,cxx98 %s -// RUN: %clang_cc1 -std=c++11 -pedantic-errors -verify=expected %s -// RUN: %clang_cc1 -std=c++14 -pedantic-errors -verify=expected %s -// RUN: %clang_cc1 -std=c++17 -pedantic-errors -verify=expected %s -// RUN: %clang_cc1 -std=c++20 -pedantic-errors -verify=expected,since-cxx20 %s -// RUN: %clang_cc1 -std=c++23 -pedantic-errors -verify=expected,since-cxx20,since-cxx23 %s +// RUN: %clang_cc1 -std=c++11 -pedantic-errors -verify=expected,cxx11-23 %s +// RUN: %clang_cc1 -std=c++14 -pedantic-errors -verify=expected,cxx11-23 %s +// RUN: %clang_cc1 -std=c++17 -pedantic-errors -verify=expected,cxx11-23 %s +// RUN: %clang_cc1 -std=c++20 -pedantic-errors -verify=expected,cxx11-23,since-cxx20 %s +// RUN: %clang_cc1 -std=c++23 -pedantic-errors -verify=expected,cxx11-23,since-cxx20,since-cxx23 %s // RUN: %clang_cc1 -std=c++2c -pedantic-errors -verify=expected,since-cxx20,since-cxx23,since-cxx26 %s @@ -47,12 +47,17 @@ void f() { #endif } // namespace cwg2813 -namespace cwg2819 { // cwg2819: 19 tentatively ready 2023-12-01 - -#if __cpp_constexpr >= 202306L +namespace cwg2819 { // cwg2819: 19 c++26 +#if __cplusplus >= 201103L + // CWG 2024-04-19: This issue is not a DR. constexpr void* p = nullptr; - constexpr int* q = static_cast<int*>(p); - static_assert(q == nullptr); + constexpr int* q = static_cast<int*>(p); // #cwg2819-q + // cxx11-23-error@-1 {{constexpr variable 'q' must be initialized by a constant expression}} + // cxx11-23-note@-2 {{cast from 'void *' is not allowed in a constant expression}} + static_assert(q == nullptr, ""); + // cxx11-23-error@-1 {{static assertion expression is not an integral constant expression}} + // cxx11-23-note@-2 {{initializer of 'q' is not a constant expression}} + // cxx11-23-note@#cwg2819-q {{declared here}} #endif } diff --git a/clang/test/CXX/drs/cwg29xx.cpp b/clang/test/CXX/drs/cwg29xx.cpp index 9629bdd41a2a56..2aa52ad98ada85 100644 --- a/clang/test/CXX/drs/cwg29xx.cpp +++ b/clang/test/CXX/drs/cwg29xx.cpp @@ -6,7 +6,7 @@ // RUN: %clang_cc1 -std=c++23 -pedantic-errors -verify=expected %s // RUN: %clang_cc1 -std=c++2c -pedantic-errors -verify=expected %s -namespace cwg2913 { // cwg2913: 20 tentatively ready 2024-08-16 +namespace cwg2913 { // cwg2913: 20 #if __cplusplus >= 202002L @@ -26,7 +26,7 @@ R(T, T) requires true -> R<T>; // expected-error {{expected function body after } // namespace cwg2913 -namespace cwg2915 { // cwg2915: 20 tentatively ready 2024-08-16 +namespace cwg2915 { // cwg2915: 20 #if __cplusplus >= 202302L struct A { void f(this void); // expected-error {{explicit object parameter cannot have 'void' type}} @@ -61,7 +61,7 @@ void *operator new(std::size_t, void *p) { return p; } void* operator new[] (std::size_t, void* p) {return p;} -namespace cwg2922 { // cwg2922: 20 tentatively ready 2024-07-10 +namespace cwg2922 { // cwg2922: 20 union U { int a, b; }; constexpr U nondeterministic(bool i) { if(i) { diff --git a/clang/www/cxx_dr_status.html b/clang/www/cxx_dr_status.html index 386c57250b7db6..c069e155fd547c 100755 --- a/clang/www/cxx_dr_status.html +++ b/clang/www/cxx_dr_status.html @@ -1442,7 +1442,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr id="233"> <td><a href="https://cplusplus.github.io/CWG/issues/233.html";>233</a></td> - <td>DR</td> + <td>DRWP</td> <td>References vs pointers in UDC overload resolution</td> <td class="unknown" align="center">Unknown</td> </tr> @@ -7153,15 +7153,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>Unnecessary restriction on <TT>auto</TT> array types</td> <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="1223"> + <tr id="1223"> <td><a href="https://cplusplus.github.io/CWG/issues/1223.html";>1223</a></td> - <td>drafting</td> + <td>DRWP</td> <td>Syntactic disambiguation and <I>trailing-return-type</I>s</td> - <td align="center"> - <details> - <summary>Not resolved</summary> - Clang 17 implements 2023-05-12 resolution - </details></td> + <td class="full" align="center">Clang 17</td> </tr> <tr id="1224"> <td><a href="https://cplusplus.github.io/CWG/issues/1224.html";>1224</a></td> @@ -8945,11 +8941,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>Alias template specialization vs pack expansion</td> <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="1521"> + <tr id="1521"> <td><a href="https://cplusplus.github.io/CWG/issues/1521.html";>1521</a></td> - <td>drafting</td> + <td>dup</td> <td><TT>T{</TT><I>expr</I><TT>}</TT> with reference types</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr id="1522"> <td><a href="https://cplusplus.github.io/CWG/issues/1522.html";>1522</a></td> @@ -11545,11 +11541,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>Constant expressions and library undefined behavior</td> <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="1953"> + <tr id="1953"> <td><a href="https://cplusplus.github.io/CWG/issues/1953.html";>1953</a></td> - <td>open</td> + <td>DR</td> <td>Data races and common initial sequence</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr id="1954"> <td><a href="https://cplusplus.github.io/CWG/issues/1954.html";>1954</a></td> @@ -11619,7 +11615,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr class="open" id="1965"> <td><a href="https://cplusplus.github.io/CWG/issues/1965.html";>1965</a></td> - <td>drafting</td> + <td>open</td> <td>Explicit casts to reference types</td> <td align="center">Not resolved</td> </tr> @@ -12693,7 +12689,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr id="2144"> <td><a href="https://cplusplus.github.io/CWG/issues/2144.html";>2144</a></td> - <td>DR</td> + <td>DRWP</td> <td>Function/variable declaration ambiguity</td> <td class="unknown" align="center">Unknown</td> </tr> @@ -13525,11 +13521,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>Consistency with mismatched aligned/non-over-aligned allocation/deallocation functions</td> <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="2283"> + <tr id="2283"> <td><a href="https://cplusplus.github.io/CWG/issues/2283.html";>2283</a></td> - <td>drafting</td> + <td>DR</td> <td>Missing complete type requirements</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr class="open" id="2284"> <td><a href="https://cplusplus.github.io/CWG/issues/2284.html";>2284</a></td> @@ -15183,7 +15179,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr class="open" id="2557"> <td><a href="https://cplusplus.github.io/CWG/issues/2557.html";>2557</a></td> - <td>drafting</td> + <td>review</td> <td>Class member access referring to an unrelated class</td> <td align="center">Not resolved</td> </tr> @@ -15207,7 +15203,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr id="2561"> <td><a href="https://cplusplus.github.io/CWG/issues/2561.html";>2561</a></td> - <td>DR</td> + <td>DRWP</td> <td>Conversion to function pointer for lambda with explicit object parameter</td> <td class="none" align="center">No</td> </tr> @@ -15373,7 +15369,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr id="2588"> <td><a href="https://cplusplus.github.io/CWG/issues/2588.html";>2588</a></td> - <td>DR</td> + <td>DRWP</td> <td>friend declarations and module linkage</td> <td class="unknown" align="center">Unknown</td> </tr> @@ -16213,7 +16209,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr id="2728"> <td><a href="https://cplusplus.github.io/CWG/issues/2728.html";>2728</a></td> - <td>DR</td> + <td>DRWP</td> <td>Evaluation of conversions in a <I>delete-expression</I></td> <td class="unknown" align="center">Unknown</td> </tr> @@ -16734,11 +16730,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>Alignment requirement of incomplete class type</td> <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="2815"> + <tr id="2815"> <td><a href="https://cplusplus.github.io/CWG/issues/2815.html";>2815</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Overload resolution for references/pointers to <TT>noexcept</TT> functions</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr class="open" id="2816"> <td><a href="https://cplusplus.github.io/CWG/issues/2816.html";>2816</a></td> @@ -16754,15 +16750,15 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr id="2818"> <td><a href="https://cplusplus.github.io/CWG/issues/2818.html";>2818</a></td> - <td>DR</td> + <td>DRWP</td> <td>Use of predefined reserved identifiers</td> <td class="unknown" align="center">Unknown</td> </tr> <tr id="2819"> <td><a href="https://cplusplus.github.io/CWG/issues/2819.html";>2819</a></td> - <td>accepted</td> + <td>WP</td> <td>Cast from null pointer value in a constant expression</td> - <td class="full" align="center">Clang 19</td> + <td class="full" align="center">Clang 19 (C++26 onwards)</td> </tr> <tr id="2820"> <td><a href="https://cplusplus.github.io/CWG/issues/2820.html";>2820</a></td> @@ -16862,7 +16858,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr id="2836"> <td><a href="https://cplusplus.github.io/CWG/issues/2836.html";>2836</a></td> - <td>DR</td> + <td>DRWP</td> <td>Conversion rank of <TT>long double</TT> and extended floating-point types</td> <td class="unknown" align="center">Unknown</td> </tr> @@ -16904,7 +16900,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr class="open" id="2843"> <td><a href="https://cplusplus.github.io/CWG/issues/2843.html";>2843</a></td> - <td>review</td> + <td>drafting</td> <td>Undated reference to Unicode makes C++ a moving target</td> <td align="center">Not resolved</td> </tr> @@ -16998,13 +16994,13 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr id="2858"> <td><a href="https://cplusplus.github.io/CWG/issues/2858.html";>2858</a></td> - <td>accepted</td> + <td>WP</td> <td>Declarative <I>nested-name-specifier</I>s and <I>pack-index-specifier</I>s</td> <td class="full" align="center">Clang 19</td> </tr> <tr id="2859"> <td><a href="https://cplusplus.github.io/CWG/issues/2859.html";>2859</a></td> - <td>DR</td> + <td>DRWP</td> <td>Value-initialization with multiple default constructors</td> <td class="unknown" align="center">Unknown</td> </tr> @@ -17016,7 +17012,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr id="2861"> <td><a href="https://cplusplus.github.io/CWG/issues/2861.html";>2861</a></td> - <td>DR</td> + <td>DRWP</td> <td><TT>dynamic_cast</TT> on bad pointer value</td> <td class="unknown" align="center">Unknown</td> </tr> @@ -17034,13 +17030,13 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr id="2864"> <td><a href="https://cplusplus.github.io/CWG/issues/2864.html";>2864</a></td> - <td>DR</td> + <td>DRWP</td> <td>Narrowing floating-point conversions</td> <td class="unknown" align="center">Unknown</td> </tr> <tr id="2865"> <td><a href="https://cplusplus.github.io/CWG/issues/2865.html";>2865</a></td> - <td>DR</td> + <td>DRWP</td> <td>Regression on result of conditional operator</td> <td class="unknown" align="center">Unknown</td> </tr> @@ -17052,7 +17048,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr id="2867"> <td><a href="https://cplusplus.github.io/CWG/issues/2867.html";>2867</a></td> - <td>DR</td> + <td>DRWP</td> <td>Order of initialization for structured bindings</td> <td class="unknown" align="center">Unknown</td> </tr> @@ -17064,25 +17060,25 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr id="2869"> <td><a href="https://cplusplus.github.io/CWG/issues/2869.html";>2869</a></td> - <td>DR</td> + <td>DRWP</td> <td><TT>this</TT> in local classes</td> <td class="unknown" align="center">Unknown</td> </tr> <tr id="2870"> <td><a href="https://cplusplus.github.io/CWG/issues/2870.html";>2870</a></td> - <td>DR</td> + <td>DRWP</td> <td>Combining absent <I>encoding-prefix</I>es</td> <td class="unknown" align="center">Unknown</td> </tr> <tr id="2871"> <td><a href="https://cplusplus.github.io/CWG/issues/2871.html";>2871</a></td> - <td>DR</td> + <td>DRWP</td> <td>User-declared constructor templates inhibiting default constructors</td> <td class="unknown" align="center">Unknown</td> </tr> <tr id="2872"> <td><a href="https://cplusplus.github.io/CWG/issues/2872.html";>2872</a></td> - <td>DR</td> + <td>DRWP</td> <td>Linkage and unclear "can be referred to"</td> <td class="unknown" align="center">Unknown</td> </tr> @@ -17094,7 +17090,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr id="2874"> <td><a href="https://cplusplus.github.io/CWG/issues/2874.html";>2874</a></td> - <td>DR</td> + <td>DRWP</td> <td>Qualified declarations of partial specializations</td> <td class="unknown" align="center">Unknown</td> </tr> @@ -17106,13 +17102,13 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr id="2876"> <td><a href="https://cplusplus.github.io/CWG/issues/2876.html";>2876</a></td> - <td>accepted</td> + <td>WP</td> <td>Disambiguation of <TT>T x = delete("text")</TT></td> <td class="unknown" align="center">Unknown</td> </tr> <tr id="2877"> <td><a href="https://cplusplus.github.io/CWG/issues/2877.html";>2877</a></td> - <td>DR</td> + <td>DRWP</td> <td>Type-only lookup for <I>using-enum-declarator</I></td> <td class="full" align="center">Clang 19</td> </tr> @@ -17122,33 +17118,33 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>C-style casts to reference types</td> <td align="center">Not resolved</td> </tr> - <tr class="open" id="2879"> + <tr id="2879"> <td><a href="https://cplusplus.github.io/CWG/issues/2879.html";>2879</a></td> - <td>review</td> + <td>DR</td> <td>Undesired outcomes with <TT>const_cast</TT></td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr id="2880"> <td><a href="https://cplusplus.github.io/CWG/issues/2880.html";>2880</a></td> - <td>accepted</td> + <td>WP</td> <td>Accessibility check for destructor of incomplete class type</td> <td class="unknown" align="center">Unknown</td> </tr> <tr id="2881"> <td><a href="https://cplusplus.github.io/CWG/issues/2881.html";>2881</a></td> - <td>DR</td> + <td>DRWP</td> <td>Type restrictions for the explicit object parameter of a lambda</td> <td class="full" align="center">Clang 19</td> </tr> <tr id="2882"> <td><a href="https://cplusplus.github.io/CWG/issues/2882.html";>2882</a></td> - <td>DR</td> + <td>DRWP</td> <td>Unclear treatment of conversion to <TT>void</TT></td> <td class="full" align="center">Clang 2.7</td> </tr> <tr id="2883"> <td><a href="https://cplusplus.github.io/CWG/issues/2883.html";>2883</a></td> - <td>DR</td> + <td>DRWP</td> <td>Definition of "odr-usable" ignores lambda scopes</td> <td class="none" align="center">No</td> </tr> @@ -17170,13 +17166,13 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr id="2886"> <td><a href="https://cplusplus.github.io/CWG/issues/2886.html";>2886</a></td> - <td>DR</td> + <td>DRWP</td> <td>Temporaries and trivial potentially-throwing special member functions</td> <td class="full" align="center">Clang 9</td> </tr> <tr id="2887"> <td><a href="https://cplusplus.github.io/CWG/issues/2887.html";>2887</a></td> - <td>DR</td> + <td>DRWP</td> <td>Missing compatibility entries for xvalues</td> <td class="unknown" align="center">Unknown</td> </tr> @@ -17192,21 +17188,21 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>Requiring an accessible destructor for destroying operator delete</td> <td align="center">Not resolved</td> </tr> - <tr class="open" id="2890"> + <tr id="2890"> <td><a href="https://cplusplus.github.io/CWG/issues/2890.html";>2890</a></td> - <td>review</td> + <td>DR</td> <td>Defining members of local classes</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr id="2891"> <td><a href="https://cplusplus.github.io/CWG/issues/2891.html";>2891</a></td> - <td>DR</td> + <td>DRWP</td> <td>Normative status of implementation limits</td> <td class="unknown" align="center">Unknown</td> </tr> <tr id="2892"> <td><a href="https://cplusplus.github.io/CWG/issues/2892.html";>2892</a></td> - <td>DR</td> + <td>DRWP</td> <td>Unclear usual arithmetic conversions</td> <td class="unknown" align="center">Unknown</td> </tr> @@ -17216,15 +17212,15 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>Instantiations in discarded <TT>if constexpr</TT> substatements</td> <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="2894"> + <tr id="2894"> <td><a href="https://cplusplus.github.io/CWG/issues/2894.html";>2894</a></td> - <td>review</td> + <td>DR</td> <td>Functional casts create prvalues of reference type</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr id="2895"> <td><a href="https://cplusplus.github.io/CWG/issues/2895.html";>2895</a></td> - <td>DR</td> + <td>DRWP</td> <td>Initialization should ignore the destination type's cv-qualification</td> <td class="unknown" align="center">Unknown</td> </tr> @@ -17246,11 +17242,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>Clarify implicit conversion sequence from <I>cv</I> <TT>T</TT> to <TT>T</TT></td> <td align="center">Not resolved</td> </tr> - <tr class="open" id="2899"> + <tr id="2899"> <td><a href="https://cplusplus.github.io/CWG/issues/2899.html";>2899</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Bad value representations should cause undefined behavior</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr class="open" id="2900"> <td><a href="https://cplusplus.github.io/CWG/issues/2900.html";>2900</a></td> @@ -17258,11 +17254,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>Deduction of non-type template arguments with placeholder types</td> <td align="center">Not resolved</td> </tr> - <tr class="open" id="2901"> + <tr id="2901"> <td><a href="https://cplusplus.github.io/CWG/issues/2901.html";>2901</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Unclear semantics for near-match aliased access</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr class="open" id="2902"> <td><a href="https://cplusplus.github.io/CWG/issues/2902.html";>2902</a></td> @@ -17272,7 +17268,7 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr class="open" id="2903"> <td><a href="https://cplusplus.github.io/CWG/issues/2903.html";>2903</a></td> - <td>tentatively ready</td> + <td>drafting</td> <td>Can we omit the <TT>template</TT> disambiguator in <I>nested-name-specifier</I>s in type-only contexts?</td> <td align="center">Not resolved</td> </tr> @@ -17282,47 +17278,47 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>Introducing <I>template-name</I>s</td> <td align="center">Not resolved</td> </tr> - <tr class="open" id="2905"> + <tr id="2905"> <td><a href="https://cplusplus.github.io/CWG/issues/2905.html";>2905</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Value-dependence of <I>noexcept-expression</I></td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="2906"> + <tr id="2906"> <td><a href="https://cplusplus.github.io/CWG/issues/2906.html";>2906</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Lvalue-to-rvalue conversion of class types for conditional operator</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="2907"> + <tr id="2907"> <td><a href="https://cplusplus.github.io/CWG/issues/2907.html";>2907</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Constant lvalue-to-rvalue conversion on uninitialized <TT>std::nullptr_t</TT></td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="2908"> + <tr id="2908"> <td><a href="https://cplusplus.github.io/CWG/issues/2908.html";>2908</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Counting physical source lines for <TT>__LINE__</TT></td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="2909"> + <tr id="2909"> <td><a href="https://cplusplus.github.io/CWG/issues/2909.html";>2909</a></td> - <td>review</td> + <td>DR</td> <td>Subtle diff erence between constant-initialized and constexpr</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="2910"> + <tr id="2910"> <td><a href="https://cplusplus.github.io/CWG/issues/2910.html";>2910</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Effect of <I>requirement-parameter-list</I>s on odr-usability</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="2911"> + <tr id="2911"> <td><a href="https://cplusplus.github.io/CWG/issues/2911.html";>2911</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Unclear meaning of expressions "appearing within" subexpressions</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr class="open" id="2912"> <td><a href="https://cplusplus.github.io/CWG/issues/2912.html";>2912</a></td> @@ -17330,15 +17326,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>Too-large value for size in array new</td> <td align="center">Not resolved</td> </tr> - <tr class="open" id="2913"> + <tr id="2913"> <td><a href="https://cplusplus.github.io/CWG/issues/2913.html";>2913</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Grammar for <I>deduction-guide</I> has <I>requires-clause</I> in the wrong position</td> - <td align="center"> - <details> - <summary>Not resolved</summary> - Clang 20 implements 2024-08-16 resolution - </details></td> + <td class="unreleased" align="center">Clang 20</td> </tr> <tr class="open" id="2914"> <td><a href="https://cplusplus.github.io/CWG/issues/2914.html";>2914</a></td> @@ -17346,15 +17338,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>Unclear order of initialization of static and thread-local variables</td> <td align="center">Not resolved</td> </tr> - <tr class="open" id="2915"> + <tr id="2915"> <td><a href="https://cplusplus.github.io/CWG/issues/2915.html";>2915</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Explicit object parameters of type <TT>void</TT></td> - <td align="center"> - <details> - <summary>Not resolved</summary> - Clang 20 implements 2024-08-16 resolution - </details></td> + <td class="unreleased" align="center">Clang 20</td> </tr> <tr class="open" id="2916"> <td><a href="https://cplusplus.github.io/CWG/issues/2916.html";>2916</a></td> @@ -17372,17 +17360,17 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> Clang 20 implements 2024-07-30 resolution </details></td> </tr> - <tr class="open" id="2918"> + <tr id="2918"> <td><a href="https://cplusplus.github.io/CWG/issues/2918.html";>2918</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Consideration of constraints for address of overloaded function</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="2919"> + <tr id="2919"> <td><a href="https://cplusplus.github.io/CWG/issues/2919.html";>2919</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Conversion function candidates for initialization of const lvalue reference</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr class="open" id="2920"> <td><a href="https://cplusplus.github.io/CWG/issues/2920.html";>2920</a></td> @@ -17390,33 +17378,29 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>The <TT>template</TT> keyword for base classes</td> <td align="center">Not resolved</td> </tr> - <tr class="open" id="2921"> + <tr id="2921"> <td><a href="https://cplusplus.github.io/CWG/issues/2921.html";>2921</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Exporting redeclarations of entities not attached to a named module</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="2922"> + <tr id="2922"> <td><a href="https://cplusplus.github.io/CWG/issues/2922.html";>2922</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>constexpr placement-new is too permissive</td> - <td align="center"> - <details> - <summary>Not resolved</summary> - Clang 20 implements 2024-07-10 resolution - </details></td> + <td class="unreleased" align="center">Clang 20</td> </tr> <tr class="open" id="2923"> <td><a href="https://cplusplus.github.io/CWG/issues/2923.html";>2923</a></td> - <td>tentatively ready</td> + <td>review</td> <td>Note about infinite loops and execution steps</td> <td align="center">Not resolved</td> </tr> - <tr class="open" id="2924"> + <tr id="2924"> <td><a href="https://cplusplus.github.io/CWG/issues/2924.html";>2924</a></td> - <td>review</td> + <td>DR</td> <td>Undefined behavior during constant evaluation</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr id="2925"> <td><a href="https://cplusplus.github.io/CWG/issues/2925.html";>2925</a></td> @@ -17426,15 +17410,15 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr class="open" id="2926"> <td><a href="https://cplusplus.github.io/CWG/issues/2926.html";>2926</a></td> - <td>open</td> + <td>drafting</td> <td>Lookup context for dependent qualified names</td> <td align="center">Not resolved</td> </tr> - <tr class="open" id="2927"> + <tr id="2927"> <td><a href="https://cplusplus.github.io/CWG/issues/2927.html";>2927</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Unclear status of translation unit with <TT>module</TT> keyword</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr class="open" id="2928"> <td><a href="https://cplusplus.github.io/CWG/issues/2928.html";>2928</a></td> @@ -17444,21 +17428,21 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> </tr> <tr class="open" id="2929"> <td><a href="https://cplusplus.github.io/CWG/issues/2929.html";>2929</a></td> - <td>tentatively ready</td> + <td>review</td> <td>Lifetime of trivially-destructible static or thread-local objects</td> <td align="center">Not resolved</td> </tr> - <tr class="open" id="2930"> + <tr id="2930"> <td><a href="https://cplusplus.github.io/CWG/issues/2930.html";>2930</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Unclear term "copy/move operation" in specification of copy elision</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="2931"> + <tr id="2931"> <td><a href="https://cplusplus.github.io/CWG/issues/2931.html";>2931</a></td> - <td>tentatively ready</td> + <td>DR</td> <td>Restrictions on operator functions that are explicit object member functions</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr class="open" id="2932"> <td><a href="https://cplusplus.github.io/CWG/issues/2932.html";>2932</a></td> @@ -17466,11 +17450,11 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>Value range of empty enumeration</td> <td align="center">Not resolved</td> </tr> - <tr class="open" id="2933"> + <tr id="2933"> <td><a href="https://cplusplus.github.io/CWG/issues/2933.html";>2933</a></td> - <td>open</td> + <td>DR</td> <td>Dangling references</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr class="open" id="2934"> <td><a href="https://cplusplus.github.io/CWG/issues/2934.html";>2934</a></td> @@ -17484,17 +17468,17 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>Destroying the coroutine state when initial-await-resume-called is false</td> <td align="center">Not resolved</td> </tr> - <tr class="open" id="2936"> + <tr id="2936"> <td><a href="https://cplusplus.github.io/CWG/issues/2936.html";>2936</a></td> - <td>open</td> + <td>DR</td> <td>Local classes of templated functions should be part of the current instantiation</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> - <tr class="open" id="2937"> + <tr id="2937"> <td><a href="https://cplusplus.github.io/CWG/issues/2937.html";>2937</a></td> - <td>open</td> + <td>DR</td> <td>Grammar for <I>preprocessing-file</I> has no normative effect</td> - <td align="center">Not resolved</td> + <td class="unknown" align="center">Unknown</td> </tr> <tr class="open" id="2938"> <td><a href="https://cplusplus.github.io/CWG/issues/2938.html";>2938</a></td> @@ -17502,10 +17486,268 @@ <h2 id="cxxdr">C++ defect report implementation status</h2> <td>Inheriting linkage from a previous declaration</td> <td align="center">Not resolved</td> </tr> - <tr class="open" id="2939"> + <tr id="2939"> <td><a href="https://cplusplus.github.io/CWG/issues/2939.html";>2939</a></td> - <td>open</td> + <td>DR</td> <td>Do not allow <TT>reinterpret_cast</TT> from prvalue to rvalue reference</td> + <td class="unknown" align="center">Unknown</td> + </tr> + <tr class="open" id="2940"> + <td><a href="https://cplusplus.github.io/CWG/issues/2940.html";>2940</a></td> + <td>review</td> + <td>Definition of "object"</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2941"> + <td><a href="https://cplusplus.github.io/CWG/issues/2941.html";>2941</a></td> + <td>open</td> + <td>Lifetime extension for function-style cast to reference type</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2942"> + <td><a href="https://cplusplus.github.io/CWG/issues/2942.html";>2942</a></td> + <td>open</td> + <td>Packs in a function's parameter-type-list</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2943"> + <td><a href="https://cplusplus.github.io/CWG/issues/2943.html";>2943</a></td> + <td>open</td> + <td>Discarding a void return value</td> + <td align="center">Not resolved</td> + </tr> + <tr id="2944"> + <td><a href="https://cplusplus.github.io/CWG/issues/2944.html";>2944</a></td> + <td>DR</td> + <td>Unsequenced <I>throw-expression</I>s</td> + <td class="unknown" align="center">Unknown</td> + </tr> + <tr class="open" id="2945"> + <td><a href="https://cplusplus.github.io/CWG/issues/2945.html";>2945</a></td> + <td>open</td> + <td>Redundant constraints on matching function template declarations</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2946"> + <td><a href="https://cplusplus.github.io/CWG/issues/2946.html";>2946</a></td> + <td>open</td> + <td>Dependent call equivalence in non-ADL cases</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2947"> + <td><a href="https://cplusplus.github.io/CWG/issues/2947.html";>2947</a></td> + <td>open</td> + <td>Limiting macro expansion in <I>pp-module</I></td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2948"> + <td><a href="https://cplusplus.github.io/CWG/issues/2948.html";>2948</a></td> + <td>open</td> + <td>Late ambiguity for partial template specialization</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2949"> + <td><a href="https://cplusplus.github.io/CWG/issues/2949.html";>2949</a></td> + <td>open</td> + <td>Treatment of ellipsis during partial ordering</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2950"> + <td><a href="https://cplusplus.github.io/CWG/issues/2950.html";>2950</a></td> + <td>open</td> + <td>Value preservation in enumeration vs. integer bit-fields</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2951"> + <td><a href="https://cplusplus.github.io/CWG/issues/2951.html";>2951</a></td> + <td>open</td> + <td>Distinguishing a primary template</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2952"> + <td><a href="https://cplusplus.github.io/CWG/issues/2952.html";>2952</a></td> + <td>open</td> + <td>Vacuous initialization for subobjects</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2953"> + <td><a href="https://cplusplus.github.io/CWG/issues/2953.html";>2953</a></td> + <td>open</td> + <td>Value representation for non-trivially-copyable types</td> + <td align="center">Not resolved</td> + </tr> + <tr id="2954"> + <td><a href="https://cplusplus.github.io/CWG/issues/2954.html";>2954</a></td> + <td>NAD</td> + <td>Simultaneous modifications of an atomic object</td> + <td class="unknown" align="center">Unknown</td> + </tr> + <tr class="open" id="2955"> + <td><a href="https://cplusplus.github.io/CWG/issues/2955.html";>2955</a></td> + <td>open</td> + <td>Unify rules about conflicting unordered accesses</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2956"> + <td><a href="https://cplusplus.github.io/CWG/issues/2956.html";>2956</a></td> + <td>open</td> + <td>Missing allowance for pseudo-destructors in qualified lookup</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2957"> + <td><a href="https://cplusplus.github.io/CWG/issues/2957.html";>2957</a></td> + <td>open</td> + <td>Evaluating a reference member should constitute access</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2958"> + <td><a href="https://cplusplus.github.io/CWG/issues/2958.html";>2958</a></td> + <td>open</td> + <td>Overload resolution involving lvalue transformation and qualification conversion</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2959"> + <td><a href="https://cplusplus.github.io/CWG/issues/2959.html";>2959</a></td> + <td>open</td> + <td>Naming enumerators in class member access expressions</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2960"> + <td><a href="https://cplusplus.github.io/CWG/issues/2960.html";>2960</a></td> + <td>open</td> + <td>Introduce discontiguous object lifetime</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2961"> + <td><a href="https://cplusplus.github.io/CWG/issues/2961.html";>2961</a></td> + <td>open</td> + <td>Checking of ill-formed types in <I>constraint-expression</I>s</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2962"> + <td><a href="https://cplusplus.github.io/CWG/issues/2962.html";>2962</a></td> + <td>open</td> + <td>Evaluation of destructor call for variable with constant destruction</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2963"> + <td><a href="https://cplusplus.github.io/CWG/issues/2963.html";>2963</a></td> + <td>open</td> + <td>Paradoxical variable-or-function declaration</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2964"> + <td><a href="https://cplusplus.github.io/CWG/issues/2964.html";>2964</a></td> + <td>open</td> + <td>Reading "invalid pointer values"</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2965"> + <td><a href="https://cplusplus.github.io/CWG/issues/2965.html";>2965</a></td> + <td>open</td> + <td>Generic lambdas do not have a template parameter scope</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2966"> + <td><a href="https://cplusplus.github.io/CWG/issues/2966.html";>2966</a></td> + <td>open</td> + <td>Alignment and value representation of <TT>std::nullptr_t</TT></td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2967"> + <td><a href="https://cplusplus.github.io/CWG/issues/2967.html";>2967</a></td> + <td>open</td> + <td>Explicit conversion functions</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2968"> + <td><a href="https://cplusplus.github.io/CWG/issues/2968.html";>2968</a></td> + <td>open</td> + <td>Name lookup result for <I>typedef-name</I> vs. <I>class-name</I></td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2969"> + <td><a href="https://cplusplus.github.io/CWG/issues/2969.html";>2969</a></td> + <td>open</td> + <td>Scopes in the <I>function-try-block</I> of a constructor</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2970"> + <td><a href="https://cplusplus.github.io/CWG/issues/2970.html";>2970</a></td> + <td>open</td> + <td>Races with <TT>volatile sig_atomic_t</TT> bit-fields</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2971"> + <td><a href="https://cplusplus.github.io/CWG/issues/2971.html";>2971</a></td> + <td>open</td> + <td>Specializations for a class are not decl-reachable</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2972"> + <td><a href="https://cplusplus.github.io/CWG/issues/2972.html";>2972</a></td> + <td>open</td> + <td>Declarative <I>nested-name-specifier</I> naming a partial specialization</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2973"> + <td><a href="https://cplusplus.github.io/CWG/issues/2973.html";>2973</a></td> + <td>open</td> + <td>Does an <I>alias-declaration</I> introduce a name for linkage purposes?</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2974"> + <td><a href="https://cplusplus.github.io/CWG/issues/2974.html";>2974</a></td> + <td>open</td> + <td>Non-deduced context for <I>qualified-id</I> naming a template</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2975"> + <td><a href="https://cplusplus.github.io/CWG/issues/2975.html";>2975</a></td> + <td>open</td> + <td>Effect of concept <I>template-head</I> on parameter mappings</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2976"> + <td><a href="https://cplusplus.github.io/CWG/issues/2976.html";>2976</a></td> + <td>open</td> + <td>Transferring control out of a function</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2977"> + <td><a href="https://cplusplus.github.io/CWG/issues/2977.html";>2977</a></td> + <td>open</td> + <td>Initialization with string literals</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2978"> + <td><a href="https://cplusplus.github.io/CWG/issues/2978.html";>2978</a></td> + <td>open</td> + <td>Deduction involving reference to similar types</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2979"> + <td><a href="https://cplusplus.github.io/CWG/issues/2979.html";>2979</a></td> + <td>open</td> + <td>Duplicate declarations of enumerations in class scope</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2980"> + <td><a href="https://cplusplus.github.io/CWG/issues/2980.html";>2980</a></td> + <td>open</td> + <td>Constraints on template template parameters</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2981"> + <td><a href="https://cplusplus.github.io/CWG/issues/2981.html";>2981</a></td> + <td>open</td> + <td>Usual arithmetic conversions and result types</td> + <td align="center">Not resolved</td> + </tr> + <tr class="open" id="2982"> + <td><a href="https://cplusplus.github.io/CWG/issues/2982.html";>2982</a></td> + <td>open</td> + <td>Deduction in <I>type-constraint</I>s</td> <td align="center">Not resolved</td> </tr></table> diff --git a/clang/www/make_cxx_dr_status b/clang/www/make_cxx_dr_status index f9a35c61c12dea..e0885fdbd2d3c2 100755 --- a/clang/www/make_cxx_dr_status +++ b/clang/www/make_cxx_dr_status @@ -169,6 +169,12 @@ def availability(issue): elif status.endswith(' c++20'): status = status[:-6] avail_suffix = ' (C++20 onwards)' + elif status.endswith(' c++23'): + status = status[:-6] + avail_suffix = ' (C++23 onwards)' + elif status.endswith(' c++26'): + status = status[:-6] + avail_suffix = ' (C++26 onwards)' if status == 'unknown': avail = 'Unknown' avail_style = 'unknown' _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
