const CXXBaseSpecifier *InacessibleBase = 0;
- const CXXRecordDecl* CurrentClassDecl = 0;
+ CXXRecordDecl* CurrentClassDecl = 0;
if (CXXMethodDecl *MD = dyn_cast_or_null<CXXMethodDecl>(getCurFunctionDecl()))
CurrentClassDecl = MD->getParent();
if (CurrentClassDecl != Element->Class)
FoundInaccessibleBase = true;
break;
- case AS_protected:
- // FIXME: Implement
- break;
+ case AS_protected:
+ // FIXME: Check if the current function/class is a friend.
+ if (!CurrentClassDecl) {
+ FoundInaccessibleBase = true;
+ break;
+ }
+
+ if (CurrentClassDecl != Element->Class) {
+ QualType CurrentClassType = Context.getTypeDeclType(CurrentClassDecl);
+ QualType ClassType = Context.getTypeDeclType(Element->Class);
+
+ if (!IsDerivedFrom(CurrentClassType, ClassType))
+ FoundInaccessibleBase = true;
+ break;
+ }
}
if (FoundInaccessibleBase) {
const CXXBaseSpecifier *Base;
/// Class - The record decl of the class that the base is a base of.
- const CXXRecordDecl *Class;
+ CXXRecordDecl *Class;
/// SubobjectNumber - Identifies which base class subobject (of type
/// @c Base->getType()) this base path element refers to. This
A *a = c;
}
}
+
+namespace T7 {
+
+class C;
+class A { };
+class B : protected A { // expected-note {{'protected' inheritance specifier here}}
+ void f(C *);
+};
+
+class C : protected B { // expected-note {{'protected' inheritance specifier here}}
+ void f(C *c) {
+ A* a = c;
+ }
+};
+
+void B::f(C *c) {
+ A *a = c; // expected-error {{conversion from 'class T7::C' to inaccessible base class 'class T7::A'}} \
+ expected-error {{incompatible type initializing 'class T7::C *', expected 'class T7::A *'}}
+}
+
+class D : private C {
+ void f(D *d) {
+ A *a = d;
+ }
+};
+
+void f(B* b) {
+ A *a = b; // expected-error {{conversion from 'class T7::B' to inaccessible base class 'class T7::A'}} \
+ expected-error {{incompatible type initializing 'class T7::B *', expected 'class T7::A *'}}
+}
+
+}