diff options
author | Robert Foley <robert.foley@linaro.org> | 2020-06-12 20:02:31 +0100 |
---|---|---|
committer | Alex Bennée <alex.bennee@linaro.org> | 2020-06-16 14:49:05 +0100 |
commit | df79fd5667fb99c6fdfa0d295cb020e9e3eef1e7 (patch) | |
tree | 9c80818d4c759488e72fcfe007280b6f0ea9c6ac /tests/tsan/blacklist.tsan | |
parent | 45a9595a1b16666cdac1969469937b72cfb28129 (diff) | |
download | qemu-df79fd5667fb99c6fdfa0d295cb020e9e3eef1e7.zip qemu-df79fd5667fb99c6fdfa0d295cb020e9e3eef1e7.tar.gz qemu-df79fd5667fb99c6fdfa0d295cb020e9e3eef1e7.tar.bz2 |
tests/docker: Added docker build support for TSan.
Added a new docker for ubuntu 20.04.
This docker has support for Thread Sanitizer
including one patch we need in one of the header files.
https://github.com/llvm/llvm-project/commit/a72dc86cd
This command will build with tsan enabled:
make docker-test-tsan-ubuntu2004 V=1
Also added the TSAN suppresion file to disable certain
cases of TSAN warnings.
Cc: Fam Zheng <fam@euphon.net>
Cc: Philippe Mathieu-Daudé <philmd@redhat.com>
Signed-off-by: Robert Foley <robert.foley@linaro.org>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Signed-off-by: Alex Bennée <alex.bennee@linaro.org>
Message-Id: <20200609200738.445-10-robert.foley@linaro.org>
Message-Id: <20200612190237.30436-13-alex.bennee@linaro.org>
Diffstat (limited to 'tests/tsan/blacklist.tsan')
-rw-r--r-- | tests/tsan/blacklist.tsan | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/tsan/blacklist.tsan b/tests/tsan/blacklist.tsan new file mode 100644 index 0000000..75e444f --- /dev/null +++ b/tests/tsan/blacklist.tsan @@ -0,0 +1,10 @@ +# This is an example blacklist. +# To enable use of the blacklist add this to configure: +# "--extra-cflags=-fsanitize-blacklist=<src path>/tests/tsan/blacklist.tsan" +# The eventual goal would be to fix these warnings. + +# TSan is not happy about setting/getting of dirty bits, +# for example, cpu_physical_memory_set_dirty_range, +# and cpu_physical_memory_get_dirty. +src:bitops.c +src:bitmap.c |