1// RUN: %clang_cc1 -triple x86_64-apple-darwin11 -fsyntax-only -fobjc-arc -fblocks -fobjc-runtime-has-weak -Wexplicit-ownership-type -verify -Wno-objc-root-class %s 2// RUN: %clang_cc1 -x objective-c++ -triple x86_64-apple-darwin11 -fsyntax-only -fobjc-arc -fblocks -fobjc-runtime-has-weak -Wexplicit-ownership-type -verify -Wno-objc-root-class %s 3 4typedef const struct __CFString * CFStringRef; 5@class NSString; 6 7NSString *CFBridgingRelease(void); 8 9typedef NSString * PNSString; 10 11typedef __autoreleasing NSString * AUTORELEASEPNSString; 12 13@interface I @end 14 15@implementation I 16- (CFStringRef)myString 17{ 18 CFStringRef myString = 19 (__bridge CFStringRef) (__strong NSString *)CFBridgingRelease(); // expected-error {{explicit ownership qualifier on cast result has no effect}} 20 21 myString = 22 (__bridge CFStringRef) (__autoreleasing PNSString) CFBridgingRelease(); // expected-error {{explicit ownership qualifier on cast result has no effect}} 23 myString = 24 (__bridge CFStringRef) (AUTORELEASEPNSString) CFBridgingRelease(); // OK 25 myString = 26 (__bridge CFStringRef) (typeof(__strong NSString *)) CFBridgingRelease(); // expected-error {{explicit ownership qualifier on cast result has no effect}} 27 return myString; 28} 29 30- (void)decodeValueOfObjCType:(const char *)type at:(void *)addr { 31 __autoreleasing id *stuff = (__autoreleasing id *)addr; 32} 33@end 34 35__strong I *__strong test1; // expected-error {{the type 'I *__strong' is already explicitly ownership-qualified}} 36__strong I *(__strong test2); // expected-error {{the type 'I *__strong' is already explicitly ownership-qualified}} 37__strong I *(__strong (test3)); // expected-error {{the type 'I *__strong' is already explicitly ownership-qualified}} 38__unsafe_unretained __typeof__(test3) test4; 39typedef __strong I *strong_I; 40__unsafe_unretained strong_I test5; 41 42typedef void (^T) (void); 43@interface NSObject @end 44@protocol P; 45@interface Radar10907090 @end 46 47@implementation Radar10907090 48- (void) MMM : (NSObject*) arg0 : (NSObject<P>**)arg : (id) arg1 : (id<P>*) arg2 {} // expected-warning {{method parameter of type 'NSObject<P> *__autoreleasing *' with no explicit ownership}} \ 49 // expected-warning {{method parameter of type '__autoreleasing id<P> *' with no explicit ownership}} 50- (void) MM : (NSObject*) arg0 : (__strong NSObject**)arg : (id) arg1 : (__strong id*) arg2 {} 51- (void) M : (NSObject**)arg0 : (id*)arg {} // expected-warning {{method parameter of type 'NSObject *__autoreleasing *' with no explicit ownership}} \ 52 // expected-warning {{method parameter of type '__autoreleasing id *' with no explicit ownership}} 53- (void) N : (__strong NSObject***) arg0 : (__strong NSObject<P>***)arg : (float**) arg1 : (double) arg2 {} 54- (void) BLOCK : (T*) arg0 : (T)arg : (__strong T*) arg1 {} // expected-warning-re {{method parameter of type '__autoreleasing T *' (aka 'void (^__autoreleasing *)({{(void)?}})') with no explicit ownership}} 55@end 56 57@class NSMutableDictionary, NSError; 58@interface Radar12280826 59- (void)createInferiorTransportAndSetEnvironment:(NSMutableDictionary*)environment error:(__autoreleasing NSError**)error; 60@end 61 62@implementation Radar12280826 63- (void)createInferiorTransportAndSetEnvironment:(NSMutableDictionary*)environment error:(__autoreleasing NSError**)error {} 64@end 65 66typedef __strong id strong_id; 67typedef NSObject *NSObject_ptr; 68typedef __strong NSObject *strong_NSObject_ptr; 69 70// Warn 71__strong id f1(void); // expected-warning{{ARC __strong lifetime qualifier on return type is ignored}} 72NSObject __unsafe_unretained *f2(int); // expected-warning{{ARC __unsafe_unretained lifetime qualifier on return type is ignored}} 73__autoreleasing NSObject *f3(void); // expected-warning{{ARC __autoreleasing lifetime qualifier on return type is ignored}} 74NSObject * __strong f4(void); // expected-warning{{ARC __strong lifetime qualifier on return type is ignored}} 75NSObject_ptr __strong f5(void); // expected-warning{{ARC __strong lifetime qualifier on return type is ignored}} 76 77typedef __strong id (*fptr)(int); // expected-warning{{ARC __strong lifetime qualifier on return type is ignored}} 78 79// Don't warn 80strong_id f6(void); 81strong_NSObject_ptr f7(void); 82typedef __strong id (^block_ptr)(int); 83 84void test8_a(void) { 85 __weak id *(^myBlock)(void); 86 __weak id *var = myBlock(); 87 (void) (__strong id *) &myBlock; 88 (void) (__weak id *) &myBlock; // expected-error {{cast}} 89} 90void test8_b(void) { 91 __weak id (^myBlock)(void); 92 (void) (__weak id *) &myBlock; 93 (void) (__strong id *) &myBlock; // expected-error {{cast}} 94} 95void test8_c(void) { 96 __weak id (^*(^myBlock)(void))(void); 97 (void) (__weak id*) myBlock(); 98 (void) (__strong id*) myBlock(); // expected-error {{cast}} 99 (void) (__weak id*) &myBlock; // expected-error {{cast}} 100 (void) (__strong id*) &myBlock; 101} 102 103@class Test9; 104void test9_a(void) { 105 __weak Test9 **(^myBlock)(void); 106 __weak Test9 **var = myBlock(); 107 (void) (__strong Test9 **) &myBlock; 108 (void) (__weak Test9 **) &myBlock; // expected-error {{cast}} 109} 110void test9_b(void) { 111 __weak Test9 *(^myBlock)(void); 112 (void) (__weak Test9**) &myBlock; 113 (void) (__strong Test9**) &myBlock; // expected-error {{cast}} 114} 115void test9_c(void) { 116 __weak Test9 *(^*(^myBlock)(void))(void); 117 (void) (__weak Test9 **) myBlock(); 118 (void) (__strong Test9 **) myBlock(); // expected-error {{cast}} 119 (void) (__weak Test9 **) &myBlock; // expected-error {{cast}} 120 (void) (__strong Test9 **) &myBlock; 121} 122