From 9d82c4b72b0a1e2d2d43990bd09cde81f1b88da6 Mon Sep 17 00:00:00 2001 From: Roland Conybeare Date: Wed, 7 Jan 2026 18:02:42 -0500 Subject: [PATCH] xo-arena: verify SM1.3 in DArenaHashMap.verify_ok --- xo-arena/include/xo/arena/DArenaHashMap.hpp | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/xo-arena/include/xo/arena/DArenaHashMap.hpp b/xo-arena/include/xo/arena/DArenaHashMap.hpp index a39420be..4475bc24 100644 --- a/xo-arena/include/xo/arena/DArenaHashMap.hpp +++ b/xo-arena/include/xo/arena/DArenaHashMap.hpp @@ -452,6 +452,14 @@ namespace xo { xtag("n_slot", n_slot_)); } + /* SM1.3: n_group_ consistent with n_group_exponent_ */ + if (n_group_ != (size_type{1} << n_group_exponent_)) { + return policy.report_error(log, + c_self, ": expect .n_group = 2^.n_group_exponent", + xtag("n_group", n_group_), + xtag("n_group_exponent", n_group_exponent_)); + } + return true; } }