From 5b4bf13761303978c22f67984b4548379a189166 Mon Sep 17 00:00:00 2001 From: Douglas Gregor Date: Wed, 4 Apr 2012 23:09:20 +0000 Subject: [PATCH] Allow a conversion from the empty initializer list {} to an std::initializer_list so long as is known. This conversion has identity rank. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@154065 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Sema/SemaOverload.cpp | 10 ++++++++++ test/SemaCXX/cxx0x-initializer-stdinitializerlist.cpp | 9 +++++++++ 2 files changed, 19 insertions(+) diff --git a/lib/Sema/SemaOverload.cpp b/lib/Sema/SemaOverload.cpp index 7afa39f3f3..e4c6fdfb59 100644 --- a/lib/Sema/SemaOverload.cpp +++ b/lib/Sema/SemaOverload.cpp @@ -4301,6 +4301,16 @@ TryListConversion(Sema &S, InitListExpr *From, QualType ToType, ImplicitConversionSequence::Worse) Result = ICS; } + + // For an empty list, we won't have computed any conversion sequence. + // Introduce the identity conversion sequence. + if (From->getNumInits() == 0) { + Result.setStandard(); + Result.Standard.setAsIdentityConversion(); + Result.Standard.setFromType(ToType); + Result.Standard.setAllToTypes(ToType); + } + Result.setListInitializationSequence(); Result.setStdInitializerListElement(toStdInitializerList); return Result; diff --git a/test/SemaCXX/cxx0x-initializer-stdinitializerlist.cpp b/test/SemaCXX/cxx0x-initializer-stdinitializerlist.cpp index 3437849f93..7384309f97 100644 --- a/test/SemaCXX/cxx0x-initializer-stdinitializerlist.cpp +++ b/test/SemaCXX/cxx0x-initializer-stdinitializerlist.cpp @@ -166,3 +166,12 @@ namespace Decay { for( auto s : {"A", "BB", "CCC", "DDD"}) { } } } + +namespace PR12436 { + struct X { + template + X(std::initializer_list, T); + }; + + X x({}, 17); +} -- 2.40.0