1 | // RUN: %clangxx -fsanitize=returns-nonnull-attribute -w %s -O3 -o %t |
2 | // RUN: %run %t foo 2>&1 | FileCheck %s --check-prefix=NOERROR --allow-empty --implicit-check-not='runtime error' |
3 | // RUN: %run %t 2>&1 | FileCheck %s |
4 | // RUN: %clangxx -fsanitize=returns-nonnull-attribute -fno-sanitize-recover=returns-nonnull-attribute -w %s -O3 -o %t.abort |
5 | // RUN: not %run %t.abort &> /dev/null |
6 | |
7 | __attribute__((returns_nonnull)) char *foo(char *a); |
8 | |
9 | char *foo(char *a) { |
10 | // CHECK: nonnull.cpp:[[@LINE+2]]:3: runtime error: null pointer returned from function declared to never return null |
11 | // CHECK-NEXT: nonnull.cpp:[[@LINE-4]]:16: note: returns_nonnull attribute specified here |
12 | return a; |
13 | } |
14 | |
15 | __attribute__((returns_nonnull)) char *bar(int x, char *a) { |
16 | if (x > 10) { |
17 | // CHECK: nonnull.cpp:[[@LINE+2]]:5: runtime error: null pointer returned from function declared to never return null |
18 | // CHECK-NEXT: nonnull.cpp:[[@LINE-3]]:16: note: returns_nonnull attribute specified here |
19 | return a; |
20 | } else { |
21 | // CHECK: nonnull.cpp:[[@LINE+2]]:5: runtime error: null pointer returned from function declared to never return null |
22 | // CHECK-NEXT: nonnull.cpp:[[@LINE-7]]:16: note: returns_nonnull attribute specified here |
23 | return a; |
24 | } |
25 | } |
26 | |
27 | int main(int argc, char **argv) { |
28 | char *a = argv[1]; |
29 | |
30 | foo(a); |
31 | |
32 | bar(x: 20, a); |
33 | |
34 | // We expect to see a runtime error the first time we cover the "else"... |
35 | bar(x: 5, a); |
36 | |
37 | // ... but not a second time. |
38 | // CHECK-NOT: runtime error |
39 | bar(x: 5, a); |
40 | |
41 | return 0; |
42 | } |
43 | |
44 | // NOERROR-NOT: runtime error |
45 | |