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

Only require coverage of node-specific overloads of getFirstChildExists

Browse Source
This commit is contained in:
Andrew Noyes
2024-10-11 16:47:19 -07:00
parent 0ac259c782
commit fe9678787d
1 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
ConflictSet.cpp
View File

@@ -1295,9 +1295,11 @@ Node *getFirstChildExists(Node256 *self) {
// Precondition: self has a child // Precondition: self has a child
Node *getFirstChildExists(Node *self) { Node *getFirstChildExists(Node *self) {
// Only require that the node-specific overloads are covered
// GCOVR_EXCL_START
switch (self->getType()) { switch (self->getType()) {
case Type_Node0: // GCOVR_EXCL_LINE case Type_Node0:
__builtin_unreachable(); // GCOVR_EXCL_LINE __builtin_unreachable();
case Type_Node3: case Type_Node3:
return getFirstChildExists(static_cast<Node3 *>(self)); return getFirstChildExists(static_cast<Node3 *>(self));
case Type_Node16: case Type_Node16:
@@ -1306,9 +1308,10 @@ Node *getFirstChildExists(Node *self) {
return getFirstChildExists(static_cast<Node48 *>(self)); return getFirstChildExists(static_cast<Node48 *>(self));
case Type_Node256: case Type_Node256:
return getFirstChildExists(static_cast<Node256 *>(self)); return getFirstChildExists(static_cast<Node256 *>(self));
default: // GCOVR_EXCL_LINE default:
__builtin_unreachable(); // GCOVR_EXCL_LINE __builtin_unreachable();
} }
// GCOVR_EXCL_STOP
} }
void consumePartialKeyFull(TaggedNodePointer &self, void consumePartialKeyFull(TaggedNodePointer &self,