diff options
author | Jordan Rose <jordan_rose@apple.com> | 2012-06-28 16:39:28 +0000 |
---|---|---|
committer | Jordan Rose <jordan_rose@apple.com> | 2012-06-28 16:39:28 +0000 |
commit | 0239df868e2e09f4963bc310c56ea129f51a2288 (patch) | |
tree | faf72f41eedec6550d8dddd31b0c68a73285101f | |
parent | 8376f5934a18b950ac7323d8a38ed231623010fa (diff) |
Warn on weak properties declared in protocols as well.
Previously this caused a crash, since protocols are not interfaces.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@159357 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/Sema/SemaExprObjC.cpp | 6 | ||||
-rw-r--r-- | test/SemaObjC/weak-receiver-warn.m | 12 |
2 files changed, 16 insertions, 2 deletions
diff --git a/lib/Sema/SemaExprObjC.cpp b/lib/Sema/SemaExprObjC.cpp index 598ad0b27a..a3fe7d3bbe 100644 --- a/lib/Sema/SemaExprObjC.cpp +++ b/lib/Sema/SemaExprObjC.cpp @@ -1379,10 +1379,12 @@ static void DiagnoseARCUseOfWeakReceiver(Sema &S, Expr *Receiver) { ObjCMethodDecl *Method = ME->getMethodDecl(); if (Method && Method->isSynthesized()) { Selector Sel = Method->getSelector(); - if (Sel.getNumArgs() == 0) + if (Sel.getNumArgs() == 0) { + const DeclContext *Container = Method->getDeclContext(); PDecl = - S.LookupPropertyDecl(Method->getClassInterface(), + S.LookupPropertyDecl(cast<ObjCContainerDecl>(Container), Sel.getIdentifierInfoForSlot(0)); + } if (PDecl) T = PDecl->getType(); } diff --git a/test/SemaObjC/weak-receiver-warn.m b/test/SemaObjC/weak-receiver-warn.m index 56d9bc10f9..e6f8eaba8c 100644 --- a/test/SemaObjC/weak-receiver-warn.m +++ b/test/SemaObjC/weak-receiver-warn.m @@ -66,3 +66,15 @@ void test0(Test0 *x) { } @end + + +// Weak properties on protocols can be synthesized by an adopting class. +@protocol MyProtocol +@property (weak) id object; // expected-note 2 {{property declared here}} +@end + +void testProtocol(id <MyProtocol> input) { + [[input object] Meth]; // expected-warning {{weak property may be unpredictably null in ARC mode}} + [input.object Meth]; // expected-warning {{weak property may be unpredictably null in ARC mode}} +} + |