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