| Richard Smith | 195dd7c | 2013-11-06 19:31:51 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s -DMAX=128 -foperator-arrow-depth 128 |
| 2 | // RUN: %clang_cc1 -fsyntax-only -verify %s -DMAX=2 -foperator-arrow-depth 2 |
| 3 | // RUN: %clang -fsyntax-only -Xclang -verify %s -DMAX=10 -foperator-arrow-depth=10 |
| 4 | |
| 5 | template<int N> struct B; |
| 6 | template<int N> struct A { |
| 7 | B<N> operator->(); // expected-note +{{'operator->' declared here produces an object of type 'B<}} |
| 8 | }; |
| 9 | template<int N> struct B { |
| 10 | A<N-1> operator->(); // expected-note +{{'operator->' declared here produces an object of type 'A<}} |
| 11 | #if MAX != 2 |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame^] | 12 | // expected-note-re@-2 {{(skipping {{120|2}} 'operator->'s in backtrace)}} |
| Richard Smith | 195dd7c | 2013-11-06 19:31:51 +0000 | [diff] [blame] | 13 | #endif |
| 14 | }; |
| 15 | |
| 16 | struct X { int n; }; |
| 17 | template<> struct B<1> { |
| 18 | X *operator->(); |
| 19 | }; |
| 20 | |
| 21 | A<MAX/2> good; |
| 22 | int n = good->n; |
| 23 | |
| 24 | B<MAX/2 + 1> bad; |
| Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame^] | 25 | int m = bad->n; // expected-error-re {{use of 'operator->' on type 'B<{{2|10|128}} / 2 + 1>' would invoke a sequence of more than {{2|10|128}} 'operator->' calls}} |
| Richard Smith | 195dd7c | 2013-11-06 19:31:51 +0000 | [diff] [blame] | 26 | // expected-note@-1 {{use -foperator-arrow-depth=N to increase 'operator->' limit}} |