added CMake option ANALYZE_TYPE to use the TypeSanitizer

danmar · Jan 4, 2025 · 449a2e9 · 449a2e9
1 parent f18713b
commit 449a2e9
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 0 deletions.
diff --git a/cmake/dynamic_analyzer_options.cmake b/cmake/dynamic_analyzer_options.cmake
@@ -31,3 +31,9 @@ if(ANALYZE_UNDEFINED)
         set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -fsanitize=nullability")
     endif()
 endif()
+
+if(ANALYZE_TYPE)
+    add_compile_options(-fsanitize=type)
+
+    set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -fsanitize=type")
+endif()
diff --git a/cmake/options.cmake b/cmake/options.cmake
@@ -16,6 +16,7 @@ option(ANALYZE_MEMORY       "Clang dynamic analyzer: detector of uninitialized r
 option(ANALYZE_ADDRESS      "Clang dynamic analyzer: fast memory error detector. "          OFF)
 option(ANALYZE_THREAD       "Clang dynamic analyzer: tool that detects data races. "        OFF)
 option(ANALYZE_UNDEFINED    "Clang dynamic analyzer: undefined behavior checker. "          OFF)
+option(ANALYZE_TYPE     "Clang dynamic analyzer: type sanitizer."    OFF)
 
 option(WARNINGS_ARE_ERRORS  "Treat warnings as errors"                                      OFF)
 option(EXTERNALS_AS_SYSTEM  "Treat externals as system includes"                            OFF)

diff --git a/cmake/printInfo.cmake b/cmake/printInfo.cmake
@@ -30,6 +30,7 @@ message(STATUS "ANALYZE_MEMORY =        ${ANALYZE_MEMORY}")
 message(STATUS "ANALYZE_ADDRESS =       ${ANALYZE_ADDRESS}")
 message(STATUS "ANALYZE_THREAD =        ${ANALYZE_THREAD}")
 message(STATUS "ANALYZE_UNDEFINED =     ${ANALYZE_UNDEFINED}")
+message(STATUS "ANALYZE_TYPE =          ${ANALYZE_TYPE}")
 message(STATUS)
 message(STATUS "WARNINGS_ARE_ERRORS =   ${WARNINGS_ARE_ERRORS}")
 message(STATUS "EXTERNALS_AS_SYSTEM =   ${EXTERNALS_AS_SYSTEM}")