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
5 // CHECK-DEFAULT: SUMMARY: UndefinedBehaviorSanitizer: {{.*}}
6 // CHECK-NO_SUMMARY-NOT: SUMMARY: UndefinedBehaviorSanitizer: {{.*}}
8 int main(int argc
, char **argv
) {