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

Explain assert

Browse Source
This commit is contained in:
Andrew Noyes
2024-02-19 16:24:51 -08:00
parent cb2f66b4b7
commit 01a29b69b1
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
ConflictSet.cpp
View File

@@ -1541,6 +1541,7 @@ struct __attribute__((visibility("hidden"))) ConflictSet::Impl {
void setOldestVersion(int64_t oldestVersion) { void setOldestVersion(int64_t oldestVersion) {
this->oldestVersion = oldestVersion; this->oldestVersion = oldestVersion;
Node *prev = firstGeq(root, removalKey).n; Node *prev = firstGeq(root, removalKey).n;
// There's no way to erase removalKey without introducing a key after it
assert(prev != nullptr); assert(prev != nullptr);
while (keyUpdates-- > 0) { while (keyUpdates-- > 0) {
Node *n = nextLogical(prev); Node *n = nextLogical(prev);