diff --git a/ConflictSet.cpp b/ConflictSet.cpp index 5ff2a75..346469b 100644 --- a/ConflictSet.cpp +++ b/ConflictSet.cpp @@ -2911,8 +2911,8 @@ void addPointWrite(Node *&root, std::span key, } #if defined(HAS_AVX) && !defined(__SANITIZE_THREAD__) -__attribute__((target("avx512f"))) InternalVersionT -horizontalMaxUpTo16(InternalVersionT *vs, InternalVersionT z, int len) { +__attribute__((target("avx512f"))) InternalVersionT horizontalMaxUpTo16( + InternalVersionT *vs, [[maybe_unused]] InternalVersionT z, int len) { assume(len <= 16); #if USE_64_BIT // Hope it gets vectorized @@ -2948,7 +2948,7 @@ horizontalMaxUpTo16(InternalVersionT *vs, InternalVersionT, int len) { #if defined(HAS_AVX) && !defined(__SANITIZE_THREAD__) __attribute__((target("avx512f"))) InternalVersionT -horizontalMax16(InternalVersionT *vs, InternalVersionT z) { +horizontalMax16(InternalVersionT *vs, [[maybe_unused]] InternalVersionT z) { #if USE_64_BIT // Hope it gets vectorized InternalVersionT max = vs[0];