1// RUN: %clang_cc1 -fsyntax-only -verify %s
2class 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':}} expected-error{{assigning to 'A *' from incompatible type 'D *'}}
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 { };
18class F2 : public E2, public 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':}} 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.
28void overload_okay(Object2*);
29void overload_okay(E2*);
30
31void overload_call(F2* f2) {
32  overload_okay(f2);
33}
34