llvm-project/clang/test/SemaCXX/template-specialization.cpp

// RN: clang-cc -fsyntax-only -verify %s
// RUN: false
// XFAIL
template<int N> void f(int (&array)[N]);

template<> void f<1>(int (&array)[1]) { }
This takes a long time to crash, just disable it for now. llvm-svn: 76263 2009-07-18 07:48:38 +08:00			`// RN: clang-cc -fsyntax-only -verify %s`
			`// RUN: false`
Improved semantic analysis and AST respresentation for function templates. For example, this now type-checks (but does not instantiate the body of deref<int>): template<typename T> T& deref(T* t) { return t; } void test(int ip) { int &ir = deref(ip); } Specific changes/additions: * Template argument deduction from a call to a function template. * Instantiation of a function template specializations (just the declarations) from the template arguments deduced from a call. * FunctionTemplateDecls are stored directly in declaration contexts and found via name lookup (all forms), rather than finding the FunctionDecl and then realizing it is a template. This is responsible for most of the churn, since some of the core declaration matching and lookup code assumes that all functions are FunctionDecls. llvm-svn: 74213 2009-06-26 06:08:12 +08:00			`// XFAIL`
Ultrasimplistic sketch for the parsing of C++ template-ids. This won't become useful or correct until we (1) parse template arguments correctly, (2) have some way to turn template-ids into types, declarators, etc., and (3) have a real representation of templates. llvm-svn: 61208 2008-12-19 03:37:40 +08:00			`template<int N> void f(int (&array)[N]);`

			`template<> void f<1>(int (&array)[1]) { }`