Boost version: latest release
file: boost/intrusive/rbtree_algorithms.hpp
function: rebalance_after_erasure_restore_invariants
in this if-branch
```
if(x == x_parent_left){ //x is left child
```
there is "w != NULL" assertion before variable 'w' access:
```
BOOST_INTRUSIVE_INVARIANT_ASSERT(w);
if(NodeTraits::get_color(w) == NodeTraits::red()){
```
but in else-branch there is no same assertion before variable 'w' access:
```
if(NodeTraits::get_color(w) == NodeTraits::red()){
```
Why? Are there no assertion in else-branch intentionally due to the rbtree
structure itself?
Thanks.
_______________________________________________
Boost-users mailing list -- boost-users@lists.boost.org
To unsubscribe send an email to boost-users-le...@lists.boost.org
https://lists.boost.org/mailman3/lists/boost-users.lists.boost.org/
Archived at:
https://lists.boost.org/archives/list/boost-users@lists.boost.org/message/QEMYKNTWLOBDRTDUC2ATC5FMZPDBEMQP/
