1// RUN: %clang_cc1 -fsyntax-only -verify %s
2// rdar://9584012
3
4typedef struct {
5	char *str;
6} Class;
7
8typedef union {
9	Class *object;
10} Instance __attribute__((transparent_union));
11
12__attribute__((nonnull(1))) void Class_init(Instance this, char *str) {
13	this.object->str = str;
14}
15
16int main(void) {
17	Class *obj;
18	Class_init(0, "Hello World"); // expected-warning {{null passed to a callee which requires a non-null argument}}
19	Class_init(obj, "Hello World");
20}
21
22void foo(const char *str) __attribute__((nonnull("foo"))); // expected-error{{'nonnull' attribute requires parameter 1 to be an integer constant}}
23void bar(int i) __attribute__((nonnull(1))); // expected-warning {{'nonnull' attribute only applies to pointer arguments}} expected-warning {{'nonnull' attribute applied to function with no pointer arguments}}
24
25void baz(__attribute__((nonnull)) const char *str);
26void baz2(__attribute__((nonnull(1))) const char *str); // expected-warning {{'nonnull' attribute when used on parameters takes no arguments}}
27void baz3(__attribute__((nonnull)) int x); // expected-warning {{'nonnull' attribute only applies to pointer arguments}}
28
29void test_baz() {
30  baz(0); // expected-warning {{null passed to a callee which requires a non-null argument}}
31  baz2(0); // no-warning
32  baz3(0); // no-warning
33}
34
35void test_void_returns_nonnull(void) __attribute__((returns_nonnull)); // expected-warning {{'returns_nonnull' attribute only applies to return values that are pointers}}
36int test_int_returns_nonnull(void) __attribute__((returns_nonnull)); // expected-warning {{'returns_nonnull' attribute only applies to return values that are pointers}}
37void *test_ptr_returns_nonnull(void) __attribute__((returns_nonnull)); // no-warning
38
39int i __attribute__((nonnull)); // expected-warning {{'nonnull' attribute only applies to functions, methods, and parameters}}
40int j __attribute__((returns_nonnull)); // expected-warning {{'returns_nonnull' attribute only applies to functions and methods}}
41void *test_no_fn_proto() __attribute__((returns_nonnull));  // expected-warning {{'returns_nonnull' attribute only applies to functions and methods}}
42
43__attribute__((returns_nonnull))
44void *test_bad_returns_null(void) {
45  return 0; // expected-warning {{null returned from function that requires a non-null return value}}
46}
47
48void PR18795(int (*g)(const char *h, ...) __attribute__((nonnull(1))) __attribute__((nonnull))) {
49  g(0); // expected-warning{{null passed to a callee which requires a non-null argument}}
50}
51void PR18795_helper() {
52  PR18795(0); // expected-warning{{null passed to a callee which requires a non-null argument}}
53}
54
55
56