[master] 08df05544 [cci] tell the sanitizers about the suppr files
guillaume quintard
gquintard at users.noreply.github.com
Mon Sep 30 01:22:05 UTC 2019
commit 08df05544963e869a3984de428f6a8075fce6be7
Author: Guillaume Quintard <guillaume at varnish-software.com>
Date: Sun Sep 29 17:31:18 2019 -0700
[cci] tell the sanitizers about the suppr files
diff --git a/.circleci/config.yml b/.circleci/config.yml
index cc14d265b..e1e9b7c7a 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -166,6 +166,7 @@ jobs:
root: .
paths:
- varnish*.tar.gz
+ - tools/*.suppr
tar_pkg_tools:
docker:
- image: centos:7
@@ -219,6 +220,12 @@ jobs:
adduser --disabled-password --gecos "" varnish
fi
chown -R varnish:varnish /workspace
+
+ export ASAN_OPTIONS=abort_on_error=1,detect_odr_violation=1,detect_leaks=1,detect_stack_use_after_return=1,detect_invalid_pointer_pairs=1,handle_segv=0,handle_sigbus=0,use_sigaltstack=0,disable_coredump=0
+ export LSAN_OPTIONS=abort_on_error=1,use_sigaltstack=0,suppressions=$(pwd)/tools/lsan.suppr
+ export TSAN_OPTIONS=abort_on_error=1,halt_on_error=1,use_sigaltstack=0,suppressions=$(pwd)/tools/tsan.suppr
+ export UBSAN_OPTIONS=halt_on_error=1,print_stacktrace=1,use_sigaltstack=0,suppressions=$(pwd)/tools/ubsan.suppr
+
sudo -u varnish ./configure \
--quiet \
--with-unwind \
@@ -227,7 +234,9 @@ jobs:
--disable-stack-protector \
--with-persistent-storage \
<< parameters.extra_conf >>
- sudo -u varnish make distcheck -j 12 -k
+ sudo -u varnish \
+ --preserve-env=ASAN_OPTIONS,LSAN_OPTIONS,TSAN_OPTIONS,UBSAN_OPTIONS \
+ make distcheck -j 12 -k
push_packages:
docker:
- image: centos:7
More information about the varnish-commit
mailing list