diff options
| author | iphydf <iphydf@users.noreply.github.com> | 2018-09-21 21:59:54 +0000 |
|---|---|---|
| committer | iphydf <iphydf@users.noreply.github.com> | 2018-09-22 12:27:58 +0000 |
| commit | 9c7c924e3c235282e3bb86d01f46b2d4301b0c67 (patch) | |
| tree | decacb9c69226855c3a5a65ba73ed216d5f5d273 /.circleci | |
| parent | f87f8719d02a9adbc9413256fe22958267cfefee (diff) | |
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.
Diffstat (limited to '.circleci')
| -rwxr-xr-x | .circleci/cmake-asan | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.circleci/cmake-asan b/.circleci/cmake-asan index 39ec81b8..2f9e99a8 100755 --- a/.circleci/cmake-asan +++ b/.circleci/cmake-asan | |||
| @@ -7,7 +7,7 @@ CACHEDIR="$HOME/cache" | |||
| 7 | . ".travis/flags-$CC.sh" | 7 | . ".travis/flags-$CC.sh" |
| 8 | add_flag -Werror | 8 | add_flag -Werror |
| 9 | add_flag -fdiagnostics-color=always | 9 | add_flag -fdiagnostics-color=always |
| 10 | add_flag -fsanitize=address | 10 | add_flag -fsanitize=address,undefined |
| 11 | cmake -B_build -H. -GNinja \ | 11 | cmake -B_build -H. -GNinja \ |
| 12 | -DCMAKE_C_FLAGS="$C_FLAGS" \ | 12 | -DCMAKE_C_FLAGS="$C_FLAGS" \ |
| 13 | -DCMAKE_CXX_FLAGS="$CXX_FLAGS" \ | 13 | -DCMAKE_CXX_FLAGS="$CXX_FLAGS" \ |