On Wed, 2012-07-11 at 18:12 -0700, Michel Lespinasse wrote: > Do you mean the case you marked XXX ? it is actually parent that is > red, which we know because we tested that a few lines earlier. > > > @@ -85,12 +104,27 @@ void rb_insert_color(struct rb_node *nod > > } else if (rb_is_black(parent)) > > break; > > > > + /* > > + * XXX > > + */ > > gparent = rb_red_parent(parent); > > See :)
D'0h, I got confused and thought the red was for the parent's parent, not parent. Quite.. ignore that then. -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
