16bc8f9a21cdbf3f043455ff78f9ece66f9f2c3d9Aaron Ballman// RUN: %clang_cc1 -fsyntax-only -verify %s
268fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian// rdar://9584012
368fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian
468fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahaniantypedef struct {
568fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian	char *str;
668fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian} Class;
768fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian
868fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahaniantypedef union {
968fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian	Class *object;
1068fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian} Instance __attribute__((transparent_union));
1168fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian
1268fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian__attribute__((nonnull(1))) void Class_init(Instance this, char *str) {
1368fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian	this.object->str = str;
1468fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian}
1568fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian
1668fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanianint main(void) {
1768fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian	Class *obj;
18176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines	Class_init(0, "Hello World"); // expected-warning {{null passed to a callee that requires a non-null argument}}
1968fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian	Class_init(obj, "Hello World");
2068fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian}
2168fe96adf787abd1e98016da0f38e26644faf7b9Fariborz Jahanian
22b3d7efe0f95bc44f0e93602f4617a53ca3b66e3aAaron Ballmanvoid foo(const char *str) __attribute__((nonnull("foo"))); // expected-error{{'nonnull' attribute requires parameter 1 to be an integer constant}}
23651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid 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}}
24651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines
25651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid baz(__attribute__((nonnull)) const char *str);
26651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid baz2(__attribute__((nonnull(1))) const char *str); // expected-warning {{'nonnull' attribute when used on parameters takes no arguments}}
27651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid baz3(__attribute__((nonnull)) int x); // expected-warning {{'nonnull' attribute only applies to pointer arguments}}
28651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines
29651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid test_baz() {
30176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines  baz(0); // expected-warning {{null passed to a callee that requires a non-null argument}}
31651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines  baz2(0); // no-warning
32651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines  baz3(0); // no-warning
33651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines}
34651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines
35651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid test_void_returns_nonnull(void) __attribute__((returns_nonnull)); // expected-warning {{'returns_nonnull' attribute only applies to return values that are pointers}}
36651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesint test_int_returns_nonnull(void) __attribute__((returns_nonnull)); // expected-warning {{'returns_nonnull' attribute only applies to return values that are pointers}}
37651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid *test_ptr_returns_nonnull(void) __attribute__((returns_nonnull)); // no-warning
38651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines
39651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesint i __attribute__((nonnull)); // expected-warning {{'nonnull' attribute only applies to functions, methods, and parameters}}
40651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesint j __attribute__((returns_nonnull)); // expected-warning {{'returns_nonnull' attribute only applies to functions and methods}}
41176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid *test_no_fn_proto() __attribute__((returns_nonnull)); // no-warning
42176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid *test_with_fn_proto(void) __attribute__((returns_nonnull)); // no-warning
43651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines
44651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines__attribute__((returns_nonnull))
45651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid *test_bad_returns_null(void) {
46651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines  return 0; // expected-warning {{null returned from function that requires a non-null return value}}
47651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines}
48651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines
49651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid PR18795(int (*g)(const char *h, ...) __attribute__((nonnull(1))) __attribute__((nonnull))) {
50176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines  g(0); // expected-warning{{null passed to a callee that requires a non-null argument}}
51651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines}
52651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesvoid PR18795_helper() {
53176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines  PR18795(0); // expected-warning{{null passed to a callee that requires a non-null argument}}
54651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines}
55651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines
56176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid vararg1(int n, ...) __attribute__((nonnull(2)));
57176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid vararg1_test() {
58176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines  vararg1(0);
59176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines  vararg1(1, (void*)0); // expected-warning{{null passed}}
60176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines  vararg1(2, (void*)0, (void*)0); // expected-warning{{null passed}}
61176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines  vararg1(2, (void*)&vararg1, (void*)0);
62176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines}
63176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines
64176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid vararg2(int n, ...) __attribute__((nonnull, nonnull, nonnull));
65176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid vararg2_test() {
66176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines  vararg2(0);
67176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines  vararg2(1, (void*)0); // expected-warning{{null passed}}
68176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines  vararg2(2, (void*)0, (void*)0); // expected-warning 2{{null passed}}
69176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines}
70176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines
71176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid vararg3(int n, ...) __attribute__((nonnull, nonnull(2), nonnull(3)));
72176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid vararg3_test() {
73176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines  vararg3(0);
74176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines  vararg3(1, (void*)0); // expected-warning{{null passed}}
75176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines  vararg3(2, (void*)0, (void*)0); // expected-warning 2{{null passed}}
76176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines}
77176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines
78176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid redecl(void *, void *);
79176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid redecl(void *, void *) __attribute__((nonnull(1)));
80176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid redecl(void *, void *) __attribute__((nonnull(2)));
81176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid redecl(void *, void *);
82176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid redecl_test(void *p) {
83176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines  redecl(p, 0); // expected-warning{{null passed}}
84176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines  redecl(0, p); // expected-warning{{null passed}}
85176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines}
86176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines
87176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines// rdar://18712242
88176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines#define NULL (void*)0
894967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar__attribute__((__nonnull__))  // expected-note 2{{declared 'nonnull' here}}
90176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesint evil_nonnull_func(int* pointer, void * pv)
91176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines{
9287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar   if (pointer == NULL) {  // expected-warning {{comparison of nonnull parameter 'pointer' equal to a null pointer is 'false' on first encounter}}
93176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines     return 0;
94176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines   } else {
95176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines     return *pointer;
96176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines   }
97176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines
98176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines   pointer = pv;
99176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines   if (!pointer)
100176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines     return 0;
101176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines   else
102176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines     return *pointer;
103176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines
10487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar   if (pv == NULL) {} // expected-warning {{comparison of nonnull parameter 'pv' equal to a null pointer is 'false' on first encounter}}
105176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines}
106176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines
107176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid set_param_to_null(int**);
1084967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainarint another_evil_nonnull_func(int* pointer, char ch, void * pv) __attribute__((nonnull(1, 3)));  // expected-note 2{{declared 'nonnull' here}}
109176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesint another_evil_nonnull_func(int* pointer, char ch, void * pv) {
11087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar   if (pointer == NULL) { // expected-warning {{comparison of nonnull parameter 'pointer' equal to a null pointer is 'false' on first encounter}}
111176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines     return 0;
112176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines   } else {
113176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines     return *pointer;
114176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines   }
115176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines
116176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines   set_param_to_null(&pointer);
117176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines   if (!pointer)
118176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines     return 0;
119176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines   else
120176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines     return *pointer;
121176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines
12287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar   if (pv == NULL) {} // expected-warning {{comparison of nonnull parameter 'pv' equal to a null pointer is 'false' on first encounter}}
123176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines}
124176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines
125176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesextern void *returns_null(void**);
126176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesextern void FOO();
127176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesextern void FEE();
128176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines
129176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesextern void *pv;
1304967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar__attribute__((__nonnull__))  // expected-note {{declared 'nonnull' here}}
131176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hinesvoid yet_another_evil_nonnull_func(int* pointer)
132176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines{
133176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines while (pv) {
134176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines   // This comparison will not be optimized away.
135176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines   if (pointer) {  // expected-warning {{nonnull parameter 'pointer' will evaluate to 'true' on first encounter}}
136176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines     FOO();
137176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines   } else {
138176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines     FEE();
139176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines   }
140176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines   pointer = returns_null(&pv);
141176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines }
142176edba5311f6eff0cad2631449885ddf4fbc9eaStephen Hines}
143651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines
1444967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainarvoid pr21668_1(__attribute__((nonnull)) const char *p, const char *s) { // expected-note {{declared 'nonnull' here}}
1450e2c34f92f00628d48968dfea096d36381f494cbStephen Hines  if (p) // expected-warning {{nonnull parameter 'p' will evaluate to 'true' on first encounter}}
1460e2c34f92f00628d48968dfea096d36381f494cbStephen Hines    ;
1470e2c34f92f00628d48968dfea096d36381f494cbStephen Hines  if (s) // No warning
1480e2c34f92f00628d48968dfea096d36381f494cbStephen Hines    ;
1490e2c34f92f00628d48968dfea096d36381f494cbStephen Hines}
1500e2c34f92f00628d48968dfea096d36381f494cbStephen Hines
1510e2c34f92f00628d48968dfea096d36381f494cbStephen Hinesvoid pr21668_2(__attribute__((nonnull)) const char *p) {
1520e2c34f92f00628d48968dfea096d36381f494cbStephen Hines  p = 0;
1530e2c34f92f00628d48968dfea096d36381f494cbStephen Hines  if (p) // No warning
1540e2c34f92f00628d48968dfea096d36381f494cbStephen Hines    ;
1550e2c34f92f00628d48968dfea096d36381f494cbStephen Hines}
15687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar
1574967a710c84587c654b56c828382219c3937dacbPirama Arumuga Nainar__attribute__((returns_nonnull)) void *returns_nonnull_whee();  // expected-note 6{{declared 'returns_nonnull' here}}
15887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar
15987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainarvoid returns_nonnull_warning_tests() {
16087d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar  if (returns_nonnull_whee() == NULL) {} // expected-warning {{comparison of nonnull function call 'returns_nonnull_whee()' equal to a null pointer is 'false' on first encounter}}
16187d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar
16287d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar  if (returns_nonnull_whee() != NULL) {} // expected-warning {{comparison of nonnull function call 'returns_nonnull_whee()' not equal to a null pointer is 'true' on first encounter}}
16387d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar
16487d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar  if (returns_nonnull_whee()) {} // expected-warning {{nonnull function call 'returns_nonnull_whee()' will evaluate to 'true' on first encounter}}
16587d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar  if (!returns_nonnull_whee()) {} // expected-warning {{nonnull function call 'returns_nonnull_whee()' will evaluate to 'true' on first encounter}}
16687d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar
16787d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar  int and_again = !returns_nonnull_whee(); // expected-warning {{nonnull function call 'returns_nonnull_whee()' will evaluate to 'true' on first encounter}}
16887d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar  and_again = !returns_nonnull_whee(); // expected-warning {{nonnull function call 'returns_nonnull_whee()' will evaluate to 'true' on first encounter}}
16987d948ecccffea9e9e37d0d053b246e2d6d6c47bPirama Arumuga Nainar}
170