diff options
author | Junio C Hamano <gitster@pobox.com> | 2022-10-20 19:20:59 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-10-20 19:20:59 +0300 |
commit | 1c0962c0c42f5fe5039d2dbd538c86b34f617408 (patch) | |
tree | 66fb99fad38cd5d408ffa3b25804860d215a2f91 | |
parent | bbe21b64a08f89475d8a3818e20c111378daa621 (diff) |
ci: add address and undefined sanitizer tasks
The current code is clean with these two sanitizers, and we would
like to keep it that way by running the checks for any new code.
The signal of "passed with asan, but not ubsan" (or vice versa) is
not that useful in practice, so it is tempting to run both santizers
in a single task, but it seems to take forever, so tentatively let's
try having two separate ones.
Helped-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r-- | .github/workflows/main.yml | 6 | ||||
-rwxr-xr-x | ci/lib.sh | 6 |
2 files changed, 12 insertions, 0 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 831f4df56c..bd6f75b8e0 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -251,6 +251,12 @@ jobs: - jobname: linux-leaks cc: gcc pool: ubuntu-latest + - jobname: linux-asan + cc: gcc + pool: ubuntu-latest + - jobname: linux-ubsan + cc: gcc + pool: ubuntu-latest env: CC: ${{matrix.vector.cc}} CC_PACKAGE: ${{matrix.vector.cc_package}} @@ -278,6 +278,12 @@ linux-leaks) export GIT_TEST_PASSING_SANITIZE_LEAK=true export GIT_TEST_SANITIZE_LEAK_LOG=true ;; +linux-asan) + export SANITIZE=address + ;; +linux-ubsan) + export SANITIZE=undefined + ;; esac MAKEFLAGS="$MAKEFLAGS CC=${CC:-cc}" |