diff --git a/cmake/CMakeLists.txt b/cmake/CMakeLists.txt index e5dc5b194d..d84761de42 100644 --- a/cmake/CMakeLists.txt +++ b/cmake/CMakeLists.txt @@ -256,9 +256,9 @@ if(${CMAKE_CXX_COMPILER_ID} STREQUAL "GNU") endif() endif() -set(ENABLE_SANITIZER "none" CACHE STRING "Select a code sanitizer option (none (default), address, thread, undefined)") +set(ENABLE_SANITIZER "none" CACHE STRING "Select a code sanitizer option (none (default), address, leak, thread, undefined)") mark_as_advanced(ENABLE_SANITIZER) -set(ENABLE_SANITIZER_VALUES none address thread undefined) +set(ENABLE_SANITIZER_VALUES none address leak thread undefined) set_property(CACHE ENABLE_SANITIZER PROPERTY STRINGS ${ENABLE_SANITIZER_VALUES}) validate_option(ENABLE_SANITIZER ENABLE_SANITIZER_VALUES) string(TOLOWER ${ENABLE_SANITIZER} ENABLE_SANITIZER) diff --git a/doc/src/Build_development.rst b/doc/src/Build_development.rst index deb9d5b3cb..f86084acb5 100644 --- a/doc/src/Build_development.rst +++ b/doc/src/Build_development.rst @@ -52,6 +52,7 @@ compilation and linking stages. This is done through setting the -D ENABLE_SANITIZER=none # no sanitizer active (default) -D ENABLE_SANITIZER=address # enable address sanitizer / memory leak checker + -D ENABLE_SANITIZER=leak # enable memory leak checker (only) -D ENABLE_SANITIZER=undefined # enable undefined behavior sanitizer -D ENABLE_SANITIZER=thread # enable thread sanitizer