Home | History | Annotate | Download | only in gen

Lines Matching defs:KASSERT

58 #define	KASSERT	assert
60 #define	KASSERT(a)
96 	KASSERT(height < 64);
132 	KASSERT((mask | (mask - 1)) == rpst_height2max(t->t_height));
186 	KASSERT((n->n_x & ((-mask) << 1)) == 0);
196 	KASSERT(cur->n_parent == parent);
212 	KASSERT(*where == cur);
216 	KASSERT((*where) == NULL || ((((*where)->n_x & mask) != 0) == idx));
217 	KASSERT((*where) == NULL || (*where)->n_y >= cur->n_y);
260 	KASSERT(parent->n_children[i] == n);
277 	KASSERT(cur != NULL);
278 	KASSERT(parent == cur->n_parent);
285 		KASSERT(c == NULL || c->n_parent == cur);
381 	KASSERT(min_x <= max_x);
448 	KASSERT(n == t->t_root || rpst_iterator_match_p(n, it));
450 	KASSERT(mask == rpst_level2mask(t, level));
451 	KASSERT(idx >= rpst_minidx(n, min_x, mask));
452 	KASSERT(maxidx == rpst_maxidx(n, max_x, mask));
453 	KASSERT(idx <= maxidx + 2);
454 	KASSERT(n != NULL);
465 			KASSERT(rpst_iterator_match_p(n, it));
474 			KASSERT(level == 0);
475 			KASSERT(t->t_root == n);
476 			KASSERT(&t->t_root == where);
479 		KASSERT(level > 0);
485 		KASSERT(idx < 2 + 1);
489 	KASSERT(idx < 2);
495 	KASSERT(next->n_parent == n);
496 	KASSERT(next->n_y >= n->n_y);