| 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); |
|---|
| 34 | |
|---|