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.
This commit is contained in:
Matt Armstrong 2022-10-23 08:58:00 -07:00
parent b78be2bf7a
commit 9d7ba2b199

View file

@ -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))