27 lines
1014 B
C++
27 lines
1014 B
C++
|
// RUN: %clang_cc1 -fsyntax-only -verify %s -DMAX=128 -foperator-arrow-depth 128
|
||
|
|
// RUN: %clang_cc1 -fsyntax-only -verify %s -DMAX=2 -foperator-arrow-depth 2
|
||
|
|
// RUN: %clang -fsyntax-only -Xclang -verify %s -DMAX=10 -foperator-arrow-depth=10
|
||
|
|
|
||
|
|
template<int N> struct B;
|
||
|
|
template<int N> struct A {
|
||
|
|
B<N> operator->(); // expected-note +{{'operator->' declared here produces an object of type 'B<}}
|
||
|
|
};
|
||
|
|
template<int N> struct B {
|
||
|
|
A<N-1> operator->(); // expected-note +{{'operator->' declared here produces an object of type 'A<}}
|
||
|
|
#if MAX != 2
|
||
|
|
// expected-note-re@-2 {{(skipping {{120|2}} 'operator->'s in backtrace)}}
|
||
|
|
#endif
|
||
|
|
};
|
||
|
|
|
||
|
|
struct X { int n; };
|
||
|
|
template<> struct B<1> {
|
||
|
|
X *operator->();
|
||
|
|
};
|
||
|
|
|
||
|
|
A<MAX/2> good;
|
||
|
|
int n = good->n;
|
||
|
|
|
||
|
|
B<MAX/2 + 1> bad;
|
||
|
|
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}}
|
||
|
|
// expected-note@-1 {{use -foperator-arrow-depth=N to increase 'operator->' limit}}
|