diff options
Diffstat (limited to 'test/unit/memory.h')
| -rw-r--r-- | test/unit/memory.h | 19 |
1 files changed, 15 insertions, 4 deletions
diff --git a/test/unit/memory.h b/test/unit/memory.h index 86b024fa9..a4d650b3b 100644 --- a/test/unit/memory.h +++ b/test/unit/memory.h @@ -43,14 +43,25 @@ # define CVC4_MEMORY_LIMITING_DISABLED 1 # define CVC4_MEMORY_LIMITING_DISABLED_REASON "setrlimit() is broken on Mac." #else /* __APPLE__ */ +// Clang test # if defined(__has_feature) # if __has_feature(address_sanitizer) -// Tests cannot expect bad_alloc to be thrown due to limit memory using -// setrlimit when ASAN is enable. ASAN instead aborts on mmap failures. -# define CVC4_MEMORY_LIMITING_DISABLED 1 -# define CVC4_MEMORY_LIMITING_DISABLED_REASON "ASAN's mmap failures abort." +# define _IS_ASAN_BUILD # endif /* __has_feature(address_sanitizer) */ # endif /* defined(__has_feature) */ + +// GCC test +# if defined(__SANITIZE_ADDRESS__) +# define _IS_ASAN_BUILD +# endif /* defined(__SANITIZE_ADDRESS__) */ + +// Tests cannot expect bad_alloc to be thrown due to limit memory using +// setrlimit when ASAN is enable. ASAN instead aborts on mmap failures. +# if defined(_IS_ASAN_BUILD) +# define CVC4_MEMORY_LIMITING_DISABLED 1 +# define CVC4_MEMORY_LIMITING_DISABLED_REASON "ASAN's mmap failures abort." +# undef _IS_ASAN_BUILD +# endif /* defined(_IS_ASAN_BUILD) */ #endif |