From 254a71b6d2ef6a0ee1c1b2b9706ab56a56b7663f Mon Sep 17 00:00:00 2001 From: Corentin Jabot Date: Sat, 25 Mar 2023 13:15:08 +0100 Subject: [PATCH] [Clang] Update DR status page to reflect Core Issues List 111. --- clang/test/CXX/drs/dr25xx.cpp | 2 +- clang/test/CXX/drs/dr26xx.cpp | 3 +- clang/www/cxx_dr_status.html | 652 ++++++++++++++++++++++++++++++++---------- 3 files changed, 497 insertions(+), 160 deletions(-) diff --git a/clang/test/CXX/drs/dr25xx.cpp b/clang/test/CXX/drs/dr25xx.cpp index c4f7d3eb..0800add 100644 --- a/clang/test/CXX/drs/dr25xx.cpp +++ b/clang/test/CXX/drs/dr25xx.cpp @@ -1,6 +1,6 @@ // RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-unknown %s -verify -namespace dr2518 { // dr2518: 17 review +namespace dr2518 { // dr2518: 17 template void f(T t) { diff --git a/clang/test/CXX/drs/dr26xx.cpp b/clang/test/CXX/drs/dr26xx.cpp index e69a151..f2ec677 100644 --- a/clang/test/CXX/drs/dr26xx.cpp +++ b/clang/test/CXX/drs/dr26xx.cpp @@ -14,7 +14,8 @@ using enum E; // expected-error {{unknown type name E}} } } -namespace dr2628 { // dr2628: no, this was reverted for the 16.x release +namespace dr2628 { // dr2628: no open + // this was reverted for the 16.x release // due to regressions, see the issue for more details: // https://github.com/llvm/llvm-project/issues/60777 diff --git a/clang/www/cxx_dr_status.html b/clang/www/cxx_dr_status.html index f57aafc..0e1101e 100755 --- a/clang/www/cxx_dr_status.html +++ b/clang/www/cxx_dr_status.html @@ -1053,11 +1053,11 @@ template-ids in using-declarations Yes - + 170 - review + tentatively ready Pointer-to-member conversions - Not resolved + Unknown 171 @@ -4489,11 +4489,11 @@ and POD class Matching template arguments with template template parameters with parameter packs Unknown - + 745 - open + C++23 Effect of ill-formedness resulting from #error - Not resolved + Unknown 746 @@ -5235,7 +5235,7 @@ and POD class 900 - DR + DRWP Lifetime of temporaries in range-based for Unknown @@ -6033,7 +6033,7 @@ and POD class 1038 - open + review Overload resolution of &x.static_func Not resolved @@ -6059,7 +6059,7 @@ and POD class 1042 C++11 Attributes in alias-declarations - 3.5 + Clang 3.5 1043 @@ -7921,11 +7921,11 @@ and POD class Inconsistent class scope and completeness rules Unknown - + 1353 - drafting + tentatively ready Array and variant members and deleted special member functions - Not resolved + Unknown 1354 @@ -7963,11 +7963,11 @@ and POD class constexpr union constructors Clang 3.5 - + 1360 - drafting + CD6 constexpr defaulted default constructors - Not resolved + Unknown 1361 @@ -8179,11 +8179,11 @@ and POD class Partial ordering of variadic templates reconsidered Clang 16 - + 1396 - review + DRWP Deferred instantiation and checking of non-static data member initializers - Not resolved + Unknown 1397 @@ -8221,11 +8221,11 @@ and POD class Move functions too often deleted Unknown - + 1403 - review + CD6 Universal-character-names in comments - Not resolved + Unknown 1404 @@ -9417,7 +9417,7 @@ and POD class 1602 - open + review Linkage of specialization vs linkage of template arguments Not resolved @@ -10537,11 +10537,11 @@ and POD class Sized deallocation of array of non-class type Unknown - + 1789 - tentatively ready + open Array reference vs array decay in overload resolution - Unknown + Not resolved 1790 @@ -10897,11 +10897,11 @@ and POD class Parenthesized constructor and destructor declarators Unknown - + 1849 - drafting + CD6 Variable templates and the ODR - Not resolved + Unknown 1850 @@ -11641,11 +11641,11 @@ and POD class Identifier character restrictions in non-identifiers Unknown - + 1973 - review + tentatively ready Which parameter-declaration-clause in a lambda-expression? - Not resolved + Unknown 1974 @@ -12129,7 +12129,7 @@ and POD class 2054 - open + review Missing description of class SFINAE Not resolved @@ -12235,11 +12235,11 @@ and POD class typedef with no declarator Unknown - + 2072 - review + DR Default argument instantiation for member functions of templates - Not resolved + Unknown 2073 @@ -12913,11 +12913,11 @@ and POD class Missing C compatibility entry for decrement of bool Unknown - + 2185 - open + CD6 Cv-qualified numeric types - Not resolved + Unknown 2186 @@ -13257,7 +13257,7 @@ and POD class 2242 - DR + DRWP ODR violation with constant initialization possibly omitted Unknown @@ -14157,7 +14157,7 @@ and POD class 2392 - DR + DRWP new-expression size check and constant evaluation Unknown @@ -14247,7 +14247,7 @@ and POD class 2407 - DR + DRWP Missing entry in Annex C for defaulted comparison operators Unknown @@ -14265,7 +14265,7 @@ and POD class 2410 - DR + DRWP Implicit calls of immediate functions Unknown @@ -14307,7 +14307,7 @@ and POD class 2417 - review + open Explicit instantiation and exception specifications Not resolved @@ -14373,7 +14373,7 @@ and POD class 2428 - DR + DRWP Deprecating a concept Unknown @@ -14445,7 +14445,7 @@ and POD class 2440 - DR + DRWP Allocation in core constant expressions Unknown @@ -14461,11 +14461,11 @@ and POD class Incorrect requirement for default arguments Unknown - + 2443 - drafting + DRWP Meaningless template exports - Not resolved + Unknown 2444 @@ -14511,7 +14511,7 @@ and POD class 2451 - DR + DRWP promise.unhandled_exception() and final suspend point Unknown @@ -14653,17 +14653,17 @@ and POD class Cv-qualification and deletion Unknown - + 2475 - drafting + DR Object declarations of type cv void - Not resolved + Unknown - + 2476 - drafting + tentatively ready placeholder-type-specifiers and function declarators - Not resolved + Unknown 2477 @@ -14671,11 +14671,11 @@ and POD class Defaulted vs deleted copy constructors/assignment operators Unknown - + 2478 - review + DR Properties of explicit specializations of implicitly-instantiated class templates - Not resolved + Unknown 2479 @@ -14703,7 +14703,7 @@ and POD class 2483 - tentatively ready + DR Language linkage of static member functions Unknown @@ -14713,11 +14713,11 @@ and POD class char8_t and char16_t in integral promotions Unknown - + 2485 - drafting + tentatively ready Bit-fields in integral promotions - Not resolved + Unknown 2486 @@ -14737,11 +14737,11 @@ and POD class Overloading virtual functions and functions with trailing requires-clauses Not resolved - + 2489 - review + DR Storage provided by array of char - Not resolved + Unknown 2490 @@ -14829,7 +14829,7 @@ and POD class 2504 - drafting + review Inheriting constructors from virtual base classes Not resolved @@ -14853,7 +14853,7 @@ and POD class 2508 - DR + DRWP Restrictions on uses of template parameter names Unknown @@ -14899,41 +14899,41 @@ and POD class Result of a function call Not resolved - + 2516 - review + DR Locus of enum-specifier or opaque-enum-declaration - Not resolved + Unknown - + 2517 - open + DR Useless restriction on use of parameter in constraint-expression - Not resolved + Unknown - + 2518 - review + DR Conformance requirements and #error/#warning Clang 17 - + 2519 - drafting + tentatively ready Object representation of a bit-field - Not resolved + Unknown - + 2520 - review + DR Template signature and default template arguments - Not resolved + Unknown - + 2521 - open + DR User-defined literals and reserved identifiers - Not resolved + Unknown 2522 @@ -14943,7 +14943,7 @@ and POD class 2523 - tentatively ready + DR Undefined behavior via omitted destructor call in constant expressions Unknown @@ -14959,11 +14959,11 @@ and POD class Incorrect definition of implicit conversion sequence Not resolved - + 2526 - drafting + DR Relational comparison of void* pointers - Not resolved + Unknown 2527 @@ -14971,27 +14971,27 @@ and POD class Non-class potentially-overlapping objects Unknown - + 2528 - drafting + DR Three-way comparison and the usual arithmetic conversions - Not resolved + Unknown - + 2529 - drafting + DR Constant destruction of constexpr references - Not resolved + Unknown - + 2530 - drafting + DR Multiple definitions of enumerators - Not resolved + Unknown 2531 - open + review Static data members redeclared as constexpr Not resolved @@ -15021,25 +15021,25 @@ and POD class 2536 - drafting + open Partially initialized variables during constant initialization Not resolved - + 2537 - tentatively ready + drafting Overbroad grammar for parameter-declaration - Unknown + Not resolved 2538 - DR + DRWP Can standard attributes be syntactically ignored? Unknown 2539 - tentatively ready + DR Three-way comparison requiring strong ordering for floating-point types Unknown @@ -15061,11 +15061,11 @@ and POD class Is a closure type a structural type? Not resolved - + 2543 - drafting + DR constinit and optimized dynamic initialization - Not resolved + Unknown 2544 @@ -15151,11 +15151,11 @@ and POD class Class member access referring to an unrelated class Not resolved - + 2558 - open + DR Uninitialized subobjects as a result of an immediate invocation - Not resolved + Unknown 2559 @@ -15303,7 +15303,7 @@ and POD class 2583 - DR + DRWP Common initial sequence should consider over-alignment Unknown @@ -15345,7 +15345,7 @@ and POD class 2590 - DR + DRWP Underlying type should determine size and alignment requirements of an enum Unknown @@ -15393,13 +15393,13 @@ and POD class 2598 - DR + DRWP Unions should not require a non-static data member of literal type Unknown 2599 - DR + DRWP What does initializing a parameter include? Unknown @@ -15411,31 +15411,31 @@ and POD class 2601 - DR + DRWP Tracking of created and destroyed subobjects Unknown - + 2602 - review + DR consteval defaulted functions - Not resolved + Unknown 2603 - DR + DRWP Holistic functional equivalence for function templates Unknown 2604 - DR + DRWP Attributes for an explicit specialization Unknown 2605 - DR + DRWP Implicit-lifetime aggregates Unknown @@ -15465,43 +15465,43 @@ and POD class 2610 - DR + DRWP Indirect private base classes in aggregates Unknown 2611 - DR + DRWP Missing parentheses in expansion of fold-expression could cause syntactic reinterpretation Unknown 2612 - DR + DRWP Incorrect comment in example Unknown 2613 - DR + DRWP Incomplete definition of resumer Unknown 2614 - DR + DRWP Unspecified results for class member access Unknown 2615 - accepted + WP Missing __has_cpp_attribute(assume) Unknown 2616 - DR + DRWP Imprecise restrictions on break and continue Unknown @@ -15513,31 +15513,31 @@ and POD class 2618 - DR + DRWP Substitution during deduction should exclude exception specifications Unknown 2619 - DR + DRWP Kind of initialization for a designated-initializer-list Unknown 2620 - DR + DRWP Nonsensical disambiguation rule Unknown 2621 - DR + DRWP Kind of lookup for using enum declarations Yes 2622 - DR + DRWP Compounding types from function and pointer-to-member types Unknown @@ -15549,25 +15549,25 @@ and POD class 2624 - DR + DRWP Array delete expression with no array cookie Unknown 2625 - DR + DRWP Deletion of pointer to out-of-lifetime object Unknown 2626 - DR + DRWP Rephrase ones' complement using base-2 representation Unknown 2627 - DR + DRWP Bit-fields and narrowing conversions Unknown @@ -15575,23 +15575,23 @@ and POD class 2628 open Implicit deduction guides should propagate constraints - Yes + No 2629 - DR + DRWP Variables of floating-point type as switch conditions Unknown 2630 - DR + DRWP Syntactic specification of class completeness Unknown 2631 - DR + DRWP Immediate function evaluations in default arguments Clang 16 @@ -15615,13 +15615,13 @@ and POD class 2635 - DR + DRWP Constrained structured bindings Clang 16 2636 - DR + DRWP Update Annex E based on Unicode 15.0 UAX #31 N/A @@ -15639,19 +15639,19 @@ and POD class 2639 - accepted + WP new-lines after phase 1 Unknown 2640 - accepted + WP Allow more characters in an n-char sequence Clang 16 2641 - DR + DRWP Redundant specification of value category of literals Unknown @@ -15663,75 +15663,411 @@ and POD class 2643 - DR + DRWP Completing a pointer to array of unknown bound Unknown 2644 - DR + DRWP Incorrect comment in example Yes 2645 - DR + DRWP Unused term "default argument promotions" Unknown 2646 - DR + DRWP Defaulted special member functions Unknown 2647 - DR + DRWP Fix for "needed for constant evaluation" Unknown 2648 - DR + DRWP Correspondence of surrogate call function and conversion function Unknown 2649 - DR + DRWP Incorrect note about implicit conversion sequence Unknown 2650 - DR + DRWP Incorrect example for ill-formed non-type template arguments Yes 2651 - DR + DRWP Conversion function templates and "noexcept" Unknown 2652 - accepted + WP Overbroad definition of __STDCPP_BFLOAT16_T__ Unknown 2653 - accepted + WP Can an explicit object parameter have a default argument? Unknown 2654 - DR + DRWP Un-deprecation of compound volatile assignments Clang 16 + + + 2655 + open + Instantiation of default arguments in lambda-expressions + Not resolved + + + 2656 + open + Converting consteval lambda to function pointer in non-immediate context + Not resolved + + + 2657 + open + Cv-qualification adjustment when binding reference to temporary + Not resolved + + + 2658 + DR + Trivial copying of unions in core constant expressions + Unknown + + + 2659 + accepted + Missing feature-test macro for lifetime extension in range-for loop + Unknown + + + 2660 + open + Confusing term "this parameter" + Not resolved + + + 2661 + open + Missing disambiguation rule for pure-specifier vs. brace-or-equal-initializer + Not resolved + + + 2662 + DR + Example for member access control vs. overload resolution + Unknown + + + 2663 + tentatively ready + Example for member redeclarations with using-declarations + Unknown + + + 2664 + DR + Deduction failure in CTAD for alias templates + Unknown + + + 2665 + NAD + Replacing a subobject with a complete object + Unknown + + + 2666 + open + Lifetime extension through static_cast + Not resolved + + + 2667 + DR + Named module imports do not import macros + Unknown + + + 2668 + open + co_await in a lambda-expression + Not resolved + + + 2669 + open + Lifetime extension for aggregate initialization + Not resolved + + + 2670 + open + Programs and translation units + Not resolved + + + 2671 + open + friend named by a template-id + Not resolved + + + 2672 + open + Lambda body SFINAE is still required, contrary to intent and note + Not resolved + + + 2673 + DR + User-declared spaceship vs. built-in operators + Unknown + + + 2674 + accepted + Prohibit explicit object parameters for constructors + Unknown + + + 2675 + open + start_lifetime_as, placement-new, and active union members + Not resolved + + + 2676 + open + Replacing a complete object having base subobjects + Not resolved + + + 2677 + review + Replacing union subobjects + Not resolved + + + 2678 + DR + std::source_location::current is unimplementable + Unknown + + + 2679 + open + Implicit conversion sequence with a null pointer constant + Not resolved + + + 2680 + open + Class template argument deduction for aggregates with designated initializers + Not resolved + + + 2681 + DR + Deducing member array type from string literal + Unknown + + + 2682 + DR + Templated function vs. function template + Unknown + + + 2683 + ready + Default arguments for member functions of templated nested classes + Unknown + + + 2684 + open + thread_local dynamic initialization + Not resolved + + + 2685 + DR + Aggregate CTAD, string, and brace elision + Unknown + + + 2686 + open + Pack expansion into a non-pack parameter of a concept + Not resolved + + + 2687 + review + Calling an explicit object member function via an address-of-overload-set + Not resolved + + + 2688 + open + Calling explicit object member functions + Not resolved + + + 2689 + open + Are cv-qualified std::nullptr_t fundamental types? + Not resolved + + + 2690 + DR + Semantics of defaulted move assignment operator for unions + Unknown + + + 2691 + accepted + hexadecimal-escape-sequence is too greedy + Unknown + + + 2692 + accepted + Static and explicit object member functions with the same parameter-type-lists + Unknown + + + 2693 + open + Escape sequences for the string-literal of #line + Not resolved + + + 2694 + open + string-literals of the _Pragma operator + Not resolved + + + 2695 + DR + Semantic ignorability of attributes + Unknown + + + 2696 + open + Relational comparisons of pointers to void + Not resolved + + + 2697 + open + Deduction guides using abbreviated function syntax + Not resolved + + + 2698 + review + Using extended integer types with z suffix + Not resolved + + + 2699 + ready + Inconsistency of throw-expression specification + Unknown + + + 2700 + review + #error disallows existing implementation practice + Not resolved + + + 2701 + open + Default arguments in multiple scopes / inheritance of array bounds in the same scope + Not resolved + + + 2702 + open + Constant destruction of reference members + Not resolved + + + 2703 + review + Three-way comparison requiring strong ordering for floating-point types, take 2 + Not resolved + + + 2704 + open + Clarify meaning of "bind directly" + Not resolved + + + 2705 + open + Accessing ambiguous subobjects + Not resolved + + + 2706 + open + Repeated structured binding declarations + Not resolved + + + 2707 + open + Deduction guides cannot have a trailing requires-clause + Not resolved + + + 2708 + open + Parenthesized initialization of arrays + Not resolved + + + 2709 + open + Parenthesized initialization of reference-to-aggregate + Not resolved + + + 2710 + open + Loops in constant expressions + Not resolved -- 2.7.4