Eli Bendersky | 36a6193 | 2014-06-20 13:09:59 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -std=c++11 -verify %s |
| 2 | |
Artem Belevich | 2eeb048 | 2018-09-21 17:46:28 +0000 | [diff] [blame] | 3 | template<typename T=int> struct S {}; |
Eli Bendersky | 36a6193 | 2014-06-20 13:09:59 +0000 | [diff] [blame] | 4 | template<typename> void f(); |
| 5 | |
Michael Liao | 0fb707b | 2019-05-08 00:52:33 +0000 | [diff] [blame] | 6 | template<typename T, typename... V> struct S<T(V...)> {}; |
| 7 | |
| 8 | template<typename ...T> struct V {}; |
| 9 | template<typename ...T> struct V<void(T)...> {}; |
Eli Bendersky | 36a6193 | 2014-06-20 13:09:59 +0000 | [diff] [blame] | 10 | |
| 11 | void foo(void) { |
| 12 | // In C++11 mode, all of these are expected to parse correctly, and the CUDA |
| 13 | // language should not interfere with that. |
| 14 | |
| 15 | // expected-no-diagnostics |
| 16 | |
| 17 | S<S<S<int>>> s3; |
Artem Belevich | 2eeb048 | 2018-09-21 17:46:28 +0000 | [diff] [blame] | 18 | S<S<S<>>> s30; |
Eli Bendersky | 36a6193 | 2014-06-20 13:09:59 +0000 | [diff] [blame] | 19 | |
| 20 | S<S<S<S<int>>>> s4; |
Artem Belevich | 2eeb048 | 2018-09-21 17:46:28 +0000 | [diff] [blame] | 21 | S<S<S<S<>>>> s40; |
Eli Bendersky | 36a6193 | 2014-06-20 13:09:59 +0000 | [diff] [blame] | 22 | |
| 23 | S<S<S<S<S<int>>>>> s5; |
Artem Belevich | 2eeb048 | 2018-09-21 17:46:28 +0000 | [diff] [blame] | 24 | S<S<S<S<S<>>>>> s50; |
Eli Bendersky | 36a6193 | 2014-06-20 13:09:59 +0000 | [diff] [blame] | 25 | |
| 26 | (void)(&f<S<S<int>>>==0); |
Artem Belevich | 2eeb048 | 2018-09-21 17:46:28 +0000 | [diff] [blame] | 27 | (void)(&f<S<S<>>>==0); |
Michael Liao | 0fb707b | 2019-05-08 00:52:33 +0000 | [diff] [blame] | 28 | |
| 29 | S<S<S<void()>>> s6; |
| 30 | } |
| 31 | |
| 32 | template<typename ...T> |
| 33 | void bar(T... args) { |
| 34 | S<S<V<void(T)...>>> s7; |
Eli Bendersky | 36a6193 | 2014-06-20 13:09:59 +0000 | [diff] [blame] | 35 | } |