Run UBSAN (undefined behaviour sanitizer) on Circle CI.

This runs in the same build as asan, so "asan" now stands for both asan
and ubsan.
This commit is contained in:
iphydf 2018-09-21 21:59:54 +00:00
parent f87f8719d0
commit 9c7c924e3c
No known key found for this signature in database
GPG Key ID: 3855DBA2D74403C9

View File

@ -7,7 +7,7 @@ CACHEDIR="$HOME/cache"
. ".travis/flags-$CC.sh" . ".travis/flags-$CC.sh"
add_flag -Werror add_flag -Werror
add_flag -fdiagnostics-color=always add_flag -fdiagnostics-color=always
add_flag -fsanitize=address add_flag -fsanitize=address,undefined
cmake -B_build -H. -GNinja \ cmake -B_build -H. -GNinja \
-DCMAKE_C_FLAGS="$C_FLAGS" \ -DCMAKE_C_FLAGS="$C_FLAGS" \
-DCMAKE_CXX_FLAGS="$CXX_FLAGS" \ -DCMAKE_CXX_FLAGS="$CXX_FLAGS" \