From e14ba2cec3807df892917171b590bac25b779b46 Mon Sep 17 00:00:00 2001 From: John McCall Date: Wed, 4 Apr 2012 02:40:27 +0000 Subject: [PATCH] When computing the conversion sequence in overload resolution for converting an empty list to a scalar, be sure to initialize the source and destination types so that comparison of conversion sequences will work in case there are multiple viable candidates. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@153993 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Sema/SemaOverload.cpp | 2 ++ .../over.best.ics/over.ics.list/p6.cpp | 15 +++++++++++++++ 2 files changed, 17 insertions(+) create mode 100644 test/CXX/over/over.match/over.match.best/over.best.ics/over.ics.list/p6.cpp diff --git a/lib/Sema/SemaOverload.cpp b/lib/Sema/SemaOverload.cpp index 27b04a7427..7afa39f3f3 100644 --- a/lib/Sema/SemaOverload.cpp +++ b/lib/Sema/SemaOverload.cpp @@ -4433,6 +4433,8 @@ TryListConversion(Sema &S, InitListExpr *From, QualType ToType, else if (NumInits == 0) { Result.setStandard(); Result.Standard.setAsIdentityConversion(); + Result.Standard.setFromType(ToType); + Result.Standard.setAllToTypes(ToType); } Result.setListInitializationSequence(); return Result; diff --git a/test/CXX/over/over.match/over.match.best/over.best.ics/over.ics.list/p6.cpp b/test/CXX/over/over.match/over.match.best/over.best.ics/over.ics.list/p6.cpp new file mode 100644 index 0000000000..ea059cef7c --- /dev/null +++ b/test/CXX/over/over.match/over.match.best/over.best.ics/over.ics.list/p6.cpp @@ -0,0 +1,15 @@ +// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s + +// rdar://problem/11120365 +namespace test0 { + template struct A { + static void foo(const T &t) {} + static void foo(T &&t) { + t.foo(); // expected-error {{member reference base type 'int' is not a structure or union}} + } + }; + + void test() { + A::foo({}); // expected-note {{requested here}} + } +} -- 2.40.0