xo-arena: verify SM1.5 in DArenaHashMap.verify_ok

2026-01-07 18:08:54 -05:00 · 2026-01-07 18:08:54 -05:00 · 7bf7ce9f3d
commit 7bf7ce9f3d
parent eb6b0c3a63
1 changed files with 7 additions and 0 deletions
--- a/include/xo/arena/DArenaHashMap.hpp
+++ b/include/xo/arena/DArenaHashMap.hpp
@ -469,6 +469,13 @@ namespace xo {
                                           xtag("c_group_size", c_group_size));
            }

+            /* SM1.5: n_slot_ a power of 2 */
+            if ((n_slot_ & (n_slot_ - 1)) != 0) {
+                return policy.report_error(log,
+                                           c_self, ": expect .n_slot is power of 2",
+                                           xtag("n_slot", n_slot_));
+            }
+
            return true;
        }
    }