diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-11-01 13:09:59 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-11-01 13:09:59 -0500 |
commit | b4686bff56377a583f0605b81fae290d3fee4c4a (patch) | |
tree | 943f41fa5dcac0a6ce4f434135c36b1d0a06cea2 /includes | |
parent | dffd943207dd356a113ee8ff3e51227c2655a039 (diff) | |
parent | f7e6f012bcedbf60fac2631e223b8766c9afa959 (diff) | |
download | haskell-b4686bff56377a583f0605b81fae290d3fee4c4a.tar.gz |
Merge branch 'wip/tsan/ci' into wip/tsan/all
Diffstat (limited to 'includes')
-rw-r--r-- | includes/rts/TSANUtils.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/includes/rts/TSANUtils.h b/includes/rts/TSANUtils.h index 00f226d9c6..72f4541a89 100644 --- a/includes/rts/TSANUtils.h +++ b/includes/rts/TSANUtils.h @@ -40,6 +40,10 @@ #endif #if defined(TSAN_ENABLED) +#if !defined(HAVE_C11_ATOMICS) +#error TSAN cannot be enabled without C11 atomics suppoort. +#endif + #define TSAN_ANNOTATE_HAPPENS_BEFORE(addr) \ AnnotateHappensBefore(__FILE__, __LINE__, (void*)(addr)) #define TSAN_ANNOTATE_HAPPENS_AFTER(addr) \ |