diff options
| -rw-r--r-- | AST/ASTContext.cpp | 17 | ||||
| -rw-r--r-- | test/Sema/objc-comptypes-4.m | 25 |
2 files changed, 41 insertions, 1 deletions
diff --git a/AST/ASTContext.cpp b/AST/ASTContext.cpp index 5ec5131074..cd7b3cd73b 100644 --- a/AST/ASTContext.cpp +++ b/AST/ASTContext.cpp @@ -1225,12 +1225,27 @@ bool ASTContext::builtinTypesAreCompatible(QualType lhs, QualType rhs) { return lBuiltin->getKind() == rBuiltin->getKind(); } - +/// objcTypesAreCompatible - This routine is called when two types +/// are of different class; one is interface type or is +/// a qualified interface type and the other type is of a different class. +/// Example, II or II<P>. bool ASTContext::objcTypesAreCompatible(QualType lhs, QualType rhs) { if (lhs->isObjcInterfaceType() && isObjcIdType(rhs)) return true; else if (isObjcIdType(lhs) && rhs->isObjcInterfaceType()) return true; + if (ObjcInterfaceType *lhsIT = + dyn_cast<ObjcInterfaceType>(lhs.getCanonicalType().getTypePtr())) { + ObjcQualifiedInterfaceType *rhsQI = + dyn_cast<ObjcQualifiedInterfaceType>(rhs.getCanonicalType().getTypePtr()); + return rhsQI && (lhsIT->getDecl() == rhsQI->getDecl()); + } + else if (ObjcInterfaceType *rhsIT = + dyn_cast<ObjcInterfaceType>(rhs.getCanonicalType().getTypePtr())) { + ObjcQualifiedInterfaceType *lhsQI = + dyn_cast<ObjcQualifiedInterfaceType>(lhs.getCanonicalType().getTypePtr()); + return lhsQI && (rhsIT->getDecl() == lhsQI->getDecl()); + } return false; } diff --git a/test/Sema/objc-comptypes-4.m b/test/Sema/objc-comptypes-4.m new file mode 100644 index 0000000000..bda9050164 --- /dev/null +++ b/test/Sema/objc-comptypes-4.m @@ -0,0 +1,25 @@ +// RUN: clang -fsyntax-only -verify %s + +extern void foo(); + +@protocol MyProtocol @end + +@interface MyClass @end + +int main() +{ + MyClass <MyProtocol> *obj_p; + MyClass *obj_cp; + + obj_cp = obj_p; + obj_p = obj_cp; + + if (obj_cp == obj_p) + foo(); + + if (obj_p == obj_cp) + foo(); + +} + + |