diff options
author | Erik Pilkington <erik.pilkington@gmail.com> | 2018-07-19 20:40:20 +0000 |
---|---|---|
committer | Erik Pilkington <erik.pilkington@gmail.com> | 2018-07-19 20:40:20 +0000 |
commit | 48b5ee7a0b384726615ebdbace53d37a87d889e5 (patch) | |
tree | 244ab899052ad88a0edc5b556fa0e32e487569ce /test/CXX | |
parent | add6b02377f0bec53d6a89be6dce07717d63c30e (diff) |
[Sema] Diagnose an invalid dependent function template specialization
Previously, clang marked the specialization as invalid without emitting a
diagnostic. This lead to an assert in CodeGen.
rdar://41806724
Differential revision: https://reviews.llvm.org/D49085
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@337497 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CXX')
-rw-r--r-- | test/CXX/temp/temp.decls/temp.friend/p1.cpp | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/test/CXX/temp/temp.decls/temp.friend/p1.cpp b/test/CXX/temp/temp.decls/temp.friend/p1.cpp index f1f3f70162..849728a448 100644 --- a/test/CXX/temp/temp.decls/temp.friend/p1.cpp +++ b/test/CXX/temp/temp.decls/temp.friend/p1.cpp @@ -359,3 +359,31 @@ namespace PR10913 { template void f2<int>(X<int> *); template void f2<float>(X<int> *); // expected-note{{in instantiation of function template specialization 'PR10913::f2<float, int>' requested here}} } + +namespace test16 { +template <class T> struct foo {}; // expected-note{{candidate ignored: not a function template}} +template <class T> class A { + friend void foo<T>(); // expected-error{{no candidate function template was found for dependent friend function template specialization}} +}; +} + +namespace test17 { +namespace ns { +template <class T> void foo() {} // expected-note{{candidate ignored: not a member of the enclosing namespace; did you mean to explicitly qualify the specialization?}} +} +using ns::foo; +template <class T> struct A { + friend void foo<T>() {} // expected-error{{no candidate function template was found for dependent friend function template specialization}} +}; +} + +namespace test18 { +namespace ns1 { template <class T> struct foo {}; } // expected-note{{candidate ignored: not a function template}} +namespace ns2 { void foo() {} } // expected-note{{candidate ignored: not a function template}} +using ns1::foo; +using ns2::foo; + +template <class T> class A { + friend void foo<T>() {} // expected-error{{no candidate function template was found for dependent friend function template specialization}} +}; +} |