forked from OSchip/llvm-project
86 lines
3.6 KiB
C
86 lines
3.6 KiB
C
// RUN: %clang_cc1 -fsyntax-only -verify %s
|
|
// rdar://9584012
|
|
|
|
typedef struct {
|
|
char *str;
|
|
} Class;
|
|
|
|
typedef union {
|
|
Class *object;
|
|
} Instance __attribute__((transparent_union));
|
|
|
|
__attribute__((nonnull(1))) void Class_init(Instance this, char *str) {
|
|
this.object->str = str;
|
|
}
|
|
|
|
int main(void) {
|
|
Class *obj;
|
|
Class_init(0, "Hello World"); // expected-warning {{null passed to a callee that requires a non-null argument}}
|
|
Class_init(obj, "Hello World");
|
|
}
|
|
|
|
void foo(const char *str) __attribute__((nonnull("foo"))); // expected-error{{'nonnull' attribute requires parameter 1 to be an integer constant}}
|
|
void 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}}
|
|
|
|
void baz(__attribute__((nonnull)) const char *str);
|
|
void baz2(__attribute__((nonnull(1))) const char *str); // expected-warning {{'nonnull' attribute when used on parameters takes no arguments}}
|
|
void baz3(__attribute__((nonnull)) int x); // expected-warning {{'nonnull' attribute only applies to pointer arguments}}
|
|
|
|
void test_baz() {
|
|
baz(0); // expected-warning {{null passed to a callee that requires a non-null argument}}
|
|
baz2(0); // no-warning
|
|
baz3(0); // no-warning
|
|
}
|
|
|
|
void test_void_returns_nonnull(void) __attribute__((returns_nonnull)); // expected-warning {{'returns_nonnull' attribute only applies to return values that are pointers}}
|
|
int test_int_returns_nonnull(void) __attribute__((returns_nonnull)); // expected-warning {{'returns_nonnull' attribute only applies to return values that are pointers}}
|
|
void *test_ptr_returns_nonnull(void) __attribute__((returns_nonnull)); // no-warning
|
|
|
|
int i __attribute__((nonnull)); // expected-warning {{'nonnull' attribute only applies to functions, methods, and parameters}}
|
|
int j __attribute__((returns_nonnull)); // expected-warning {{'returns_nonnull' attribute only applies to functions and methods}}
|
|
void *test_no_fn_proto() __attribute__((returns_nonnull)); // no-warning
|
|
void *test_with_fn_proto(void) __attribute__((returns_nonnull)); // no-warning
|
|
|
|
__attribute__((returns_nonnull))
|
|
void *test_bad_returns_null(void) {
|
|
return 0; // expected-warning {{null returned from function that requires a non-null return value}}
|
|
}
|
|
|
|
void PR18795(int (*g)(const char *h, ...) __attribute__((nonnull(1))) __attribute__((nonnull))) {
|
|
g(0); // expected-warning{{null passed to a callee that requires a non-null argument}}
|
|
}
|
|
void PR18795_helper() {
|
|
PR18795(0); // expected-warning{{null passed to a callee that requires a non-null argument}}
|
|
}
|
|
|
|
void vararg1(int n, ...) __attribute__((nonnull(2)));
|
|
void vararg1_test() {
|
|
vararg1(0);
|
|
vararg1(1, (void*)0); // expected-warning{{null passed}}
|
|
vararg1(2, (void*)0, (void*)0); // expected-warning{{null passed}}
|
|
vararg1(2, (void*)&vararg1, (void*)0);
|
|
}
|
|
|
|
void vararg2(int n, ...) __attribute__((nonnull, nonnull, nonnull));
|
|
void vararg2_test() {
|
|
vararg2(0);
|
|
vararg2(1, (void*)0); // expected-warning{{null passed}}
|
|
vararg2(2, (void*)0, (void*)0); // expected-warning 2{{null passed}}
|
|
}
|
|
|
|
void vararg3(int n, ...) __attribute__((nonnull, nonnull(2), nonnull(3)));
|
|
void vararg3_test() {
|
|
vararg3(0);
|
|
vararg3(1, (void*)0); // expected-warning{{null passed}}
|
|
vararg3(2, (void*)0, (void*)0); // expected-warning 2{{null passed}}
|
|
}
|
|
|
|
void redecl(void *, void *);
|
|
void redecl(void *, void *) __attribute__((nonnull(1)));
|
|
void redecl(void *, void *) __attribute__((nonnull(2)));
|
|
void redecl(void *, void *);
|
|
void redecl_test(void *p) {
|
|
redecl(p, 0); // expected-warning{{null passed}}
|
|
redecl(0, p); // expected-warning{{null passed}}
|
|
}
|