Home | History | Annotate | Download | only in SemaCXX
      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