reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40
   41
   42
   43
   44
   45
   46
   47
   48
   49
   50
   51
   52
   53
   54
   55
   56
   57
   58
   59
   60
   61
   62
   63

// RUN: %clang_cc1 -fsyntax-only -fobjc-arc -fobjc-runtime-has-weak -verify -fblocks -triple x86_64-apple-darwin10.0.0 %s
// RUN: %clang_cc1 -x objective-c++ -fsyntax-only -fobjc-arc -fobjc-runtime-has-weak -verify -fblocks -triple x86_64-apple-darwin10.0.0 %s

#ifdef __cplusplus
extern "C" {
#endif

void *memset(void *, int, __SIZE_TYPE__);
void *memmove(void *s1, const void *s2, __SIZE_TYPE__ n);
void *memcpy(void *s1, const void *s2, __SIZE_TYPE__ n);

#ifdef __cplusplus
}
#endif

void test(id __strong *sip, id __weak *wip, id __autoreleasing *aip,
          id __unsafe_unretained *uip, void *ptr) {
  // All okay.
  memset(sip, 0, 17);
  memset(wip, 0, 17);
  memset(aip, 0, 17);
  memset(uip, 0, 17);

  memcpy(sip, ptr, 17); // expected-warning{{destination for this 'memcpy' call is a pointer to ownership-qualified type}} \
                      // expected-note{{explicitly cast the pointer to silence this warning}}
  memcpy(wip, ptr, 17); // expected-warning{{destination for this 'memcpy' call is a pointer to ownership-qualified type}} \
                      // expected-note{{explicitly cast the pointer to silence this warning}}
  memcpy(aip, ptr, 17); // expected-warning{{destination for this 'memcpy' call is a pointer to ownership-qualified type}} \
                      // expected-note{{explicitly cast the pointer to silence this warning}}
  memcpy(uip, ptr, 17);

  memcpy(ptr, sip, 17); // expected-warning{{source of this 'memcpy' call is a pointer to ownership-qualified type}} \
                      // expected-note{{explicitly cast the pointer to silence this warning}}
  memcpy(ptr, wip, 17); // expected-warning{{source of this 'memcpy' call is a pointer to ownership-qualified type}} \
                      // expected-note{{explicitly cast the pointer to silence this warning}}
  memcpy(ptr, aip, 17); // expected-warning{{source of this 'memcpy' call is a pointer to ownership-qualified type}} \
                      // expected-note{{explicitly cast the pointer to silence this warning}}
  memcpy(ptr, uip, 17);

  memmove(sip, ptr, 17); // expected-warning{{destination for this 'memmove' call is a pointer to ownership-qualified type}} \
                      // expected-note{{explicitly cast the pointer to silence this warning}}
  memmove(wip, ptr, 17); // expected-warning{{destination for this 'memmove' call is a pointer to ownership-qualified type}} \
                      // expected-note{{explicitly cast the pointer to silence this warning}}
  memmove(aip, ptr, 17); // expected-warning{{destination for this 'memmove' call is a pointer to ownership-qualified type}} \
                      // expected-note{{explicitly cast the pointer to silence this warning}}
  memmove(uip, ptr, 17);

  memmove(ptr, sip, 17); // expected-warning{{source of this 'memmove' call is a pointer to ownership-qualified type}} \
                      // expected-note{{explicitly cast the pointer to silence this warning}}
  memmove(ptr, wip, 17); // expected-warning{{source of this 'memmove' call is a pointer to ownership-qualified type}} \
                      // expected-note{{explicitly cast the pointer to silence this warning}}
  memmove(ptr, aip, 17); // expected-warning{{source of this 'memmove' call is a pointer to ownership-qualified type}} \
                      // expected-note{{explicitly cast the pointer to silence this warning}}
  memmove(ptr, uip, 17);
}

void rdar9772982(int i, ...) {
    __builtin_va_list ap;
    
    __builtin_va_start(ap, i);
    __builtin_va_arg(ap, __strong id); // expected-error{{second argument to 'va_arg' is of ARC ownership-qualified type '__strong id'}}
    __builtin_va_end(ap);
}