From: Matt Armstrong <matt@rfc20.org>
Date: Wed, 12 Oct 2022 03:32:08 +0000 (-0700)
Subject: ; * src/itree.c (check_tree): assert that the tree root is black
X-Git-Tag: emacs-29.0.90~1616^2~406^2~16
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=fda8723be640593a662d7ff9d4900b7f9e56423e;p=emacs.git

; * src/itree.c (check_tree): assert that the tree root is black
---

diff --git a/src/itree.c b/src/itree.c
index ef623d0850a..deef0335cfd 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