From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 3 Oct 2018 00:30:54 +0000 (-0700)
Subject: unit: Fix ASAN detection for GCC. (#2561)
X-Git-Tag: cvc5-1.0.0~4472
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=457a5000f46cfd7ce58525b75930b87e8572c94f;p=cvc5.git

unit: Fix ASAN detection for GCC. (#2561)
---

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