1// UNSUPPORTED: android
2// RUN: %clang -w -fsanitize=nullability-arg,nullability-assign,nullability-return %s -O3 -o %t
3// RUN: %run %t foo 2>&1 | FileCheck %s --check-prefix=NOERROR --allow-empty --implicit-check-not='runtime error'
4// RUN: %run %t 2>&1 | FileCheck %s
5
6// RUN: echo "nullability-arg:nullability.c" > %t.supp
7// RUN: echo "nullability-return:nullability.c" >> %t.supp
8// RUN: echo "nullability-assign:nullability.c" >> %t.supp
9// RUN: env UBSAN_OPTIONS=suppressions='"%t.supp"' %run %t 2>&1 | FileCheck -allow-empty -check-prefix=SUPPRESS %s
10// SUPPRESS-NOT: runtime error
11
12// CHECK: nullability.c:[[@LINE+2]]:41: runtime error: null pointer returned from function declared to never return null
13// CHECK-NEXT: nullability.c:[[@LINE+1]]:6: note: _Nonnull return type annotation specified here
14int *_Nonnull nonnull_retval1(int *p) { return p; }
15
16// CHECK: nullability.c:1001:22: runtime error: null pointer passed as argument 2, which is declared to never be null
17// CHECK-NEXT: nullability.c:[[@LINE+1]]:56: note: _Nonnull type annotation specified here
18int *_Nonnull nonnull_retval2(int *_Nonnull arg1, int *_Nonnull arg2,
19 int *_Nullable arg3, int *arg4, int arg5, ...) {
20 return arg1;
21}
22
23// CHECK: nullability.c:1002:15: runtime error: null pointer passed as argument 1, which is declared to never be null
24// CHECK-NEXT: nullability.c:[[@LINE+1]]:23: note: _Nonnull type annotation specified here
25void nonnull_arg(int *_Nonnull p) {}
26
27void nonnull_assign1(int *p) {
28 int *_Nonnull local;
29// CHECK: nullability.c:[[@LINE+1]]:9: runtime error: _Nonnull binding to null pointer of type 'int * _Nonnull'
30 local = p;
31}
32
33void nonnull_assign2(int *p) {
34 int *_Nonnull arr[1];
35 // CHECK: nullability.c:[[@LINE+1]]:10: runtime error: _Nonnull binding to null pointer of type 'int * _Nonnull'
36 arr[0] = p;
37}
38
39struct S1 {
40 int *_Nonnull mptr;
41};
42
43void nonnull_assign3(int *p) {
44 struct S1 s;
45 // CHECK: nullability.c:[[@LINE+1]]:10: runtime error: _Nonnull binding to null pointer of type 'int * _Nonnull'
46 s.mptr = p;
47}
48
49// CHECK: nullability.c:[[@LINE+1]]:52: runtime error: _Nonnull binding to null pointer of type 'int * _Nonnull'
50void nonnull_init1(int *p) { int *_Nonnull local = p; }
51
52// CHECK: nullability.c:[[@LINE+2]]:53: runtime error: _Nonnull binding to null pointer of type 'int * _Nonnull'
53// CHECK: nullability.c:[[@LINE+1]]:56: runtime error: _Nonnull binding to null pointer of type 'int * _Nonnull'
54void nonnull_init2(int *p) { int *_Nonnull arr[] = {p, p}; }
55
56int main(int argc, char **argv) {
57 int *p = (argc > 1) ? &argc : ((int *)0);
58
59#line 1000
60 nonnull_retval1(p);
61 nonnull_retval2(arg1: p, arg2: p, arg3: p, arg4: p, arg5: 0, 0, 0, 0);
62 nonnull_arg(p);
63 nonnull_assign1(p);
64 nonnull_assign2(p);
65 nonnull_assign3(p);
66 nonnull_init1(p);
67 nonnull_init2(p);
68 return 0;
69}
70
71// NOERROR-NOT: runtime error
72

source code of compiler-rt/test/ubsan/TestCases/Misc/nullability.c