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