150
|
1 // RUN: %clang_cc1 -fsyntax-only -fobjc-arc -fobjc-runtime-has-weak -verify -fblocks -triple x86_64-apple-darwin10.0.0 %s
|
|
2 // RUN: %clang_cc1 -x objective-c++ -fsyntax-only -fobjc-arc -fobjc-runtime-has-weak -verify -fblocks -triple x86_64-apple-darwin10.0.0 %s
|
|
3
|
|
4 #ifdef __cplusplus
|
|
5 extern "C" {
|
|
6 #endif
|
|
7
|
|
8 void *memset(void *, int, __SIZE_TYPE__);
|
|
9 void *memmove(void *s1, const void *s2, __SIZE_TYPE__ n);
|
|
10 void *memcpy(void *s1, const void *s2, __SIZE_TYPE__ n);
|
|
11
|
|
12 #ifdef __cplusplus
|
|
13 }
|
|
14 #endif
|
|
15
|
|
16 void test(id __strong *sip, id __weak *wip, id __autoreleasing *aip,
|
|
17 id __unsafe_unretained *uip, void *ptr) {
|
|
18 // All okay.
|
|
19 memset(sip, 0, 17);
|
|
20 memset(wip, 0, 17);
|
|
21 memset(aip, 0, 17);
|
|
22 memset(uip, 0, 17);
|
|
23
|
|
24 memcpy(sip, ptr, 17); // expected-warning{{destination for this 'memcpy' call is a pointer to ownership-qualified type}} \
|
|
25 // expected-note{{explicitly cast the pointer to silence this warning}}
|
|
26 memcpy(wip, ptr, 17); // expected-warning{{destination for this 'memcpy' call is a pointer to ownership-qualified type}} \
|
|
27 // expected-note{{explicitly cast the pointer to silence this warning}}
|
|
28 memcpy(aip, ptr, 17); // expected-warning{{destination for this 'memcpy' call is a pointer to ownership-qualified type}} \
|
|
29 // expected-note{{explicitly cast the pointer to silence this warning}}
|
|
30 memcpy(uip, ptr, 17);
|
|
31
|
|
32 memcpy(ptr, sip, 17); // expected-warning{{source of this 'memcpy' call is a pointer to ownership-qualified type}} \
|
|
33 // expected-note{{explicitly cast the pointer to silence this warning}}
|
|
34 memcpy(ptr, wip, 17); // expected-warning{{source of this 'memcpy' call is a pointer to ownership-qualified type}} \
|
|
35 // expected-note{{explicitly cast the pointer to silence this warning}}
|
|
36 memcpy(ptr, aip, 17); // expected-warning{{source of this 'memcpy' call is a pointer to ownership-qualified type}} \
|
|
37 // expected-note{{explicitly cast the pointer to silence this warning}}
|
|
38 memcpy(ptr, uip, 17);
|
|
39
|
|
40 memmove(sip, ptr, 17); // expected-warning{{destination for this 'memmove' call is a pointer to ownership-qualified type}} \
|
|
41 // expected-note{{explicitly cast the pointer to silence this warning}}
|
|
42 memmove(wip, ptr, 17); // expected-warning{{destination for this 'memmove' call is a pointer to ownership-qualified type}} \
|
|
43 // expected-note{{explicitly cast the pointer to silence this warning}}
|
|
44 memmove(aip, ptr, 17); // expected-warning{{destination for this 'memmove' call is a pointer to ownership-qualified type}} \
|
|
45 // expected-note{{explicitly cast the pointer to silence this warning}}
|
|
46 memmove(uip, ptr, 17);
|
|
47
|
|
48 memmove(ptr, sip, 17); // expected-warning{{source of this 'memmove' call is a pointer to ownership-qualified type}} \
|
|
49 // expected-note{{explicitly cast the pointer to silence this warning}}
|
|
50 memmove(ptr, wip, 17); // expected-warning{{source of this 'memmove' call is a pointer to ownership-qualified type}} \
|
|
51 // expected-note{{explicitly cast the pointer to silence this warning}}
|
|
52 memmove(ptr, aip, 17); // expected-warning{{source of this 'memmove' call is a pointer to ownership-qualified type}} \
|
|
53 // expected-note{{explicitly cast the pointer to silence this warning}}
|
|
54 memmove(ptr, uip, 17);
|
|
55 }
|
|
56
|
|
57 void rdar9772982(int i, ...) {
|
|
58 __builtin_va_list ap;
|
|
59
|
|
60 __builtin_va_start(ap, i);
|
|
61 __builtin_va_arg(ap, __strong id); // expected-error{{second argument to 'va_arg' is of ARC ownership-qualified type '__strong id'}}
|
|
62 __builtin_va_end(ap);
|
|
63 }
|