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(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