diff options
author | jackpoz <giacomopoz@gmail.com> | 2014-09-20 21:19:00 +0200 |
---|---|---|
committer | jackpoz <giacomopoz@gmail.com> | 2014-09-20 22:35:13 +0200 |
commit | a209fc30ffa0f47f98a800a50621a8f4a2f280e7 (patch) | |
tree | 9ea150233f2da03368bb503eb225d8aa3eb6e34a /src/server/shared/Define.h | |
parent | 72d08a146f3ca8369f173b9293d564673155491a (diff) |
Core/Misc: Avoid Helgrind reporting libstdc++ false positive race conditions
Diffstat (limited to 'src/server/shared/Define.h')
-rw-r--r-- | src/server/shared/Define.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/server/shared/Define.h b/src/server/shared/Define.h index e9a642f5e95..075dd39002f 100644 --- a/src/server/shared/Define.h +++ b/src/server/shared/Define.h @@ -31,6 +31,11 @@ # if !defined(_GLIBCXX_USE_NANOSLEEP) # define _GLIBCXX_USE_NANOSLEEP # endif +# if defined(HELGRIND) +# include <valgrind/helgrind.h> +# define _GLIBCXX_SYNCHRONIZATION_HAPPENS_BEFORE(A) ANNOTATE_HAPPENS_BEFORE(A) +# define _GLIBCXX_SYNCHRONIZATION_HAPPENS_AFTER(A) ANNOTATE_HAPPENS_AFTER(A) +# endif #endif #include <cstddef> |