Option to build with address sanitizers

copy from: https://github.com/jmgorius/mlir-standalone-template
This commit is contained in:
Lorenzo Chelini 2021-08-24 12:29:51 +02:00
parent fb130970f1
commit 376fdc0b48
2 changed files with 149 additions and 0 deletions

View File

@ -62,6 +62,7 @@ add_definitions(${LLVM_DEFINITIONS})
set(LLVM_LIT_ARGS "-sv" CACHE STRING "lit default options") set(LLVM_LIT_ARGS "-sv" CACHE STRING "lit default options")
list(APPEND CMAKE_MODULE_PATH "${PROJECT_SOURCE_DIR}/cmake/modules") list(APPEND CMAKE_MODULE_PATH "${PROJECT_SOURCE_DIR}/cmake/modules")
include(sanitizers)
add_subdirectory(include) add_subdirectory(include)
add_subdirectory(mlir-clang) add_subdirectory(mlir-clang)

View File

@ -0,0 +1,148 @@
#
# Original source: Copyright (C) 2018 by George Cave - gcave@stablecoder.ca
# Modified source: Copyright (C) 2020 by Jean-Michel Gorius
# - jean-michel.gorius@ens-rennes.fr
#
# Licensed under the Apache License, Version 2.0 (the "License"); you may not
# use this file except in compliance with the License. You may obtain a copy of
# the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
# License for the specific language governing permissions and limitations under
# the License.
#
# Adapted by Jean-Michel Gorius to forward sanitizer flags to the linker.
#
set(USE_SANITIZER
""
CACHE
STRING
"Compile with a sanitizer. Options are: Address, Memory, MemoryWithOrigins, Undefined, Thread, Leak, 'Address;Undefined'"
)
function(append value)
foreach (variable ${ARGN})
set(${variable}
"${${variable}} ${value}"
PARENT_SCOPE)
endforeach (variable)
endfunction()
if (USE_SANITIZER)
append("-fno-omit-frame-pointer"
CMAKE_C_FLAGS
CMAKE_CXX_FLAGS)
if (UNIX)
if (uppercase_CMAKE_BUILD_TYPE STREQUAL "DEBUG")
append("-O1" CMAKE_C_FLAGS CMAKE_CXX_FLAGS)
endif ()
if (USE_SANITIZER MATCHES "([Aa]ddress);([Uu]ndefined)"
OR USE_SANITIZER MATCHES "([Uu]ndefined);([Aa]ddress)")
message(STATUS "Building with Address, Undefined sanitizers")
append("-fsanitize=address,undefined"
CMAKE_EXE_C_FLAGS
CMAKE_EXE_CXX_FLAGS
CMAKE_STATIC_C_FLAGS
CMAKE_STATIC_CXX_FLAGS
CMAKE_EXE_LINKER_FLAGS
CMAKE_MODULE_LINKER_FLAGS)
elseif (USE_SANITIZER MATCHES "([Aa]ddress)")
# Optional: -fno-optimize-sibling-calls -fsanitize-address-use-after-scope
message(STATUS "Building with Address sanitizer")
append("-fsanitize=address"
CMAKE_EXE_C_FLAGS
CMAKE_EXE_CXX_FLAGS
CMAKE_STATIC_C_FLAGS
CMAKE_STATIC_CXX_FLAGS
CMAKE_EXE_LINKER_FLAGS
CMAKE_MODULE_LINKER_FLAGS)
elseif (USE_SANITIZER MATCHES "([Mm]emory([Ww]ith[Oo]rigins)?)")
# Optional: -fno-optimize-sibling-calls -fsanitize-memory-track-origins=2
append("-fsanitize=memory"
CMAKE_EXE_C_FLAGS
CMAKE_EXE_CXX_FLAGS
CMAKE_STATIC_C_FLAGS
CMAKE_STATIC_CXX_FLAGS
CMAKE_EXE_LINKER_FLAGS
CMAKE_MODULE_LINKER_FLAGS)
if (USE_SANITIZER MATCHES "([Mm]emory[Ww]ith[Oo]rigins)")
message(STATUS "Building with MemoryWithOrigins sanitizer")
append("-fsanitize-memory-track-origins"
CMAKE_EXE_C_FLAGS
CMAKE_EXE_CXX_FLAGS
CMAKE_STATIC_C_FLAGS
CMAKE_STATIC_CXX_FLAGS
CMAKE_EXE_LINKER_FLAGS
CMAKE_MODULE_LINKER_FLAGS)
else ()
message(STATUS "Building with Memory sanitizer")
endif ()
elseif (USE_SANITIZER MATCHES "([Uu]ndefined)")
message(STATUS "Building with Undefined sanitizer")
append("-fsanitize=undefined"
CMAKE_EXE_C_FLAGS
CMAKE_EXE_CXX_FLAGS
CMAKE_STATIC_C_FLAGS
CMAKE_STATIC_CXX_FLAGS
CMAKE_EXE_LINKER_FLAGS
CMAKE_MODULE_LINKER_FLAGS)
if (EXISTS "${BLACKLIST_FILE}")
append("-fsanitize-blacklist=${BLACKLIST_FILE}"
CMAKE_EXE_C_FLAGS
CMAKE_EXE_CXX_FLAGS
CMAKE_STATIC_C_FLAGS
CMAKE_STATIC_CXX_FLAGS
CMAKE_EXE_LINKER_FLAGS
CMAKE_MODULE_LINKER_FLAGS)
endif ()
elseif (USE_SANITIZER MATCHES "([Tt]hread)")
message(STATUS "Building with Thread sanitizer")
append("-fsanitize=thread"
CMAKE_EXE_C_FLAGS
CMAKE_EXE_CXX_FLAGS
CMAKE_STATIC_C_FLAGS
CMAKE_STATIC_CXX_FLAGS
CMAKE_EXE_LINKER_FLAGS
CMAKE_MODULE_LINKER_FLAGS)
elseif (USE_SANITIZER MATCHES "([Ll]eak)")
message(STATUS "Building with Leak sanitizer")
append("-fsanitize=leak"
CMAKE_EXE_C_FLAGS
CMAKE_EXE_CXX_FLAGS
CMAKE_STATIC_C_FLAGS
CMAKE_STATIC_CXX_FLAGS
CMAKE_EXE_LINKER_FLAGS
CMAKE_MODULE_LINKER_FLAGS)
else ()
message(
FATAL_ERROR "Unsupported value of USE_SANITIZER: ${USE_SANITIZER}")
endif ()
elseif (MSVC)
if (USE_SANITIZER MATCHES "([Aa]ddress)")
message(STATUS "Building with Address sanitizer")
append("-fsanitize=address"
CMAKE_EXE_C_FLAGS
CMAKE_EXE_CXX_FLAGS
CMAKE_STATIC_C_FLAGS
CMAKE_STATIC_CXX_FLAGS
CMAKE_EXE_LINKER_FLAGS
CMAKE_MODULE_LINKER_FLAGS)
else ()
message(
FATAL_ERROR
"This sanitizer is not yet supported in the MSVC environment: ${USE_SANITIZER}"
)
endif ()
else ()
message(FATAL_ERROR "USE_SANITIZER is not supported on this platform.")
endif ()
endif ()