Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
Douglas Gregor | 94b1dd2 | 2008-10-24 04:54:22 +0000 | [diff] [blame] | 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; |
Douglas Gregor | d4eea83 | 2010-04-09 00:35:39 +0000 | [diff] [blame] | 9 | a = d; // expected-error{{ambiguous conversion from derived class 'D' to base class 'A':}} expected-error{{assigning to 'A *' from incompatible type 'D *'}} |
Douglas Gregor | 94b1dd2 | 2008-10-24 04:54:22 +0000 | [diff] [blame] | 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 { }; |
| 18 | class F2 : public E2, public A2 { }; |
| 19 | |
| 20 | void g(E2* e2, F2* f2) { |
| 21 | Object2* o2; |
| 22 | o2 = e2; |
Douglas Gregor | d4eea83 | 2010-04-09 00:35:39 +0000 | [diff] [blame] | 23 | o2 = f2; // expected-error{{ambiguous conversion from derived class 'F2' to base class 'Object2':}} expected-error{{assigning to 'Object2 *' from incompatible type 'F2 *'}} |
Douglas Gregor | 94b1dd2 | 2008-10-24 04:54:22 +0000 | [diff] [blame] | 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 | } |