interval_erase() calls update_maxhigh() properly when child == NULL
if (child)
child->in_parent = parent;
if (child)
child->in_parent = parent;
parent->in_right = child;
parent->in_right = child;
- parent = node;
- } else {
node->in_color = old->in_color;
node->in_right = old->in_right;
node->in_color = old->in_color;
node->in_right = old->in_right;
old->in_left->in_parent = node;
if (old->in_right)
old->in_right->in_parent = node;
old->in_left->in_parent = node;
if (old->in_right)
old->in_right->in_parent = node;
- update_maxhigh(child, node->in_max_high);
+ update_maxhigh(child ? : parent, node->in_max_high);
update_maxhigh(node, old->in_max_high);
update_maxhigh(node, old->in_max_high);
+ if (parent == old)
+ parent = node;
goto color;
}
parent = node->in_parent;
goto color;
}
parent = node->in_parent;
- update_maxhigh(child, node->in_max_high);
+ update_maxhigh(child ? : parent, node->in_max_high);
color:
if (color == INTERVAL_BLACK)
color:
if (color == INTERVAL_BLACK)