From 9d7ba2b1998afc3664c37d9d1b6f6ca2d68356e9 Mon Sep 17 00:00:00 2001 From: Matt Armstrong Date: Sun, 23 Oct 2022 08:58:00 -0700 Subject: 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(+) (limited to 'src/itree.c') 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)) -- cgit v1.2.1