1 // RUN: %clang_asan %s -o %t
2 // RUN: %run %t 2>&1 | FileCheck %s
3 
4 #include <stdio.h>
5 #include <stdlib.h>
6 
main(int argc,const char * argv[])7 int main(int argc, const char * argv[]) {
8   fclose(NULL);
9   fprintf(stderr, "Finished.\n");
10   return 0;
11 }
12 
13 // CHECK: Finished.
14