Buddy range: assert that MAX > MIN

This assert is presently false, leading to several 0-sized arrays that then cause gcc's -Warray-bounds to trip.
microsoft · Sep 4, 2024 · b7c38ec · b7c38ec
1 parent fcad154
commit b7c38ec
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/snmalloc/backend_helpers/buddy.h b/src/snmalloc/backend_helpers/buddy.h
@@ -15,6 +15,8 @@ namespace snmalloc
   template<typename Rep, size_t MIN_SIZE_BITS, size_t MAX_SIZE_BITS>
   class Buddy
   {
+    static_assert(MAX_SIZE_BITS > MIN_SIZE_BITS);
+
     struct Entry
     {
       typename Rep::Contents cache[3];