maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

MyOtherClass<MyProtocol>* is compatible with MyClass* 

if MyClass is a superclass of MyOtherClass, there is no need for
an exact interface match.

llvm-svn: 49320
This commit is contained in:
Chris Lattner 2008-04-07 06:06:56 +00:00
parent 7bbd3d75ef
commit c9062d01d7
2 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
clang/lib/AST/ASTContext.cpp
View File

@ -1441,7 +1441,8 @@ static bool areCompatObjCInterfaces(const ObjCInterfaceType *LHS,
const ObjCInterfaceType *RHS) {
// II is compatible with II<P> if the base is the same. Otherwise, no two
// qualified interface types are the same.
if (LHS->getDecl() != RHS->getDecl()) return false;
if (!LHS->getDecl()->isSuperClassOf(RHS->getDecl()))
return false;
// If the base decls match and one is a qualified interface and one isn't,
// then they are compatible.

6
clang/test/Sema/objc-comptypes-5.m
View File

@ -1,4 +1,4 @@
// RUN: clang -fsyntax-only -verify %s
// RUN: clang -fsyntax-only -pedantic -verify %s
#define nil (void *)0;
@ -23,6 +23,7 @@ int main()
id <MyProtocol> obj_id_p = nil;
MyClass *obj_c_cat_p = nil;
MyOtherClass *obj_c_super_p = nil;
MyOtherClass<MyProtocol> *obj_c_super_p_q = nil;
obj_c_cat_p = obj_id_p; // expected-error {{incompatible type assigning 'id<MyProtocol>', expected 'MyClass *'}}
obj_c_super_p = obj_id_p; // expected-error {{incompatible type assigning 'id<MyProtocol>', expected 'MyOtherClass *'}}
@ -34,5 +35,8 @@ int main()
if (obj_id_p == obj_c_cat_p) foo(); /* Ok */
if (obj_id_p == obj_c_super_p) foo(); /* Ok */
obj_c_cat_p = obj_c_super_p; // ok.
obj_c_cat_p = obj_c_super_p_q; // ok.
return 0;
}