Re: [Qemu-devel] [RFC 3/8] new: blacklist.tsan

2016-09-20 Thread Marc-André Lureau
On Mon, Sep 19, 2016 at 8:01 PM Alex Bennée  wrote:

> A list of blacklists for tsan instrumentation. One hopes more can be
> removed over time as tsan improves.
>
> The path needs to be absolute so it doesn't break when directories
> change during the build:
>
>   ./configure --with-coroutine=gthread --disable-pie \
> --extra-cflags="-g3 -O0 -fsanitize=thread \
> -fsanitize-blacklist=/home/alex/lsrc/qemu/qemu.git/blacklist.tsan"
>
> Signed-off-by: Alex Bennée 
>

Reviewed-by: Marc-André Lureau 


> ---
>  blacklist.tsan | 2 ++
>  1 file changed, 2 insertions(+)
>  create mode 100644 blacklist.tsan
>
> diff --git a/blacklist.tsan b/blacklist.tsan
> new file mode 100644
> index 000..9e53a84
> --- /dev/null
> +++ b/blacklist.tsan
> @@ -0,0 +1,2 @@
> +# the vector intrinsics upset tsan
> +src:bufferiszero.c
> --
> 2.9.3
>
>
> --
Marc-André Lureau


[Qemu-devel] [RFC 3/8] new: blacklist.tsan

2016-09-19 Thread Alex Bennée
A list of blacklists for tsan instrumentation. One hopes more can be
removed over time as tsan improves.

The path needs to be absolute so it doesn't break when directories
change during the build:

  ./configure --with-coroutine=gthread --disable-pie \
--extra-cflags="-g3 -O0 -fsanitize=thread \
-fsanitize-blacklist=/home/alex/lsrc/qemu/qemu.git/blacklist.tsan"

Signed-off-by: Alex Bennée 
---
 blacklist.tsan | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 blacklist.tsan

diff --git a/blacklist.tsan b/blacklist.tsan
new file mode 100644
index 000..9e53a84
--- /dev/null
+++ b/blacklist.tsan
@@ -0,0 +1,2 @@
+# the vector intrinsics upset tsan
+src:bufferiszero.c
-- 
2.9.3