| 1 | // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s |
|---|
| 2 | // expected-no-diagnostics |
|---|
| 3 | |
|---|
| 4 | // Check for declaration matching with out-of-line declarations and |
|---|
| 5 | // variadic templates, which involves proper computation of the |
|---|
| 6 | // injected-class-name. |
|---|
| 7 | template<typename T, typename ...Types> |
|---|
| 8 | struct X0 { |
|---|
| 9 | typedef T type; |
|---|
| 10 | |
|---|
| 11 | void f0(T); |
|---|
| 12 | type f1(T); |
|---|
| 13 | }; |
|---|
| 14 | |
|---|
| 15 | template<typename T, typename ...Types> |
|---|
| 16 | void X0<T, Types...>::f0(T) { } |
|---|
| 17 | |
|---|
| 18 | template<typename T, typename ...Types> |
|---|
| 19 | typename X0<T, Types...>::type X0<T, Types...>::f1(T) { } |
|---|
| 20 | |
|---|
| 21 | template<typename T, typename ...Types> |
|---|
| 22 | struct X0<T, T, Types...> { |
|---|
| 23 | typedef T* result; |
|---|
| 24 | result f3(); |
|---|
| 25 | |
|---|
| 26 | template<typename... InnerTypes> |
|---|
| 27 | struct Inner; |
|---|
| 28 | }; |
|---|
| 29 | |
|---|
| 30 | template<typename T, typename ...Types> |
|---|
| 31 | typename X0<T, T, Types...>::result X0<T, T, Types...>::f3() { return 0; } |
|---|
| 32 | |
|---|
| 33 | template<typename T, typename ...Types> |
|---|
| 34 | template<typename ...InnerTypes> |
|---|
| 35 | struct X0<T, T, Types...>::Inner { |
|---|
| 36 | template<typename ...ReallyInner> void f4(); |
|---|
| 37 | }; |
|---|
| 38 | |
|---|
| 39 | template<typename T, typename ...Types> |
|---|
| 40 | template<typename ...InnerTypes> |
|---|
| 41 | template<typename ...ReallyInner> |
|---|
| 42 | void X0<T, T, Types...>::Inner<InnerTypes...>::f4() { } |
|---|
| 43 | |
|---|
| 44 | namespace rdar8848837 { |
|---|
| 45 | // Out-of-line definitions that cause rebuilding in the current |
|---|
| 46 | // instantiation. |
|---|
| 47 | template<typename F> struct X; |
|---|
| 48 | |
|---|
| 49 | template<typename R, typename ...ArgTypes> |
|---|
| 50 | struct X<R(ArgTypes...)> { |
|---|
| 51 | X<R(ArgTypes...)> f(); |
|---|
| 52 | }; |
|---|
| 53 | |
|---|
| 54 | template<typename R, typename ...ArgTypes> |
|---|
| 55 | X<R(ArgTypes...)> X<R(ArgTypes...)>::f() { return *this; } |
|---|
| 56 | |
|---|
| 57 | |
|---|
| 58 | X<int(float, double)> xif; |
|---|
| 59 | |
|---|
| 60 | template<unsigned> struct unsigned_c { }; |
|---|
| 61 | template<typename ...ArgTypes> int g(ArgTypes...); |
|---|
| 62 | |
|---|
| 63 | template<typename F> struct X1; |
|---|
| 64 | |
|---|
| 65 | template<typename R, typename ...ArgTypes> |
|---|
| 66 | struct X1<R(ArgTypes...)> { |
|---|
| 67 | unsigned_c<sizeof(1 + g(ArgTypes()...))> f(); |
|---|
| 68 | }; |
|---|
| 69 | |
|---|
| 70 | template<typename R, typename ...ArgTypes> |
|---|
| 71 | unsigned_c<sizeof(1 + g(ArgTypes()...))> X1<R(ArgTypes...)>::f() { |
|---|
| 72 | return unsigned_c<sizeof(int)>(); |
|---|
| 73 | } |
|---|
| 74 | |
|---|
| 75 | X1<int(float, double)> xif2; |
|---|
| 76 | } |
|---|
| 77 | |
|---|