diff options
author | Benjamin Kramer <benny.kra@googlemail.com> | 2015-08-04 15:18:16 +0000 |
---|---|---|
committer | Benjamin Kramer <benny.kra@googlemail.com> | 2015-08-04 15:18:16 +0000 |
commit | a00e997b4ff9b3a4b203b8a04aec4ed808c6b2cb (patch) | |
tree | a0bae1e2fb329db2db6f3c3fb08f45038c362425 /clang/test/SemaCXX/many-template-parameter-lists.cpp | |
parent | e0a5c09a5cc7774fc18fcaa44b50a36117a95f90 (diff) | |
download | bcm5719-llvm-a00e997b4ff9b3a4b203b8a04aec4ed808c6b2cb.tar.gz bcm5719-llvm-a00e997b4ff9b3a4b203b8a04aec4ed808c6b2cb.zip |
[Sema] Add a crazy test case for r243987
It's not valid code (maybe it can be made valid, but I'm not sure how).
To trigger the crash fixed in r243987 requires a friend function with
more than four template parameter lists. With this test we have at least
some coverage.
llvm-svn: 243989
Diffstat (limited to 'clang/test/SemaCXX/many-template-parameter-lists.cpp')
-rw-r--r-- | clang/test/SemaCXX/many-template-parameter-lists.cpp | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/clang/test/SemaCXX/many-template-parameter-lists.cpp b/clang/test/SemaCXX/many-template-parameter-lists.cpp new file mode 100644 index 00000000000..f98005c7e6f --- /dev/null +++ b/clang/test/SemaCXX/many-template-parameter-lists.cpp @@ -0,0 +1,36 @@ +// RUN: %clang_cc1 -fsyntax-only -verify %s + +// This is not well-formed C++ but used to crash in sema. + +template <class T> +struct X { + template <class U> + struct A { // expected-note {{not-yet-instantiated member is declared here}} + template <class V> + struct B { + template <class W> + struct C { + template <class X> + struct D { + template <class Y> + struct E { + template <class Z> + void operator+=(Z); + }; + }; + }; + }; + }; + + template <class U> + template <class V> + template <class W> + template <class X> + template <class Y> + template <class Z> + friend void A<U>::template B<V>::template C<W>::template D<X>::template E<Y>::operator+=(Z); // expected-warning {{not supported}} expected-error {{no member 'A' in 'X<int>'; it has not yet been instantiated}} +}; + +void test() { + X<int>::A<int>::B<int>::C<int>::D<int>::E<int>() += 1.0; // expected-note {{in instantiation of template class 'X<int>' requested here}} +} |