test/SemaCXX/derived-to-base-ambig.cpp

   1 // RUN: clang-cc -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 'class D' to base class 'class A'}} expected-error{{incompatible type assigning 'class D *', expected 'class A *'}}
  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;
  23   o2 = f2; // expected-error{{ambiguous conversion from derived class 'class F2' to base class 'class Object2'}} expected-error{{incompatible type assigning 'class F2 *', expected 'class Object2 *'}}
  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 }