blob: 3e04d5094ac1993b1e46a5e49c23e660bf01ec74 [file] [log] [blame]
// RUN: %clang_cc1 -std=c++11 -verify %s
struct B1 { // expected-note 2{{candidate}}
B1(int); // expected-note {{candidate}}
};
struct B2 { // expected-note 2{{candidate}}
B2(int); // expected-note {{candidate}}
};
struct D1 : B1, B2 { // expected-note 2{{candidate}}
using B1::B1; // expected-note 3{{inherited here}}
using B2::B2; // expected-note 3{{inherited here}}
};
D1 d1(0); // expected-error {{ambiguous}}
struct D2 : B1, B2 {
using B1::B1;
using B2::B2;
D2(int);
};
D2 d2(0); // ok
// The emergent behavior of implicit special members is a bit odd when
// inheriting from multiple base classes.
namespace default_ctor {
struct C;
struct D;
struct A { // expected-note 4{{candidate}}
A(); // expected-note {{candidate}}
A(C &&); // expected-note {{candidate}}
C &operator=(C&&); // expected-note {{candidate}}
A(D &&); // expected-note {{candidate}}
D &operator=(D&&); // expected-note {{candidate}}
};
struct B { // expected-note 4{{candidate}}
B(); // expected-note {{candidate}}
B(C &&); // expected-note {{candidate}}
C &operator=(C&&); // expected-note {{candidate}}
B(D &&); // expected-note {{candidate}}
D &operator=(D&&); // expected-note {{candidate}}
};
struct C : A, B {
using A::A;
using A::operator=;
using B::B;
using B::operator=;
};
struct D : A, B {
using A::A; // expected-note 5{{inherited here}}
using A::operator=;
using B::B; // expected-note 5{{inherited here}}
using B::operator=;
D(int);
D(const D&); // expected-note {{candidate}}
D &operator=(const D&); // expected-note {{candidate}}
};
C c;
void f(C c) {
C c2(static_cast<C&&>(c));
c = static_cast<C&&>(c);
}
// D does not declare D(), D(D&&), nor operator=(D&&), so the base class
// versions are inherited.
D d; // expected-error {{ambiguous}}
void f(D d) {
D d2(static_cast<D&&>(d)); // expected-error {{ambiguous}}
d = static_cast<D&&>(d); // expected-error {{ambiguous}}
}
}