Assert node range conditions when checking cmap splay trees.

1 files changed, 6 insertions, 2 deletions

diff --git a/source/pdf/pdf-cmap.c b/source/pdf/pdf-cmap.c
index bedc1304..29d9c506 100644
--- a/source/pdf/pdf-cmap.c
+++ b/source/pdf/pdf-cmap.c
@@ -445,8 +445,12 @@ do_check(cmap_splay *node, void *arg)
 {
 	cmap_splay *tree = arg;
 	unsigned int num = node - tree;
-	assert(node->left == EMPTY || tree[node->left].parent == num);
-	assert(node->right == EMPTY || tree[node->right].parent == num);
+	assert(!node->many || node->low == node->high);
+	assert(node->low <= node->high);
+	assert((node->left == EMPTY) || (tree[node->left].parent == num &&
+		tree[node->left].high < node->low));
+	assert(node->right == EMPTY || (tree[node->right].parent == num &&
+		node->high < tree[node->right].low));
 }
 
 static void