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

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

Browse source
This commit is contained in:
Roland Conybeare 2026-01-07 17:59:46 -05:00
commit 33bfd67cca
1 changed files with 16 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -432,11 +432,26 @@ namespace xo {
/* SM1.1: size_ <= n_slot_ */
if (size_ > n_slot_) {
return policy.report_error(log,
c_self, ": expect .size < .n_slot",
c_self, ": expect .size <= .n_slot",
xtag("size", size_),
xtag("n_slot", n_slot_));
}
/* SM1.2: control_[] size consistent with slots_[] size */
if (control_.size() != n_slot_ + c_group_size) {
return policy.report_error(log,
c_self, ": expect .control_.size = .n_slot + c_group_size",
xtag("control_.size", control_.size()),
xtag("n_slot", n_slot_),
xtag("c_group_size", c_group_size));
}
if (slots_.size() != n_slot_) {
return policy.report_error(log,
c_self, ": expect .slots_.size = .n_slot",
xtag("slots_.size", slots_.size()),
xtag("n_slot", n_slot_));
}
return true;
}
}