15 typedef int * _Nonnull nonnull_int_ptr;
20 typedef int * _Nonnull _Nonnull redundant_1; // expected-warning{{duplicate nullability specifier '…
23 typedef int * _Nonnull _Nullable conflicting_1; // expected-error{{nullability specifier '_Nullable…
24 typedef int * _Null_unspecified _Nonnull conflicting_2; // expected-error{{nullability specifier '_…
27 typedef nonnull_int_ptr _Nonnull redundant_okay_1;
42 typedef int (* _Nonnull function_pointer_type_1)(int, int);
43 typedef int (^ _Nonnull block_type_1)(int, int);
46 typedef int _Nonnull int_type_1; // expected-error{{nullability specifier '_Nonnull' cannot be appl…
50 typedef _Nonnull int * nonnull_int_ptr_2;
52 typedef _Nonnull int (* function_pointer_type_2)(int, int);
53 typedef _Nonnull int (^ block_type_2)(int, int);
54 typedef _Nonnull int * * _Nullable nonnull_int_ptr_ptr_1;
55 typedef _Nonnull int *(^ block_type_3)(int, int);
56 typedef _Nonnull int *(* function_pointer_type_3)(int, int);
57 typedef _Nonnull int_ptr (^ block_type_4)(int, int);
58 typedef _Nonnull int_ptr (* function_pointer_type_4)(int, int);
59 typedef void (* function_pointer_type_5)(int_ptr _Nonnull);
61 void acceptFunctionPtr(_Nonnull int *(*)(void));
62 void acceptBlockPtr(_Nonnull int *(^)(void));
77 typedef _Nonnull int * _Nullable *  conflict_int_ptr_ptr_2; // expected-error{{nullability specifie…
80 typedef int * _Nonnull ambiguous_int_ptr;
89 int * _Nonnull ip_1 = &f; // expected-warning{{incompatible pointer types initializing 'int * _Nonn…
93   int * _Nonnull iptr;  in printing_nullability()
96   int * * _Nonnull iptrptr;  in printing_nullability()
99   int * _Nullable * _Nonnull iptrptr2;  in printing_nullability()
104 void accepts_nonnull_1(_Nonnull int *ptr);
105 void (*accepts_nonnull_2)(_Nonnull int *ptr);
106 void (^accepts_nonnull_3)(_Nonnull int *ptr);
115 _Nonnull int *returns_int_ptr(int x) {  in returns_int_ptr()
120   return (_Nonnull int *)0;  in returns_int_ptr()
126 …_Nonnull int *b = ptr; // expected-warning{{implicit conversion from nullable pointer 'int * _Null…  in nullable_to_nonnull()
134   int * _Nonnull p;  in conditional_expr()
135   int * _Nonnull nonnullP;  in conditional_expr()
160   typedef IntP _Nonnull NonnullIntP0;  in conditional_expr()
161   typedef NonnullIntP0 _Nonnull NonnullIntP1;  in conditional_expr()
175   int * _Nonnull p;  in binary_conditional_expr()
176   int * _Nonnull nonnullP;  in binary_conditional_expr()
202 void arrays(int ints[_Nonnull],
205             void * _Null_unspecified * _Nonnull nestedPtrs2[_Nullable],
206             int fixedSize[_Nonnull 2],
207             int staticSize[_Nonnull static 2],
208             int staticSize2[static _Nonnull 2],
209             int starSize[_Nonnull *],
210             int vla[_Nonnull GLOBAL_LENGTH],
218 void nestedArrays(int x[5][_Nonnull 1]) {} // expected-error {{nullability specifier '_Nonnull' can…  in nestedArrays()
219 void nestedArrays2(int x[5][_Nonnull 1][2]) {} // expected-error {{nullability specifier '_Nonnull'…  in nestedArrays2()
220 void nestedArraysOK(int x[_Nonnull 5][1]) {} // ok  in nestedArraysOK()
222 void nullabilityOnBase(_Nonnull int x[1], // expected-error {{nullability specifier '_Nonnull' cann…
223 …int _Nonnull y[1]); // expected-error {{nullability specifier '_Nonnull' cannot be applied to non-…
226 typedef int BAD_INTS[_Nonnull 4]; // expected-error {{nullability specifier '_Nonnull' cannot be ap…
228 void typedefTest(INTS _Nonnull x,
229                  _Nonnull INTS xx,
230 …INTS _Nonnull y[2], // expected-error {{nullability specifier '_Nonnull' cannot be applied to non-…
231                  INTS z[_Nonnull 2]);
233 INTS _Nonnull x; // expected-error {{nullability specifier '_Nonnull' cannot be applied to non-poin…
234 _Nonnull INTS x; // expected-error {{nullability specifier '_Nonnull' cannot be applied to non-poin…
238   void (^simple)(int [_Nonnull 2]) = ^(int x[_Nonnull 2]) {};  in arraysInBlocks()
240   void (^nested)(void *_Nullable x[_Nonnull 2]) = ^(void *_Nullable x[_Nonnull 2]) {};  in arraysInBlocks()
242 …void (^nestedBad)(int x[2][_Nonnull 2]) = // expected-error {{nullability specifier '_Nonnull' can…  in arraysInBlocks()
243 …^(int x[2][_Nonnull 2]) {}; // expected-error {{nullability specifier '_Nonnull' cannot be applied…  in arraysInBlocks()
245   void (^withTypedef)(INTS _Nonnull) = ^(INTS _Nonnull x) {};  in arraysInBlocks()
247 …void (^withTypedefBad)(INTS _Nonnull [2]) = // expected-error {{nullability specifier '_Nonnull' c…  in arraysInBlocks()
248 …^(INTS _Nonnull x[2]) {}; // expected-error {{nullability specifier '_Nonnull' cannot be applied t…  in arraysInBlocks()