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 
foo(int * x)14 int *foo(int *x) {
15   return 0;
16 }
17 
18 int * _Nullable foo1(int * _Nonnull x); // expected-note {{previous declaration is here}}
19 
foo1(int * _Nullable x)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 
foo2(int * _Nonnull x)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 
foo3(int * _Nonnull x)32 int *foo3(int * _Nonnull x) { // expected-warning {{nullability specifier '_Nonnull' conflicts with existing specifier '_Nullable'}}
33   return 0;
34 }
35 
ret_nonnull()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)
main()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