Add missing invariant check in the right child case inside "rebalance_after_erasure_restore_invariants"

This commit is contained in:
Ion Gaztañaga
2025-08-12 23:03:45 +02:00
parent 487bfaad88
commit 03bcd012fb

View File

@@ -508,6 +508,7 @@ class rbtree_algorithms
else {
// same as above, with right_ <-> left_.
node_ptr w = x_parent_left;
BOOST_INTRUSIVE_INVARIANT_ASSERT(w);
if(NodeTraits::get_color(w) == NodeTraits::red()){
NodeTraits::set_color(w, NodeTraits::black());
NodeTraits::set_color(x_parent, NodeTraits::red());