1// RUN: %clang_cc1 -fsyntax-only -fobjc-runtime-has-weak -fobjc-arc -fblocks -Wno-objc-root-class -Wreceiver-is-weak -verify %s 2// rdar://10225276 3 4@interface Test0 5- (void) setBlock: (void(^)(void)) block; 6- (void) addBlock: (void(^)(void)) block; 7- (void) actNow; 8@end 9 10void test0(Test0 *x) { 11 __weak Test0 *weakx = x; 12 [x addBlock: ^{ [weakx actNow]; }]; // expected-warning {{weak receiver may be unpredictably set to nil}} expected-note {{assign the value to a strong variable to keep the object alive during use}} 13 [x setBlock: ^{ [weakx actNow]; }]; // expected-warning {{weak receiver may be unpredictably set to nil}} expected-note {{assign the value to a strong variable to keep the object alive during use}} 14 x.block = ^{ [weakx actNow]; }; // expected-warning {{weak receiver may be unpredictably set to nil}} expected-note {{assign the value to a strong variable to keep the object alive during use}} 15 16 [weakx addBlock: ^{ [x actNow]; }]; // expected-warning {{weak receiver may be unpredictably set to nil}} expected-note {{assign the value to a strong variable to keep the object alive during use}} 17 [weakx setBlock: ^{ [x actNow]; }]; // expected-warning {{weak receiver may be unpredictably set to nil}} expected-note {{assign the value to a strong variable to keep the object alive during use}} 18 weakx.block = ^{ [x actNow]; }; // expected-warning {{weak receiver may be unpredictably set to nil}} expected-note {{assign the value to a strong variable to keep the object alive during use}} 19} 20 21@interface Test 22{ 23 __weak Test* weak_prop; 24} 25- (void) Meth; 26@property __weak Test* weak_prop; // expected-note {{property declared here}} 27@property (weak, atomic) id weak_atomic_prop; // expected-note {{property declared here}} 28- (__weak id) P; // expected-note {{method 'P' declared here}} 29@end 30 31@implementation Test 32- (void) Meth { 33 if (self.weak_prop) { 34 self.weak_prop = 0; 35 } 36 if (self.weak_atomic_prop) { 37 self.weak_atomic_prop = 0; 38 } 39 [self.weak_prop Meth]; // expected-warning {{weak property may be unpredictably set to nil}} expected-note {{assign the value to a strong variable to keep the object alive during use}} 40 id pi = self.P; 41 42 [self.weak_atomic_prop Meth]; // expected-warning {{weak property may be unpredictably set to nil}} expected-note {{assign the value to a strong variable to keep the object alive during use}} 43 44 [self.P Meth]; // expected-warning {{weak implicit property may be unpredictably set to nil}} expected-note {{assign the value to a strong variable to keep the object alive during use}} 45} 46 47- (__weak id) P { return 0; } 48@dynamic weak_prop, weak_atomic_prop; 49@end 50 51 52@interface MyClass { 53 __weak MyClass *_parent; 54} 55@property (weak) MyClass *parent; // expected-note 4 {{property declared here}} 56@end 57 58@implementation MyClass 59@synthesize parent = _parent; 60 61- (void)doSomething 62{ 63 [[self parent] doSomething]; // expected-warning {{weak property may be unpredictably set to nil}} expected-note {{assign the value to a strong variable to keep the object alive during use}} 64 65 (void)self.parent.doSomething; // expected-warning {{weak property may be unpredictably set to nil}} expected-note {{assign the value to a strong variable to keep the object alive during use}} 66} 67 68@end 69 70 71// Weak properties on protocols can be synthesized by an adopting class. 72@protocol MyProtocol 73@property (weak) id object; // expected-note 2 {{property declared here}} 74@end 75 76void testProtocol(id <MyProtocol> input) { 77 [[input object] Meth]; // expected-warning {{weak property may be unpredictably set to nil}} expected-note {{assign the value to a strong variable to keep the object alive during use}} 78 [input.object Meth]; // expected-warning {{weak property may be unpredictably set to nil}} expected-note {{assign the value to a strong variable to keep the object alive during use}} 79} 80 81 82@interface Subclass : MyClass 83// Unnecessarily redeclare -parent. 84- (id)parent; 85@end 86 87@implementation Subclass 88 89- (id)parent { 90 return [super parent]; 91} 92 93- (void)doSomethingElse { 94 [[self parent] doSomething]; // expected-warning {{weak property may be unpredictably set to nil}} expected-note {{assign the value to a strong variable to keep the object alive during use}} 95 96 (void)self.parent.doSomething; // expected-warning {{weak property may be unpredictably set to nil}} expected-note {{assign the value to a strong variable to keep the object alive during use}} 97} 98 99@end 100 101