| Richard Smith | 58bd01f | 2019-01-16 22:01:39 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -std=c++11 -verify %s |
| 2 | |
| 3 | namespace PR40329 { |
| 4 | struct A { |
| 5 | A(int); |
| 6 | friend int operator->*(A, A); |
| 7 | }; |
| 8 | struct B : A { |
| 9 | B(); |
| 10 | enum E { e }; |
| 11 | }; |
| 12 | // Associated classes for B are {B, A} |
| 13 | // Associated classes for B::E are {B} (non-transitive in this case) |
| 14 | // |
| 15 | // If we search B::E first, we must not mark B "visited" and shortcircuit |
| 16 | // visiting it later, or we won't find the associated class A. |
| 17 | int k0 = B::e ->* B::e; // expected-error {{non-pointer-to-member type}} |
| 18 | int k1 = B::e ->* B(); |
| 19 | int k2 = B() ->* B::e; |
| 20 | } |