6 struct A { virtual int f(const B*) = 0; int g(const B*); };
7 int A::g(const B* t) { return f(t); }
8 struct B : virtual A { int f(const B*); B* B_this; };
9 int B::f(const B* t) { return t == this; }
11 struct C : virtual S1, virtual B, virtual A { C(); };
12 C::C() { if (g(this)) fail = 0; }
13 struct D : virtual B, virtual A, C { };
15 int main() { D d; return fail; }