Use explicitly-specified template argument lists to help naming

explicit template specializations, when available.

llvm-svn: 82824

1 files changed, 10 insertions, 0 deletions

diff --git a/clang/test/SemaTemplate/function-template-specialization.cpp b/clang/test/SemaTemplate/function-template-specialization.cpp
index 5946d9b680b..90e38cc882f 100644
--- a/clang/test/SemaTemplate/function-template-specialization.cpp
+++ b/clang/test/SemaTemplate/function-template-specialization.cpp
@@ -12,6 +12,7 @@ void test_f0() {
 
 // Function template specialization where there are no matches
 template<> void f0(char (&array)[1]); // expected-error{{no function template matches}}
+template<> void f0<2>(int (&array)[2]) { }
 
 // Function template specialization that requires partial ordering
 template<typename T, int N> void f1(T (&array)[N]); // expected-note{{matches}}
@@ -23,3 +24,12 @@ template<> void f1(int (&array)[1]);
 // Function template specialization that results in an ambiguity
 template<typename T> void f1(T (&array)[17]); // expected-note{{matches}}
 template<> void f1(int (&array)[17]); // expected-error{{ambiguous}}
+
+// Resolving that ambiguity with explicitly-specified template arguments.
+template<int N> void f2(double (&array)[N]);
+template<typename T> void f2(T (&array)[42]);
+
+template<> void f2<double>(double (&array)[42]);
+template<> void f2<42>(double (&array)[42]);
+
+void f2<25>(double (&array)[25]); // expected-error{{specialization}}