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 e2974260c..5164d46bc 100644 --- a/src/base/configuration_private.h +++ b/src/base/configuration_private.h @@ -150,6 +150,22 @@ namespace CVC4 { # define IS_GPL_BUILD false #endif /* CVC4_GPL_DEPS */ +#define IS_ASAN_BUILD false + +// GCC test +#if defined(__SANITIZE_ADDRESS__) +# undef IS_ASAN_BUILD +# define IS_ASAN_BUILD true +#endif /* defined(__SANITIZE_ADDRESS__) */ + +// Clang test +#if defined(__has_feature) +# if __has_feature(address_sanitizer) +# undef IS_ASAN_BUILD +# define IS_ASAN_BUILD true +# endif /* __has_feature(address_sanitizer) */ +#endif /* defined(__has_feature) */ + }/* CVC4 namespace */ #endif /* __CVC4__CONFIGURATION_PRIVATE_H */ |