clang/test/SemaObjC/arc-non-pod-memaccess.m

   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 }