Author: rtrieu
Date: Mon May 19 23:10:24 2014
New Revision: 209190
URL: http://llvm.org/viewvc/llvm-project?rev=209190&view=rev
Log:
Fix diagnostic message for member function pointer mismatches where one of the
classes is a template argument.
Modified:
cfe/trunk/lib/Sema/SemaOverload.cpp
cfe/trunk/test/SemaCXX/err_init_conversion_failed.cpp
Modified: cfe/trunk/lib/Sema/SemaOverload.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaOverload.cpp?rev=209190&r1=209189&r2=209190&view=diff
==============================================================================
--- cfe/trunk/lib/Sema/SemaOverload.cpp (original)
+++ cfe/trunk/lib/Sema/SemaOverload.cpp Mon May 19 23:10:24 2014
@@ -2526,7 +2526,8 @@ void Sema::HandleFunctionTypeMismatch(Pa
if (FromType->isMemberPointerType() && ToType->isMemberPointerType()) {
const MemberPointerType *FromMember = FromType->getAs<MemberPointerType>(),
*ToMember = ToType->getAs<MemberPointerType>();
- if (FromMember->getClass() != ToMember->getClass()) {
+ if (FromMember->getClass()->getCanonicalTypeInternal() !=
+ ToMember->getClass()->getCanonicalTypeInternal()) {
PDiag << ft_different_class << QualType(ToMember->getClass(), 0)
<< QualType(FromMember->getClass(), 0);
return;
Modified: cfe/trunk/test/SemaCXX/err_init_conversion_failed.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/SemaCXX/err_init_conversion_failed.cpp?rev=209190&r1=209189&r2=209190&view=diff
==============================================================================
--- cfe/trunk/test/SemaCXX/err_init_conversion_failed.cpp (original)
+++ cfe/trunk/test/SemaCXX/err_init_conversion_failed.cpp Mon May 19 23:10:24
2014
@@ -43,3 +43,19 @@ void test14(const float2 in, const float
const float4 V = (float4){ in, out };
// expected-error@-1{{cannot initialize a compound literal initializer}}
}
+
+namespace template_test {
+class S {
+public:
+ void foo(int);
+};
+
+template <class P> struct S2 {
+ void (P::*a)(const int &);
+};
+
+void test_15() {
+ S2<S> X = {&S::foo};
+ // expected-error@-1{{cannot initialize a member subobject of type 'void
(template_test::S::*)(const int &)' with an rvalue of type 'void
(template_test::S::*)(int)': type mismatch at 1st parameter ('const int &' vs
'int')}}
+}
+}
_______________________________________________
cfe-commits mailing list
cfe-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
