1 // RUN: %clang_cc1 -fsyntax-only -Wnonnull -Wnullability %s -verify 2 // rdar://19160762 3 4 #if __has_feature(nullability) 5 #else 6 # error nullability feature should be defined 7 #endif 8 9 10 int * _Nullable foo(int * _Nonnull x); 11 12 int *_Nonnull ret_nonnull(); 13 14 int *foo(int *x) { 15 return 0; 16 } 17 18 int * _Nullable foo1(int * _Nonnull x); // expected-note {{previous declaration is here}} 19 20 int *foo1(int * _Nullable x) { // expected-warning {{nullability specifier '_Nullable' conflicts with existing specifier '_Nonnull'}} 21 return 0; 22 } 23 24 int * _Nullable foo2(int * _Nonnull x); 25 26 int *foo2(int * _Nonnull x) { 27 return 0; 28 } 29 30 int * _Nullable foo3(int * _Nullable x); // expected-note {{previous declaration is here}} 31 32 int *foo3(int * _Nonnull x) { // expected-warning {{nullability specifier '_Nonnull' conflicts with existing specifier '_Nullable'}} 33 return 0; 34 } 35 36 int * ret_nonnull() { 37 return 0; // expected-warning {{null returned from function that requires a non-null return value}} 38 } 39 40 #define SAFE_CALL(X) if (X) foo(X) 41 int main () { 42 foo(0); // expected-warning {{null passed to a callee that requires a non-null argument}} 43 (void)sizeof(foo(0)); // expect no diagnostic in unevaluated context. 44 SAFE_CALL(0); // expect no diagnostic for unreachable code. 45 } 46
