clang/test/SemaObjCXX/Inputs/nullability-consistency-8.h

   1 typedef int* _Nonnull mynonnull;
   2
   3 __attribute__((objc_root_class))
   4 @interface typedefClass
   5 - (void) func1:(mynonnull)i;
   6 @end
   7
   8 void func2(mynonnull i);
   9
  10 void func3(int *); // expected-warning{{pointer is missing a nullability type specifier}}
  11 // expected-note@-1{{insert '_Nullable' if the pointer may be null}}
  12 // expected-note@-2{{insert '_Nonnull' if the pointer should never be null}}
  13
  14 #define CF_RETURNS_NOT_RETAINED __attribute__((cf_returns_not_retained))
  15 typedef void *CFTypeRef;
  16 void cf1(CFTypeRef * p CF_RETURNS_NOT_RETAINED); // expected-warning{{pointer is missing a nullability type specifier}}
  17 // expected-note@-1{{insert '_Nullable' if the pointer may be null}}
  18 // expected-note@-2{{insert '_Nonnull' if the pointer should never be null}}
  19
  20 void cf2(CFTypeRef * _Nullable p CF_RETURNS_NOT_RETAINED);
  21 void cf3(CFTypeRef * _Nonnull p CF_RETURNS_NOT_RETAINED);
  22
  23 void cf4(CFTypeRef _Nullable * _Nullable p CF_RETURNS_NOT_RETAINED);
  24 void cf5(CFTypeRef _Nonnull * _Nullable p CF_RETURNS_NOT_RETAINED);
  25
  26 void cf6(CFTypeRef * _Nullable CF_RETURNS_NOT_RETAINED p);
  27 void cf7(CF_RETURNS_NOT_RETAINED CFTypeRef * _Nonnull p);
  28
  29 typedef CFTypeRef _Nullable *CFTypeRefPtr;
  30 void cfp1(CFTypeRefPtr p CF_RETURNS_NOT_RETAINED); // expected-warning{{pointer is missing a nullability type specifier}}
  31 // expected-note@-1{{insert '_Nullable' if the pointer may be null}}
  32 // expected-note@-2{{insert '_Nonnull' if the pointer should never be null}}
  33 void cfp2(CFTypeRefPtr _Nonnull p CF_RETURNS_NOT_RETAINED);