From 03bcd012fbc172304ad7460c36b1ef0df07fb55e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ion=20Gazta=C3=B1aga?= <igaztanaga@gmail.com>
Date: Tue, 12 Aug 2025 23:03:45 +0200
Subject: [PATCH] Add missing invariant check in the right child case inside
 "rebalance_after_erasure_restore_invariants"

---
 include/boost/intrusive/rbtree_algorithms.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/boost/intrusive/rbtree_algorithms.hpp b/include/boost/intrusive/rbtree_algorithms.hpp
index bbb3f0f..be88588 100644
--- a/include/boost/intrusive/rbtree_algorithms.hpp
+++ b/include/boost/intrusive/rbtree_algorithms.hpp
@@ -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());