| 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 | } |
|---|
| 64 | |
|---|