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, send a message with 'unsubscribe linux-mm' in the body to majordomo@xxxxxxxxx. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: <a href