weaselab/conflict-set
2
0
Fork 0
Code Issues 4 Packages Releases 13 Activity

Add bitSet asserts for Node256 paths

Browse Source
This commit is contained in:
Andrew Noyes
2024-02-26 10:58:16 -08:00
parent 333ac74d91
commit 6a08bdd40e
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
ConflictSet.cpp
View File

@@ -346,6 +346,7 @@ Node *&getChildExists(Node *self, uint8_t index) {
return self48->children[self48->index[index]].child; return self48->children[self48->index[index]].child;
} else { } else {
auto *self256 = static_cast<Node256 *>(self); auto *self256 = static_cast<Node256 *>(self);
assert(self256->bitSet.test(index));
return self256->children[index].child; return self256->children[index].child;
} }
__builtin_unreachable(); // GCOVR_EXCL_LINE __builtin_unreachable(); // GCOVR_EXCL_LINE
@@ -362,6 +363,7 @@ int64_t getChildMaxVersion(Node *self, uint8_t index) {
return self48->children[self48->index[index]].childMaxVersion; return self48->children[self48->index[index]].childMaxVersion;
} else { } else {
auto *self256 = static_cast<Node256 *>(self); auto *self256 = static_cast<Node256 *>(self);
assert(self256->bitSet.test(index));
return self256->children[index].childMaxVersion; return self256->children[index].childMaxVersion;
} }
__builtin_unreachable(); // GCOVR_EXCL_LINE __builtin_unreachable(); // GCOVR_EXCL_LINE
@@ -1880,6 +1882,7 @@ int64_t &maxVersion(Node *n, ConflictSet::Impl *impl) {
return n48->children[n48->index[index]].childMaxVersion; return n48->children[n48->index[index]].childMaxVersion;
} else { } else {
auto *n256 = static_cast<Node256 *>(n); auto *n256 = static_cast<Node256 *>(n);
assert(n256->bitSet.test(index));
return n256->children[index].childMaxVersion; return n256->children[index].childMaxVersion;
} }
} }