From a98497429fcb1369bfe2af9d57820eb94ae380dc Mon Sep 17 00:00:00 2001 From: Matt Armstrong Date: Tue, 11 Oct 2022 20:19:16 -0700 Subject: [PATCH 3/4] ; * src/itree.c (check_subtree): fix logical error in eassert --- src/itree.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/itree.c b/src/itree.c index deef0335cf..cd6b0b35f8 100644 --- a/src/itree.c +++ b/src/itree.c @@ -277,7 +277,8 @@ check_subtree (struct interval_node *node, if (check_red_black_invariants) { eassert (left_result.black_height == right_result.black_height); - eassert (node->parent != ITREE_NULL || !node->red || !node->parent->red); + eassert (node->parent == ITREE_NULL || !node->red + || !node->parent->red); } result.size = 1 + left_result.size + right_result.size; -- 2.35.1