diff options
-rw-r--r-- | lib/ubsan/ubsan_flags.cpp | 1 | ||||
-rw-r--r-- | test/ubsan/TestCases/Misc/print_summary.c | 11 |
2 files changed, 11 insertions, 1 deletions
diff --git a/lib/ubsan/ubsan_flags.cpp b/lib/ubsan/ubsan_flags.cpp index 80de2a6d1..721c2273f 100644 --- a/lib/ubsan/ubsan_flags.cpp +++ b/lib/ubsan/ubsan_flags.cpp @@ -54,7 +54,6 @@ void InitializeFlags() { { CommonFlags cf; cf.CopyFrom(*common_flags()); - cf.print_summary = false; cf.external_symbolizer_path = GetFlag("UBSAN_SYMBOLIZER_PATH"); OverrideCommonFlags(cf); } diff --git a/test/ubsan/TestCases/Misc/print_summary.c b/test/ubsan/TestCases/Misc/print_summary.c new file mode 100644 index 000000000..b67a0614d --- /dev/null +++ b/test/ubsan/TestCases/Misc/print_summary.c @@ -0,0 +1,11 @@ +// RUN: %clang -fsanitize=undefined %s -O3 -o %t +// RUN: %run %t 2>&1 | FileCheck %s --check-prefix=CHECK-DEFAULT +// RUN: %env_ubsan_opts=print_summary=0 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK-NO_SUMMARY + +// CHECK-DEFAULT: SUMMARY: UndefinedBehaviorSanitizer: {{.*}} +// CHECK-NO_SUMMARY-NOT: SUMMARY: UndefinedBehaviorSanitizer: {{.*}} + +int main(int argc, char **argv) { + int arr[argc - 2]; + return 0; +} |