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
foo(char * a)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
bar(int x,char * a)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
main(int argc,char ** argv)27 int main(int argc, char **argv) {
28 char *a = argv[1];
29
30 foo(a);
31
32 bar(20, a);
33
34 // We expect to see a runtime error the first time we cover the "else"...
35 bar(5, a);
36
37 // ... but not a second time.
38 // CHECK-NOT: runtime error
39 bar(5, a);
40
41 return 0;
42 }
43
44 // NOERROR-NOT: runtime error
45