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

xo-arena: verify SM4.1.1 in DArenaHashMap.verify_ok

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

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

@ -512,6 +512,21 @@ namespace xo {
}
}
/* SM4.1.1: if control_[i] is non-sentinel, control_[i] = hash_(slots_[i].first) & 0x7f */
for (size_type i = 0; i < n_slot_; ++i) {
uint8_t c = control_[i];
if ((c != c_empty_slot) && (c != c_tombstone)) {
uint8_t expected_h2 = hash_(slots_[i].first) & 0x7f;
if (c != expected_h2) {
return policy.report_error(log,
c_self, ": expect control[i] = hash(key) & 0x7f",
xtag("i", i),
xtag("control[i]", c),
xtag("expected_h2", expected_h2));
}
}
}
return true;
}
}