summaryrefslogtreecommitdiff
path: root/src/itree.c
diff options
context:
space:
mode:
authorMatt Armstrong <matt@rfc20.org>2022-10-23 08:58:00 -0700
committerMatt Armstrong <matt@rfc20.org>2022-10-23 09:00:01 -0700
commit9d7ba2b1998afc3664c37d9d1b6f6ca2d68356e9 (patch)
tree9cbe71ada13440cc1600e86bcdc79d290dc4c983 /src/itree.c
parentb78be2bf7a9ac8b71d25529d5736373f51852c36 (diff)
downloademacs-9d7ba2b1998afc3664c37d9d1b6f6ca2d68356e9.tar.gz
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.
Diffstat (limited to 'src/itree.c')
-rw-r--r--src/itree.c2
1 files changed, 2 insertions, 0 deletions
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))