From fda8723be640593a662d7ff9d4900b7f9e56423e Mon Sep 17 00:00:00 2001 From: Matt Armstrong Date: Tue, 11 Oct 2022 20:32:08 -0700 Subject: [PATCH 2/3] ; * src/itree.c (check_tree): assert that the tree root is black --- src/itree.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/itree.c b/src/itree.c index ef623d0850..deef0335cf 100644 --- a/src/itree.c +++ b/src/itree.c @@ -307,6 +307,7 @@ check_tree (struct interval_tree *tree, if (tree->root == ITREE_NULL) return true; eassert (tree->root->parent == ITREE_NULL); + eassert (!check_red_black_invariants || !tree->root->red); struct interval_node *node = tree->root; struct check_subtree_result result -- 2.35.1