1// RUN: %clang_cc1 -fsyntax-only -verify %s
2
3// Errors
4export class foo { };   // expected-error {{expected template}}
5template  x;            // expected-error {{C++ requires a type specifier for all declarations}} \
6                        // expected-error {{does not refer}}
7export template x;      // expected-error {{expected '<' after 'template'}}
8export template<class T> class x0; // expected-warning {{exported templates are unsupported}}
9template < ;            // expected-error {{expected template parameter}} \
10// expected-error{{expected ',' or '>' in template-parameter-list}} \
11// expected-warning {{declaration does not declare anything}}
12template <int +> struct x1; // expected-error {{expected ',' or '>' in template-parameter-list}}
13
14// verifies that we only walk to the ',' & still produce errors on the rest of the template parameters
15template <int +, T> struct x2; // expected-error {{expected ',' or '>' in template-parameter-list}} \
16                                expected-error {{expected unqualified-id}}
17template<template<int+>> struct x3; // expected-error {{expected ',' or '>' in template-parameter-list}} \
18                                         expected-error {{template template parameter requires 'class' after the parameter list}}
19template <template X> struct Err1; // expected-error {{expected '<' after 'template'}} \
20// expected-error{{extraneous}}
21template <template <typename> > struct Err2;       // expected-error {{template template parameter requires 'class' after the parameter list}}
22template <template <typename> Foo> struct Err3;    // expected-error {{template template parameter requires 'class' after the parameter list}}
23
24// Template function declarations
25template <typename T> void foo();
26template <typename T, typename U> void foo();
27
28// Template function definitions.
29template <typename T> void foo() { }
30
31// Template class (forward) declarations
32template <typename T> struct A;
33template <typename T, typename U> struct b;
34template <typename> struct C;
35template <typename, typename> struct D;
36
37// Forward declarations with default parameters?
38template <typename T = int> class X1;
39template <typename = int> class X2;
40
41// Forward declarations w/template template parameters
42template <template <typename> class T> class TTP1;
43template <template <typename> class> class TTP2;
44template <template <typename> class T = foo> class TTP3; // expected-error{{must be a class template}}
45template <template <typename> class = foo> class TTP3; // expected-error{{must be a class template}}
46template <template <typename X, typename Y> class T> class TTP5;
47
48// Forward declarations with non-type params
49template <int> class NTP0;
50template <int N> class NTP1;
51template <int N = 5> class NTP2;
52template <int = 10> class NTP3;
53template <unsigned int N = 12u> class NTP4;
54template <unsigned int = 12u> class NTP5;
55template <unsigned = 15u> class NTP6;
56template <typename T, T Obj> class NTP7;
57
58// Template class declarations
59template <typename T> struct A { };
60template <typename T, typename U> struct B { };
61
62// Template parameter shadowing
63template<typename T, // expected-note{{template parameter is declared here}}
64         typename T> // expected-error{{declaration of 'T' shadows template parameter}}
65  void shadow1();
66
67template<typename T> // expected-note{{template parameter is declared here}}
68void shadow2(int T); // expected-error{{declaration of 'T' shadows template parameter}}
69
70template<typename T> // expected-note{{template parameter is declared here}}
71class T { // expected-error{{declaration of 'T' shadows template parameter}}
72};
73
74template<int Size> // expected-note{{template parameter is declared here}}
75void shadow3(int Size); // expected-error{{declaration of 'Size' shadows template parameter}}
76
77// <rdar://problem/6952203>
78template<typename T> // expected-note{{here}}
79struct shadow4 {
80  int T; // expected-error{{shadows}}
81};
82
83template<typename T> // expected-note{{here}}
84struct shadow5 {
85  int T(int, float); // expected-error{{shadows}}
86};
87
88// Non-type template parameters in scope
89template<int Size>
90void f(int& i) {
91  i = Size;
92  Size = i; // expected-error{{expression is not assignable}}
93}
94
95template<typename T>
96const T& min(const T&, const T&);
97
98void f2() {
99  int x;
100  A< typeof(x>1) > a;
101}
102
103
104// PR3844
105template <> struct S<int> { }; // expected-error{{explicit specialization of non-template struct 'S'}}
106
107namespace PR6184 {
108  namespace N {
109    template <typename T>
110    void bar(typename T::x);
111  }
112
113  template <typename T>
114  void N::bar(typename T::x) { }
115}
116