diff options
Diffstat (limited to 'src/base/configuration_private.h')
| -rw-r--r-- | src/base/configuration_private.h | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h index 82938adb9..f3e76d53b 100644 --- a/src/base/configuration_private.h +++ b/src/base/configuration_private.h @@ -178,6 +178,22 @@ namespace CVC4 { #define IS_UBSAN_BUILD false #endif /* CVC4_USE_UBSAN */ +#define IS_TSAN_BUILD false + +// GCC test +#if defined(__SANITIZE_THREAD__) +#undef IS_TSAN_BUILD +#define IS_TSAN_BUILD true +#endif /* defined(__SANITIZE_THREAD__) */ + +// Clang test +#if defined(__has_feature) +#if __has_feature(thread_sanitizer) +#undef IS_TSAN_BUILD +#define IS_TSAN_BUILD true +#endif /* __has_feature(thread_sanitizer) */ +#endif /* defined(__has_feature) */ + }/* CVC4 namespace */ #endif /* CVC4__CONFIGURATION_PRIVATE_H */ |