Cannot enable coverage with sanitizers

JDRaftKeeper · May 21, 2024 · 7c03204 · 7c03204
1 parent 9fb3e43
commit 7c03204
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -168,6 +168,9 @@ set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fsized-deallocation")
 option(WITH_COVERAGE "Profile the resulting binary/binaries" OFF)
 
 if (WITH_COVERAGE)
+    if (SANITIZE)
+        message (FATAL_ERROR "Cannot enable coverage with sanitizers")
+    endif ()
     set(COMPILER_FLAGS "${COMPILER_FLAGS} -fprofile-instr-generate -fcoverage-mapping")
     # If we want to disable coverage for specific translation units
     set(WITHOUT_COVERAGE "-fno-profile-instr-generate -fno-coverage-mapping")