From a09283a55186095e57aa4e365db466f462c31482 Mon Sep 17 00:00:00 2001 From: Vitaly Buka Date: Tue, 21 Mar 2023 15:41:19 -0700 Subject: [PATCH] [NFC][tsan] Add __tsan_default_{options,suppressions} into interface header --- compiler-rt/include/sanitizer/tsan_interface.h | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/compiler-rt/include/sanitizer/tsan_interface.h b/compiler-rt/include/sanitizer/tsan_interface.h index 2782e61fb8c7..58f2513734ec 100644 --- a/compiler-rt/include/sanitizer/tsan_interface.h +++ b/compiler-rt/include/sanitizer/tsan_interface.h @@ -172,6 +172,12 @@ int __tsan_on_finalize(int failed); // Release TSan internal memory in a best-effort manner. void __tsan_flush_memory(); +// User-provided default TSAN options. +const char* __tsan_default_options(void); + +// User-provided default TSAN suppressions. +const char* __tsan_default_suppressions(void); + #ifdef __cplusplus } // extern "C" #endif