roland/xo-arena
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

xo-arena: verify SM3.1 in DArenaHashMap.verify_ok

Browse source
This commit is contained in:
Roland Conybeare 2026-01-07 18:11:55 -05:00
commit 605e5638a1
1 changed files with 11 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

11
include/xo/arena/DArenaHashMap.hpp
View file

@ -484,6 +484,17 @@ namespace xo {
xtag("c_max_load_factor", c_max_load_factor));
}
/* SM3.1: control_[N+i] = control_[i] for i in [0, c_group_size) */
for (size_type i = 0; i < c_group_size; ++i) {
if (control_[n_slot_ + i] != control_[i]) {
return policy.report_error(log,
c_self, ": expect control_[N+i] = control_[i]",
xtag("i", i),
xtag("control_[i]", control_[i]),
xtag("control_[N+i]", control_[n_slot_ + i]));
}
}
return true;
}
}