[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 12/19] configure: added tsan support for blacklist.
From: |
Emilio G. Cota |
Subject: |
Re: [PATCH 12/19] configure: added tsan support for blacklist. |
Date: |
Sat, 23 May 2020 13:27:29 -0400 |
On Fri, May 22, 2020 at 12:07:48 -0400, Robert Foley wrote:
> Initially put several files into blacklist that were
> causing the most problems, namely bitops.c and bitmap.c.
>
> Signed-off-by: Robert Foley <address@hidden>
> ---
> configure | 3 ++-
> tests/tsan/blacklist.tsan | 5 +++++
> 2 files changed, 7 insertions(+), 1 deletion(-)
> create mode 100644 tests/tsan/blacklist.tsan
>
> diff --git a/configure b/configure
> index c95c54fb48..8a86a0638d 100755
> --- a/configure
> +++ b/configure
> @@ -6306,7 +6306,8 @@ if test "$have_asan" = "yes"; then
> fi
> if test "$have_tsan" = "yes" ; then
> if test "$have_tsan_iface_fiber" = "yes" ; then
> - QEMU_CFLAGS="-fsanitize=thread $QEMU_CFLAGS"
> + QEMU_CFLAGS="-fsanitize=thread -fsanitize-blacklist="\
> + "\$(SRC_PATH)/tests/tsan/blacklist.tsan $QEMU_CFLAGS"
I presume the goal here is to fix these races later (my default assumption
is that warnings == races, since most warnings are indeed races). If so,
please consider making the suppression optional (via
"--extra-cflags=-fsanitize-blacklist=path-to-this-file"), since that
way the reports are likely to get more eyeballs.
Thanks,
E.
- [PATCH 06/19] tcg: call qemu_spin_destroy for tb->jmp_lock, (continued)
- [PATCH 06/19] tcg: call qemu_spin_destroy for tb->jmp_lock, Robert Foley, 2020/05/22
- [PATCH 07/19] translate-all: call qemu_spin_destroy for PageDesc, Robert Foley, 2020/05/22
- [PATCH 08/19] thread: add tsan annotations to QemuSpin, Robert Foley, 2020/05/22
- [PATCH 09/19] tests/docker: Added docker build support for TSan., Robert Foley, 2020/05/22
- [PATCH 11/19] accel/tcg: Fixed tsan warnings related to parallel_cpus, Robert Foley, 2020/05/22
- [PATCH 10/19] include/qemu: Added tsan.h for annotations., Robert Foley, 2020/05/22
- [PATCH 12/19] configure: added tsan support for blacklist., Robert Foley, 2020/05/22
- Re: [PATCH 12/19] configure: added tsan support for blacklist.,
Emilio G. Cota <=
- [PATCH 13/19] accel/tcg: Fixed tsan warnings., Robert Foley, 2020/05/22
- [PATCH 05/19] qht: call qemu_spin_destroy for head buckets, Robert Foley, 2020/05/22
- [PATCH 14/19] util/async: Fixed tsan warnings, Robert Foley, 2020/05/22