1 // RUN: %clang_cc1 -fblocks -fsyntax-only -verify %s
5 int f1(int x) __attribute__((nonnull)); //no-warning
6 int f2(int *x) __attribute__ ((nonnull (1)));
7 int f3(int *x) __attribute__ ((nonnull (0))); // expected-error {{'nonnull' attribute parameter 1 is out of bounds}}
8 int f4(int *x, int *y) __attribute__ ((nonnull (1,2)));
9 int f5(int *x, int *y) __attribute__ ((nonnull (2,1)));
10 int f6(NSObject *x) __attribute__ ((nonnull (1))); // no-warning
11 int f7(NSObject *x) __attribute__ ((nonnull)); // no-warning
14 extern void func1 (void (^block1)(), void (^block2)(), int) __attribute__((nonnull));
16 extern void func3 (void (^block1)(), int, void (^block2)(), int)
17 __attribute__((nonnull(1,3)));
19 extern void func4 (void (^block1)(), void (^block2)()) __attribute__((nonnull(1)))
20 __attribute__((nonnull(2)));
26 foo (int i1, int i2, int i3, void (^cp1)(), void (^cp2)(), void (^cp3)())
30 func1(0, cp2, i1); // expected-warning {{null passed to a callee which requires a non-null argument}}
31 func1(cp1, 0, i1); // expected-warning {{null passed to a callee which requires a non-null argument}}
35 func3(0, i2, cp3, i3); // expected-warning {{null passed to a callee which requires a non-null argument}}
36 func3(cp3, i2, 0, i3); // expected-warning {{null passed to a callee which requires a non-null argument}}
38 func4(0, cp1); // expected-warning {{null passed to a callee which requires a non-null argument}}
39 func4(cp1, 0); // expected-warning {{null passed to a callee which requires a non-null argument}}
41 // Shouldn't these emit warnings? Clang doesn't, and neither does GCC. It
42 // seems that the checking should handle Objective-C pointers.
43 func6((NSObject*) 0); // no-warning
44 func7((NSObject*) 0); // no-warning
47 void func5(int) __attribute__((nonnull)); // no-warning