clang-sanitizer

# This file is part of the dune-config-opts project:
#   http://users.dune-project.org/projects/dune-config-opts
# Copyright holders: Rene Milk, Felix Schindler
# License: BSD 2-Clause License (http://opensource.org/licenses/BSD-2-Clause)

DIR="$(cd "$(dirname ${BASH_SOURCE[0]})" ; pwd -P )"
NAME="$(basename ${BASH_SOURCE[0]})"

TYPE=Debug
CXXFLAGS="-g3 -ggdb -O0 -fno-strict-aliasing -fsanitize=address -fsanitize=undefined -fno-sanitize-recover=undefined -fsanitize-blacklist=${DIR}/.clang-sanitizer-blacklist -fno-optimize-sibling-calls -fno-omit-frame-pointer -DDEBUG -DDUNE_FMatrix_WITH_CHECKING=1 -Wunused-variable -Winline -Wall -Wextra -Wparentheses -pedantic -Wredundant-decls -Wshadow -Wundef -Wnon-virtual-dtor -Wnon-literal-null-conversion -Wused-but-marked-unused -Wfloat-equal -Wdisabled-macro-expansion -Wcovered-switch-default -Wswitch-enum -Wunreachable-code -Wshorten-64-to-32 -Wno-delete-non-virtual-dtor -Wno-gnu-zero-variadic-macro-arguments -Wno-c++17-extensions"

source ${DIR}/base/clang