1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 class A { }; 3 class B : public A { }; 4 class C : public A { }; 5 class D : public B, public C { }; 6 7 void f(D* d) { 8 A* a; 9 a = d; // expected-error{{ambiguous conversion from derived class 'D' to base class 'A':}} expected-error{{assigning to 'A *' from incompatible type 'D *'}} 10 } 11 12 class Object2 { }; 13 class A2 : public Object2 { }; 14 class B2 : public virtual A2 { }; 15 class C2 : virtual public A2 { }; 16 class D2 : public B2, public C2 { }; 17 class E2 : public D2, public C2, public virtual A2 { }; // expected-warning{{direct base 'C2' is inaccessible due to ambiguity:\n class E2 -> class D2 -> class C2\n class E2 -> class C2}} 18 class F2 : public E2, public A2 { }; // expected-warning{{direct base 'A2' is inaccessible due to ambiguity:\n class F2 -> class E2 -> class D2 -> class B2 -> class A2\n class F2 -> class A2}} 19 20 void g(E2* e2, F2* f2) { 21 Object2* o2; 22 o2 = e2; 23 o2 = f2; // expected-error{{ambiguous conversion from derived class 'F2' to base class 'Object2':}} expected-error{{assigning to 'Object2 *' from incompatible type 'F2 *'}} 24 } 25 26 // Test that ambiguous/inaccessibility checking does not trigger too 27 // early, because it should not apply during overload resolution. 28 void overload_okay(Object2*); 29 void overload_okay(E2*); 30 31 void overload_call(F2* f2) { 32 overload_okay(f2); 33 } 34
