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
10int * _Nullable foo(int * _Nonnull x);
11
12int *_Nonnull ret_nonnull();
13
14int *foo(int *x) {
15  return 0;
16}
17
18int * _Nullable foo1(int * _Nonnull x); // expected-note {{previous declaration is here}}
19
20int *foo1(int * _Nullable x) { // expected-warning {{nullability specifier '_Nullable' conflicts with existing specifier '_Nonnull'}}
21  return 0;
22}
23
24int * _Nullable foo2(int * _Nonnull x);
25
26int *foo2(int * _Nonnull x) {
27  return 0;
28}
29
30int * _Nullable foo3(int * _Nullable x); // expected-note {{previous declaration is here}}
31
32int *foo3(int * _Nonnull x) { // expected-warning {{nullability specifier '_Nonnull' conflicts with existing specifier '_Nullable'}}
33  return 0;
34}
35
36int * 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)
41int 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