34 lines
1.5 KiB
C
34 lines
1.5 KiB
C
|
typedef int* _Nonnull mynonnull;
|
||
|
|
|
||
|
|
__attribute__((objc_root_class))
|
||
|
|
@interface typedefClass
|
||
|
|
- (void) func1:(mynonnull)i;
|
||
|
|
@end
|
||
|
|
|
||
|
|
void func2(mynonnull i);
|
||
|
|
|
||
|
|
void func3(int *); // expected-warning{{pointer is missing a nullability type specifier}}
|
||
|
|
// expected-note@-1{{insert '_Nullable' if the pointer may be null}}
|
||
|
|
// expected-note@-2{{insert '_Nonnull' if the pointer should never be null}}
|
||
|
|
|
||
|
|
#define CF_RETURNS_NOT_RETAINED __attribute__((cf_returns_not_retained))
|
||
|
|
typedef void *CFTypeRef;
|
||
|
|
void cf1(CFTypeRef * p CF_RETURNS_NOT_RETAINED); // expected-warning{{pointer is missing a nullability type specifier}}
|
||
|
|
// expected-note@-1{{insert '_Nullable' if the pointer may be null}}
|
||
|
|
// expected-note@-2{{insert '_Nonnull' if the pointer should never be null}}
|
||
|
|
|
||
|
|
void cf2(CFTypeRef * _Nullable p CF_RETURNS_NOT_RETAINED);
|
||
|
|
void cf3(CFTypeRef * _Nonnull p CF_RETURNS_NOT_RETAINED);
|
||
|
|
|
||
|
|
void cf4(CFTypeRef _Nullable * _Nullable p CF_RETURNS_NOT_RETAINED);
|
||
|
|
void cf5(CFTypeRef _Nonnull * _Nullable p CF_RETURNS_NOT_RETAINED);
|
||
|
|
|
||
|
|
void cf6(CFTypeRef * _Nullable CF_RETURNS_NOT_RETAINED p);
|
||
|
|
void cf7(CF_RETURNS_NOT_RETAINED CFTypeRef * _Nonnull p);
|
||
|
|
|
||
|
|
typedef CFTypeRef _Nullable *CFTypeRefPtr;
|
||
|
|
void cfp1(CFTypeRefPtr p CF_RETURNS_NOT_RETAINED); // expected-warning{{pointer is missing a nullability type specifier}}
|
||
|
|
// expected-note@-1{{insert '_Nullable' if the pointer may be null}}
|
||
|
|
// expected-note@-2{{insert '_Nonnull' if the pointer should never be null}}
|
||
|
|
void cfp2(CFTypeRefPtr _Nonnull p CF_RETURNS_NOT_RETAINED);
|