diff --git a/src/lib/salad/bps_tree.h b/src/lib/salad/bps_tree.h index d28b53f53c88..a10f0a32c4c0 100644 --- a/src/lib/salad/bps_tree.h +++ b/src/lib/salad/bps_tree.h @@ -2147,8 +2147,11 @@ bps_tree_create_leaf(struct bps_tree *tree, bps_tree_block_id_t *id) { struct bps_leaf *res = (struct bps_leaf *) bps_tree_garbage_pop(tree, id); - if (!res) - res = (struct bps_leaf *)matras_alloc(&tree->matras, id); + if (res == NULL) { + res = (struct bps_leaf *) matras_alloc(&tree->matras, id); + if (res == NULL) + return NULL; + } res->header.type = BPS_TREE_BT_LEAF; tree->leaf_count++; return res;