From fe9678787d81e60ae40aa2b809efb54425572d40 Mon Sep 17 00:00:00 2001 From: Andrew Noyes Date: Fri, 11 Oct 2024 16:47:19 -0700 Subject: [PATCH] Only require coverage of node-specific overloads of getFirstChildExists --- ConflictSet.cpp | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/ConflictSet.cpp b/ConflictSet.cpp index e8ded02..a09f4e4 100644 --- a/ConflictSet.cpp +++ b/ConflictSet.cpp @@ -1295,9 +1295,11 @@ Node *getFirstChildExists(Node256 *self) { // Precondition: self has a child Node *getFirstChildExists(Node *self) { + // Only require that the node-specific overloads are covered + // GCOVR_EXCL_START switch (self->getType()) { - case Type_Node0: // GCOVR_EXCL_LINE - __builtin_unreachable(); // GCOVR_EXCL_LINE + case Type_Node0: + __builtin_unreachable(); case Type_Node3: return getFirstChildExists(static_cast(self)); case Type_Node16: @@ -1306,9 +1308,10 @@ Node *getFirstChildExists(Node *self) { return getFirstChildExists(static_cast(self)); case Type_Node256: return getFirstChildExists(static_cast(self)); - default: // GCOVR_EXCL_LINE - __builtin_unreachable(); // GCOVR_EXCL_LINE + default: + __builtin_unreachable(); } + // GCOVR_EXCL_STOP } void consumePartialKeyFull(TaggedNodePointer &self,