1*67e74705SXin Li// RUN: %clang_cc1 -arcmt-check -verify -triple x86_64-apple-darwin10 %s 2*67e74705SXin Li 3*67e74705SXin Li#include "Common.h" 4*67e74705SXin Li 5*67e74705SXin Litypedef const struct __CFString * CFStringRef; 6*67e74705SXin Litypedef const void * CFTypeRef; 7*67e74705SXin LiCFTypeRef CFBridgingRetain(id X); 8*67e74705SXin Liid CFBridgingRelease(CFTypeRef); 9*67e74705SXin Li 10*67e74705SXin Listruct StrS { 11*67e74705SXin Li CFStringRef sref_member; 12*67e74705SXin Li}; 13*67e74705SXin Li 14*67e74705SXin Li@interface NSString : NSObject { 15*67e74705SXin Li CFStringRef sref; 16*67e74705SXin Li struct StrS *strS; 17*67e74705SXin Li} 18*67e74705SXin Li-(id)string; 19*67e74705SXin Li-(id)newString; 20*67e74705SXin Li@end 21*67e74705SXin Li 22*67e74705SXin Li@implementation NSString 23*67e74705SXin Li-(id)string { 24*67e74705SXin Li if (0) 25*67e74705SXin Li return sref; 26*67e74705SXin Li else 27*67e74705SXin Li return strS->sref_member; 28*67e74705SXin Li} 29*67e74705SXin Li-(id)newString { 30*67e74705SXin Li return sref; // expected-error {{implicit conversion of C pointer type 'CFStringRef' (aka 'const struct __CFString *') to Objective-C pointer type 'id' requires a bridged cast}} \ 31*67e74705SXin Li // expected-note{{use __bridge to convert directly (no change in ownership)}} \ 32*67e74705SXin Li // expected-note{{use CFBridgingRelease call to transfer ownership of a +1 'CFStringRef' (aka 'const struct __CFString *') into ARC}} 33*67e74705SXin Li} 34*67e74705SXin Li@end 35*67e74705SXin Li 36*67e74705SXin Livoid f(BOOL b) { 37*67e74705SXin Li CFStringRef cfstr; 38*67e74705SXin Li NSString *str = (NSString *)cfstr; // expected-error {{cast of C pointer type 'CFStringRef' (aka 'const struct __CFString *') to Objective-C pointer type 'NSString *' requires a bridged cast}} \ 39*67e74705SXin Li // expected-note{{use __bridge to convert directly (no change in ownership)}} \ 40*67e74705SXin Li // expected-note{{use CFBridgingRelease call to transfer ownership of a +1 'CFStringRef' (aka 'const struct __CFString *') into ARC}} 41*67e74705SXin Li void *vp = str; // expected-error {{requires a bridged cast}} expected-note {{use CFBridgingRetain call}} expected-note {{use __bridge}} 42*67e74705SXin Li} 43*67e74705SXin Li 44*67e74705SXin Livoid f2(NSString *s) { 45*67e74705SXin Li CFStringRef ref; 46*67e74705SXin Li ref = [(CFStringRef)[s string] retain]; // expected-error {{cast of Objective-C pointer type 'id' to C pointer type 'CFStringRef' (aka 'const struct __CFString *') requires a bridged cast}} \ 47*67e74705SXin Li // expected-error {{bad receiver type 'CFStringRef' (aka 'const struct __CFString *')}} \ 48*67e74705SXin Li // expected-note{{use __bridge to convert directly (no change in ownership)}} \ 49*67e74705SXin Li // expected-note{{use CFBridgingRetain call to make an ARC object available as a +1 'CFStringRef' (aka 'const struct __CFString *')}} 50*67e74705SXin Li} 51*67e74705SXin Li 52*67e74705SXin LiCFStringRef f3() { 53*67e74705SXin Li return (CFStringRef)[[[NSString alloc] init] autorelease]; // expected-error {{it is not safe to cast to 'CFStringRef' the result of 'autorelease' message; a __bridge cast may result in a pointer to a destroyed object and a __bridge_retained may leak the object}} \ 54*67e74705SXin Li // expected-note {{remove the cast and change return type of function to 'NSString *' to have the object automatically autoreleased}} 55*67e74705SXin Li} 56*67e74705SXin Li 57*67e74705SXin Liextern void NSLog(NSString *format, ...); 58*67e74705SXin Li 59*67e74705SXin Li// rdar://13192395 60*67e74705SXin Livoid f4(NSString *s) { 61*67e74705SXin Li NSLog(@"%@", (CFStringRef)s); // expected-error {{cast of Objective-C pointer type 'NSString *' to C pointer type 'CFStringRef' (aka 'const struct __CFString *') requires a bridged cast}} \ 62*67e74705SXin Li // expected-note{{use __bridge to convert directly (no change in ownership)}} \ 63*67e74705SXin Li // expected-note{{use CFBridgingRetain call to make an ARC object available as a +1 'CFStringRef' (aka 'const struct __CFString *')}} 64*67e74705SXin Li} 65