1 // RUN: %clang -fsanitize=undefined %s -O3 -o %t
2 // RUN: %run %t 2>&1 | FileCheck %s --check-prefix=CHECK-DEFAULT
3 // RUN: %env_ubsan_opts=print_summary=0 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK-NO_SUMMARY
4 
5 // CHECK-DEFAULT: SUMMARY: UndefinedBehaviorSanitizer: {{.*}}
6 // CHECK-NO_SUMMARY-NOT: SUMMARY: UndefinedBehaviorSanitizer: {{.*}}
7 
main(int argc,char ** argv)8 int main(int argc, char **argv) {
9   int arr[argc - 2];
10   return 0;
11 }
12