1 // RUN: %clangxx -fsanitize=returns-nonnull-attribute %s -O3 -o %t
2 // RUN: %run %t foo
3 // RUN: %run %t 2>&1 | FileCheck %s
4 
5 __attribute__((returns_nonnull))
6 char *foo(char *a) {
7   return a;
8   // CHECK: nonnull.cpp:[[@LINE+1]]:1: runtime error: null pointer returned from function declared to never return null
9 }
10 
11 int main(int argc, char **argv) {
12   return foo(argv[1]) == 0;
13 }
14