Merge pull request #2706 from TomFischer/AddGCCSanitizer

[scripts] Options for enabling gcc sanitizer flags.
ufz · Oct 30, 2019 · 3a89d4d · 3a89d4d
2 parents 7b78f08 + 7762660
commit 3a89d4d
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/scripts/cmake/CompilerSetup.cmake b/scripts/cmake/CompilerSetup.cmake
@@ -100,6 +100,7 @@ if(COMPILER_IS_GCC OR COMPILER_IS_CLANG OR COMPILER_IS_INTEL)
                 using ${CMAKE_CXX_COMPILER_VERSION}.")
         endif()
         add_compile_options(-fext-numeric-literals)
+        include(GCCSanitizer)
     endif()
 
     if(COMPILER_IS_CLANG)

diff --git a/scripts/cmake/GCCSanitizer.cmake b/scripts/cmake/GCCSanitizer.cmake
@@ -0,0 +1,16 @@
+option(OGS_ADDRESS_SANITIZER OFF "Use GCCs AddressSanitizer")
+option(OGS_UNDEFINED_BEHAVIOR_SANITIZER OFF "Use GCCs UndefinedBehaviorSanitizer")
+
+if(OGS_ADDRESS_SANITIZER)
+    set(SANITIZE_FLAG_VALUE "address")
+    set(ADDITIONAL_FLAGS "-fno-omit-frame-pointer")
+endif()
+
+if(OGS_UNDEFINED_BEHAVIOR_SANITIZER)
+    set(SANITIZE_FLAG_VALUE "${SANITIZE_FLAG_VALUE},undefined,unreachable,integer-divide-by-zero,vla-bound,bounds,null")
+endif()
+
+if(DEFINED SANITIZE_FLAG_VALUE)
+    add_compile_options(-fsanitize=${SANITIZE_FLAG_VALUE} ${ADDITIONAL_FLAGS})
+    link_libraries(-fsanitize=${SANITIZE_FLAG_VALUE} ${ADDITIONAL_FLAGS})
+endif()