1// RUN: %clang_cc1 -triple x86_64-apple-darwin11 -fsyntax-only -fblocks -Wcast-qual -verify %s
2// rdar://10597832
3
4typedef const void *CFTypeRef;
5typedef const struct __CFString *CFStringRef;
6@class NSString;
7
8@interface NSString
9@end
10
11CFTypeRef CFCreateSomething();
12CFStringRef CFCreateString();
13CFTypeRef CFGetSomething();
14CFStringRef CFGetString();
15
16id CreateSomething();
17NSString *CreateNSString();
18
19void from_cf() {
20  id obj1 = (__bridge_transfer id)CFCreateSomething(); // expected-warning {{'__bridge_transfer' casts have no effect when not using ARC}}
21  id obj2 = (__bridge_transfer NSString*)CFCreateString(); // expected-warning {{'__bridge_transfer' casts have no effect when not using ARC}}
22  (__bridge int*)CFCreateSomething(); // expected-warning {{expression result unused}} expected-warning {{cast from 'const void *' to 'int *' drops const qualifier}}
23  id obj3 = (__bridge id)CFGetSomething();
24  id obj4 = (__bridge NSString*)CFGetString();
25}
26
27void to_cf(id obj) {
28  CFTypeRef cf1 = (__bridge_retained CFTypeRef)CreateSomething(); // expected-warning {{'__bridge_retained' casts have no effect when not using ARC}}
29  CFStringRef cf2 = (__bridge_retained CFStringRef)CreateNSString(); // expected-warning {{'__bridge_retained' casts have no effect when not using ARC}}
30  CFTypeRef cf3 = (__bridge CFTypeRef)CreateSomething();
31  CFStringRef cf4 = (__bridge CFStringRef)CreateNSString();
32}
33
34void fixits() {
35  id obj1 = (id)CFCreateSomething();
36  CFTypeRef cf1 = (CFTypeRef)CreateSomething();
37}
38
39#pragma clang diagnostic ignored "-Warc-bridge-casts-disallowed-in-nonarc"
40
41void to_cf_ignored(id obj) {
42  CFTypeRef cf1 = (__bridge_retained CFTypeRef)CreateSomething(); // no-warning
43  CFTypeRef cf3 = (__bridge CFTypeRef)CreateSomething(); // no-warning
44}
45
46// Check that clang doesn't warn about dropping const from Objective-C object
47// types.
48void test_wcast_qual() {
49  CFStringRef c;
50  NSString *n0 = (NSString *)c;
51  NSString **n1 = (NSString **)&c;
52  const NSString *n2;
53  const NSString **n3;
54  void *p0 = (void *)n2;
55  void **p1 = (void **)n3;
56}
57