Browse Source

[2092] Add comment about pointer dereference asked by reviewer

Mukund Sivaraman 12 years ago
parent
commit
ae25a3ba4d
1 changed files with 2 additions and 0 deletions
  1. 2 0
      src/lib/datasrc/rbtree.h

+ 2 - 0
src/lib/datasrc/rbtree.h

@@ -1544,6 +1544,8 @@ RBTree<T>::insertRebalance(typename RBNode<T>::RBNodePtr* root,
     RBNode<T>* parent;
     while (node != (*root).get() &&
            (parent = node->getParent())->getColor() == RBNode<T>::RED) {
+        // Here, node->parent_ is not NULL and it is also red, so
+        // node->parent_->parent_ is also not NULL.
         if (parent == parent->getParent()->getLeft()) {
             uncle = parent->getParent()->getRight();