diff --git a/clang/lib/Sema/SemaInit.cpp b/clang/lib/Sema/SemaInit.cpp index 6db211a20e311..f2bbdae3d5f36 100644 --- a/clang/lib/Sema/SemaInit.cpp +++ b/clang/lib/Sema/SemaInit.cpp @@ -10714,7 +10714,8 @@ QualType Sema::DeduceTemplateSpecializationFromInitializer( ElementTypes[I] = Context.getRValueReferenceType(ElementTypes[I]); else if (isa( ListInit->getInit(I)->IgnoreParenImpCasts())) - ElementTypes[I] = Context.getLValueReferenceType(ElementTypes[I]); + ElementTypes[I] = + Context.getLValueReferenceType(ElementTypes[I].withConst()); } llvm::FoldingSetNodeID ID; diff --git a/clang/test/CXX/drs/dr26xx.cpp b/clang/test/CXX/drs/dr26xx.cpp index 175e27e6e2ed6..e4b6156235ecc 100644 --- a/clang/test/CXX/drs/dr26xx.cpp +++ b/clang/test/CXX/drs/dr26xx.cpp @@ -126,3 +126,27 @@ void f() { brachiosaur |= neck; // OK } } + +namespace dr2681 { // dr2681: 17 +using size_t = decltype(sizeof(int)); + +template +struct H { + T array[N]; +}; +template +struct I { + volatile T array[N]; +}; +template +struct J { // expected-note 3{{candidate}} + unsigned char array[N]; +}; + +H h = { "abc" }; +I i = { "def" }; +static_assert(__is_same(decltype(h), H)); // Not H +static_assert(__is_same(decltype(i), I)); + +J j = { "ghi" }; // expected-error {{no viable constructor or deduction guide}} +} diff --git a/clang/test/SemaTemplate/aggregate-deduction-candidate.cpp b/clang/test/SemaTemplate/aggregate-deduction-candidate.cpp index 71189be076236..d455d424ab3d0 100644 --- a/clang/test/SemaTemplate/aggregate-deduction-candidate.cpp +++ b/clang/test/SemaTemplate/aggregate-deduction-candidate.cpp @@ -198,22 +198,22 @@ namespace Array { // CHECK: FunctionTemplateDecl {{.*}} implicit // CHECK: |-TemplateTypeParmDecl {{.*}} referenced typename depth 0 index 0 T // CHECK: |-NonTypeTemplateParmDecl {{.*}} 'size_t':'unsigned {{.*}}' depth 0 index 1 N - // CHECK: |-CXXDeductionGuideDecl {{.*}} implicit 'auto (T (&)[N]) -> A' - // CHECK: | `-ParmVarDecl {{.*}} 'T (&)[N]' - // CHECK: `-CXXDeductionGuideDecl {{.*}} implicit used 'auto (const char (&)[5]) -> Array::A' - // CHECK: |-TemplateArgument type 'const char' - // CHECK: | `-QualType {{.*}} 'const char' const - // CHECK: | `-BuiltinType {{.*}} 'char' + // CHECK: |-CXXDeductionGuideDecl {{.*}} implicit 'auto (const T (&)[N]) -> A' + // CHECK: | `-ParmVarDecl {{.*}} 'const T (&)[N]' + // CHECK: `-CXXDeductionGuideDecl {{.*}} implicit used 'auto (const char (&)[5]) -> Array::A' + // CHECK: |-TemplateArgument type 'char' + // CHECK: | `-BuiltinType {{.*}} 'char' // CHECK: |-TemplateArgument integral 5 // CHECK: `-ParmVarDecl {{.*}} 'const char (&)[5]' - // CHECK: FunctionProtoType {{.*}} 'auto (T (&)[N]) -> A' dependent trailing_return cdecl + // CHECK: FunctionProtoType {{.*}} 'auto (const T (&)[N]) -> A' dependent trailing_return cdecl // CHECK: |-InjectedClassNameType {{.*}} 'A' dependent // CHECK: | `-CXXRecord {{.*}} 'A' - // CHECK: `-LValueReferenceType {{.*}} 'T (&)[N]' dependent - // CHECK: `-DependentSizedArrayType {{.*}} 'T[N]' dependent - // CHECK: |-TemplateTypeParmType {{.*}} 'T' dependent depth 0 index 0 - // CHECK: | `-TemplateTypeParm {{.*}} 'T' - // CHECK: `-DeclRefExpr {{.*}} 'size_t':'unsigned {{.*}}' NonTypeTemplateParm {{.*}} 'N' 'size_t':'unsigned {{.*}}' + // CHECK: `-LValueReferenceType {{.*}} 'const T (&)[N]' dependent + // CHECK: `-QualType {{.*}} 'const T[N]' const + // CHECK: `-DependentSizedArrayType {{.*}} 'T[N]' dependent + // CHECK: |-TemplateTypeParmType {{.*}} 'T' dependent depth 0 index 0 + // CHECK: | `-TemplateTypeParm {{.*}} 'T' + // CHECK: `-DeclRefExpr {{.*}} 'size_t':'unsigned{{.*}}' NonTypeTemplateParm {{.*}} 'N' 'size_t':'unsigned{{.*}}' } namespace BraceElision { diff --git a/clang/www/cxx_dr_status.html b/clang/www/cxx_dr_status.html index 13b230706b9e8..702d84ebba985 100755 --- a/clang/www/cxx_dr_status.html +++ b/clang/www/cxx_dr_status.html @@ -15893,7 +15893,7 @@

C++ defect report implementation status

2681 DR Deducing member array type from string literal - Unknown + Clang 17 2682