rb.c | 1115 const struct rb_node *next0 = rb_tree_iterate_const(rbt, self, RB_DIR_RIGHT); local in function:rb_tree_check_node 1117 KASSERT(next0 == TAILQ_NEXT(self, rb_link)); 1120 KASSERT(next0 != NULL || self == rbt->rbt_minmax[RB_DIR_RIGHT]); 1262 const struct rb_node *next0; local in function:rb_tree_check_node 1268 next0 = rb_tree_iterate_const(rbt, self, RB_DIR_RIGHT); 1269 KASSERT(next0 != NULL); 1270 KASSERT(RB_LEFT_SENTINEL_P(next0));
|