1 int * _Nonnull
forceNullabilityWarnings(void);
3 void arrayParameter(int x
[]); // expected-warning {{array parameter is missing a nullability type specifier}}
4 // expected-note@-1 {{insert '_Nullable'}}
5 // expected-note@-2 {{insert '_Nonnull'}}
6 // CHECK: fix-it:"{{.*}}nullability.h":{[[@LINE-3]]:27-[[@LINE-3]]:27}:"_Nullable"
7 // CHECK: fix-it:"{{.*}}nullability.h":{[[@LINE-4]]:27-[[@LINE-4]]:27}:"_Nonnull"
9 void arrayParameterWithSize(int x
[5]); // expected-warning {{array parameter is missing a nullability type specifier}}
10 // expected-note@-1 {{insert '_Nullable'}}
11 // expected-note@-2 {{insert '_Nonnull'}}
12 // CHECK: fix-it:"{{.*}}nullability.h":{[[@LINE-3]]:35-[[@LINE-3]]:35}:"_Nullable "
13 // CHECK: fix-it:"{{.*}}nullability.h":{[[@LINE-4]]:35-[[@LINE-4]]:35}:"_Nonnull "
15 void arrayParameterWithStar(int x
[*]); // expected-warning {{array parameter is missing a nullability type specifier}}
16 // expected-note@-1 {{insert '_Nullable'}}
17 // expected-note@-2 {{insert '_Nonnull'}}
18 // CHECK: fix-it:"{{.*}}nullability.h":{[[@LINE-3]]:35-[[@LINE-3]]:35}:"_Nullable "
19 // CHECK: fix-it:"{{.*}}nullability.h":{[[@LINE-4]]:35-[[@LINE-4]]:35}:"_Nonnull "
22 // No fix-its on either the macro definition or instantiation.
23 // CHECK-NOT: fix-it:"{{.*}}nullability.h":{[[@LINE+2]]
24 // CHECK-NOT: fix-it:"{{.*}}nullability.h":{[[@LINE+2]]
26 PTR(int) a
; // expected-warning{{pointer is missing a nullability type specifier}}