409 	rbnode_type* sibling;  in rbtree_delete_fixup()  local
413 	if(child_parent->right == child) sibling = child_parent->left;  in rbtree_delete_fixup()
414 	else sibling = child_parent->right;  in rbtree_delete_fixup()
424 		if(sibling->color == RED)  in rbtree_delete_fixup()
427 			sibling->color = BLACK;  in rbtree_delete_fixup()
432 			if(child_parent->right == child) sibling = child_parent->left;  in rbtree_delete_fixup()
433 			else sibling = child_parent->right;  in rbtree_delete_fixup()
437 			&& sibling->color == BLACK  in rbtree_delete_fixup()
438 			&& sibling->left->color == BLACK  in rbtree_delete_fixup()
439 			&& sibling->right->color == BLACK)  in rbtree_delete_fixup()
441 			if(sibling != RBTREE_NULL)  in rbtree_delete_fixup()
442 				sibling->color = RED;  in rbtree_delete_fixup()
447 			if(child_parent->right == child) sibling = child_parent->left;  in rbtree_delete_fixup()
448 			else sibling = child_parent->right;  in rbtree_delete_fixup()
454 		&& sibling->color == BLACK  in rbtree_delete_fixup()
455 		&& sibling->left->color == BLACK  in rbtree_delete_fixup()
456 		&& sibling->right->color == BLACK)   in rbtree_delete_fixup()
459 		if(sibling != RBTREE_NULL)  in rbtree_delete_fixup()
460 			sibling->color = RED;  in rbtree_delete_fixup()
464 	log_assert(sibling != RBTREE_NULL);  in rbtree_delete_fixup()
469 		&& sibling->color == BLACK  in rbtree_delete_fixup()
470 		&& sibling->right->color == RED  in rbtree_delete_fixup()
471 		&& sibling->left->color == BLACK)  in rbtree_delete_fixup()
473 		sibling->color = RED;  in rbtree_delete_fixup()
474 		sibling->right->color = BLACK;  in rbtree_delete_fixup()
475 		rbtree_rotate_left(rbtree, sibling);  in rbtree_delete_fixup()
477 		if(child_parent->right == child) sibling = child_parent->left;  in rbtree_delete_fixup()
478 		else sibling = child_parent->right;  in rbtree_delete_fixup()
481 		&& sibling->color == BLACK  in rbtree_delete_fixup()
482 		&& sibling->left->color == RED  in rbtree_delete_fixup()
483 		&& sibling->right->color == BLACK)  in rbtree_delete_fixup()
485 		sibling->color = RED;  in rbtree_delete_fixup()
486 		sibling->left->color = BLACK;  in rbtree_delete_fixup()
487 		rbtree_rotate_right(rbtree, sibling);  in rbtree_delete_fixup()
489 		if(child_parent->right == child) sibling = child_parent->left;  in rbtree_delete_fixup()
490 		else sibling = child_parent->right;  in rbtree_delete_fixup()
494 	sibling->color = child_parent->color;  in rbtree_delete_fixup()
498 		log_assert(sibling->left->color == RED);  in rbtree_delete_fixup()
499 		sibling->left->color = BLACK;  in rbtree_delete_fixup()
504 		log_assert(sibling->right->color == RED);  in rbtree_delete_fixup()
505 		sibling->right->color = BLACK;  in rbtree_delete_fixup()