cmake: Enable _GLIBCXX_SANITIZE_VECTOR

Author: chfast

CMakeLists.txt

@@ -66,6 +66,13 @@ if(WEVERYTHING)
     )
 endif()
 
+if(SANITIZE MATCHES address)
+    # Enables ASan-powered checks in std::vector in libstdc++.
+    # For sanity, this may be applied for libstdc++ builds, but it is not easy to detect
+    # what standard library implementation is being used.
+    add_compile_definitions(_GLIBCXX_SANITIZE_VECTOR)
+endif()
+
 # An option to enable assertions in non-Debug build types.
 # Disabling assertions in Debug build type has no effect (assertions are still enabled).
 option(ENABLE_ASSERTIONS "Enable NDEBUG based assertions" OFF)

cmake/ProjectWabt.cmake

@@ -14,7 +14,7 @@ set(wabt_library ${binary_dir}/${CMAKE_STATIC_LIBRARY_PREFIX}wabt${CMAKE_STATIC_
 set(flags -fvisibility=hidden)
 if(SANITIZE MATCHES address)
     # Instrument WABT with ASan - required for container-overflow checks.
-    set(flags "-fsanitize=address ${flags}")
+    set(flags "-D_GLIBCXX_SANITIZE_VECTOR -fsanitize=address ${flags}")
 endif()
 
 if(CMAKE_GENERATOR MATCHES Ninja)