Suppress MemorySanitizer false positive

MemorySanitizer does not support assembly, and therefore produces a false positive on `blake3_hasher_finalize` and related functions.
BLAKE3-team · Feb 17, 2023 · c272abe · c272abe
1 parent 64747d4
commit c272abe
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/c/blake3.c b/c/blake3.c
@@ -107,6 +107,12 @@ INLINE void output_root_bytes(const output_t *self, uint64_t seek, uint8_t *out,
     output_block_counter += 1;
     offset_within_block = 0;
   }
+#ifdef __has_feature
+#if __has_feature(memory_sanitizer)
+  // MemorySanitizer gives a false positive due to use of assembly.
+  __msan_unpoison(out, out_len);
+#endif
+#endif
 }
 
 INLINE void chunk_state_update(blake3_chunk_state *self, const uint8_t *input,