| rbtree.c | 1124 const struct rb_node *next0 = rb_tree_iterate_const(rbt, self, RB_DIR_RIGHT); local in function:rb_tree_check_node 1126 KASSERT(next0 == TAILQ_NEXT(self, rb_link)); 1129 KASSERT(next0 != NULL || self == rbt->rbt_minmax[RB_DIR_RIGHT]); 1271 const struct rb_node *next0; local in function:rb_tree_check_node 1277 next0 = rb_tree_iterate_const(rbt, self, RB_DIR_RIGHT); 1278 KASSERT(next0 != NULL); 1279 KASSERT(RB_LEFT_SENTINEL_P(next0));
|