diff options
| author | Matt Armstrong <matt@rfc20.org> | 2022-10-11 20:32:08 -0700 |
|---|---|---|
| committer | Matt Armstrong <matt@rfc20.org> | 2022-10-11 20:43:39 -0700 |
| commit | fda8723be640593a662d7ff9d4900b7f9e56423e (patch) | |
| tree | 4819806af48355504cbfa7bb4f29ccd2cb867cac /src/itree.c | |
| parent | 034d50415858b18b032b116804bfefc1be421bb3 (diff) | |
| download | emacs-fda8723be640593a662d7ff9d4900b7f9e56423e.tar.gz | |
; * src/itree.c (check_tree): assert that the tree root is black
Diffstat (limited to 'src/itree.c')
| -rw-r--r-- | src/itree.c | 1 |
1 files changed, 1 insertions, 0 deletions
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 |