| 1 | // RUN: %clang_cc1 -ast-print -std=c++14 %s -v -o %t.1.cpp |
| 2 | // RUN: %clang_cc1 -ast-print -std=c++14 %t.1.cpp -o %t.2.cpp |
| 3 | // RUN: diff %t.1.cpp %t.2.cpp |
| 4 | |
| 5 | // Specializations |
| 6 | |
| 7 | template<typename T> class C0 {}; |
| 8 | template<> class C0<long> {}; |
| 9 | template<> class C0<long*> {}; |
| 10 | C0<int> c0; |
| 11 | |
| 12 | template<int N> class C1 {}; |
| 13 | template<> class C1<11> {}; |
| 14 | C1<2> c1a; |
| 15 | C1<4> c1b; |
| 16 | |
| 17 | template<typename T> class C2a {}; |
| 18 | template<typename T> class C2b {}; |
| 19 | template<template<typename T> class TC> class C2 {}; |
| 20 | template<> class C2<C2a> {}; |
| 21 | C2<C2b> c2; |
| 22 | |
| 23 | |
| 24 | // Default arguments |
| 25 | |
| 26 | template<typename T = int> class C10 {}; |
| 27 | template<int N = 10> class C11 {}; |
| 28 | template<typename T, int N = 22> class C12a {}; |
| 29 | //FIXME: template<template<typename T, int N> class TC = C12a> class C12 {}; |
| 30 | //FIXME: template<template<typename T> class TC = C12a> class C13 {}; |
| 31 | |
| 32 | |
| 33 | // Partial specializations |
| 34 | |
| 35 | template<typename T, typename U> struct C20 { |
| 36 | T a; |
| 37 | U b; |
| 38 | }; |
| 39 | template<typename T> struct C20<T, int> { |
| 40 | T a; |
| 41 | }; |
| 42 | |
| 43 | template<int N, typename U> struct C21 { |
| 44 | U a; |
| 45 | U b[N]; |
| 46 | }; |
| 47 | template<int N> struct C21<N, int> { |
| 48 | int a[N]; |
| 49 | }; |
| 50 | |
| 51 | template<template<typename T2> class TC, typename U> struct C22 { |
| 52 | TC<U> a; |
| 53 | U b; |
| 54 | }; |
| 55 | template<template<typename T2> class TC> struct C22<TC, int> { |
| 56 | TC<int> a; |
| 57 | }; |
| 58 | |
| 59 | |
| 60 | // Declaration only |
| 61 | template<typename T> class C30; |
| 62 | template<> class C30<long>; |
| 63 | template<> class C30<long*>; |
| 64 | extern C30<int> c30; |
| 65 | |