1// RUN: %clang_cc1 -x objective-c++ -triple x86_64-apple-darwin11 -fsyntax-only -fobjc-arc -fblocks -Wexplicit-ownership-type -verify -Wno-objc-root-class %s 2// rdar://10244607 3 4typedef const struct __CFString * CFStringRef; 5@class NSString; 6 7NSString *CFBridgingRelease(); 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// rdar://problem/10711456 36__strong I *__strong test1; // expected-error {{the type 'I *__strong' is already explicitly ownership-qualified}} 37__strong I *(__strong test2); // expected-error {{the type 'I *__strong' is already explicitly ownership-qualified}} 38__strong I *(__strong (test3)); // expected-error {{the type 'I *__strong' is already explicitly ownership-qualified}} 39__unsafe_unretained __typeof__(test3) test4; 40typedef __strong I *strong_I; 41__unsafe_unretained strong_I test5; 42 43// rdar://10907090 44typedef void (^T) (); 45@interface NSObject @end 46@protocol P; 47@interface Radar10907090 @end 48 49@implementation Radar10907090 50- (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}} \ 51 // expected-warning {{method parameter of type '__autoreleasing id<P> &' with no explicit ownership}} 52- (void) MM : (NSObject*) arg0 : (__strong NSObject**)arg : (id) arg1 : (__strong id*) arg2 {} 53- (void) M : (NSObject**)arg0 : (id*)arg {} // expected-warning {{method parameter of type 'NSObject *__autoreleasing *' with no explicit ownership}} \ 54 // expected-warning {{method parameter of type '__autoreleasing id *' with no explicit ownership}} 55- (void) N : (__strong NSObject***) arg0 : (__strong NSObject<P>***)arg : (float**) arg1 : (double) arg2 {} 56- (void) BLOCK : (T&) arg0 : (T)arg : (__strong T*) arg1 {} // expected-warning {{method parameter of type '__autoreleasing T &' (aka 'void (^__autoreleasing &)()') with no explicit ownership}} 57@end 58 59// rdar://12280826 60@class NSMutableDictionary, NSError; 61@interface Radar12280826 62- (void)createInferiorTransportAndSetEnvironment:(NSMutableDictionary*)environment error:(__autoreleasing NSError*&)error; 63@end 64 65@implementation Radar12280826 66- (void)createInferiorTransportAndSetEnvironment:(NSMutableDictionary*)environment error:(__autoreleasing NSError*&)error {} 67@end 68 69