From 9d7ba2b1998afc3664c37d9d1b6f6ca2d68356e9 Mon Sep 17 00:00:00 2001
From: Matt Armstrong <matt@rfc20.org>
Date: Sun, 23 Oct 2022 08:58:00 -0700
Subject: [PATCH] Fix compiler warning about possible null pointer dereference
* src/itree.c (interval_tree_remove_fix): Use 'eassert' to both check
for non-null and suppress a compiler warning.
---
src/itree.c | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/itree.c b/src/itree.c
index 501226b7e28..e824f2c8914 100644
--- a/src/itree.c
+++ b/src/itree.c
@@ -919,6 +919,7 @@ interval_tree_remove_fix (struct itree_tree *tree,
interval_tree_rotate_left (tree, parent);
other = parent->right;
}
+ eassume (other != NULL);
if (null_safe_is_black (other->left) /* 2.a */
&& null_safe_is_black (other->right))
@@ -956,6 +957,7 @@ interval_tree_remove_fix (struct itree_tree *tree,
interval_tree_rotate_right (tree, parent);
other = parent->left;
}
+ eassume (other != NULL);
if (null_safe_is_black (other->right) /* 2.b */
&& null_safe_is_black (other->left))
--
2.39.5