| 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 |
|---|
| 12 | // expected-note-re@-2 {{(skipping {{120|2}} 'operator->'s in backtrace)}} |
|---|
| 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; |
|---|
| 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}} |
|---|
| 26 | // expected-note@-1 {{use -foperator-arrow-depth=N to increase 'operator->' limit}} |
|---|
| 27 | |
|---|