added CMake option ANALYZE_TYPE to use the TypeSanitizer

Author: firewave

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()

cmake/options.cmake

@@ -20,6 +20,7 @@ endif()
 option(ANALYZE_ADDRESS      "Build with AddressSanitzer to detect memory error"             OFF)
 option(ANALYZE_THREAD       "Build with ThreadSanitizer to detect data races"               OFF)
 option(ANALYZE_UNDEFINED    "Build with UndefinedBehaviorSanitizer to detect undefined behavior" OFF)
+option(ANALYZE_TYPE         "Build with TypeSanitizer to detect aliasing issues"            OFF)
 
 option(WARNINGS_ARE_ERRORS  "Treat warnings as errors"                                      OFF)
 if(WARNINGS_ARE_ERRORS)

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}")