Lines Matching refs:assert

367 			assert(idx > parentp->idx + MASK_BITS + parentp->num_after - 1);  in node_add()
386 assert(prev->num_after > 0); in node_add()
387 assert(n1 < MASK_BITS); in node_add()
388 assert(!(nodep->mask & (1 << n1))); in node_add()
416 assert(s->num_set >= num_set || sparsebit_all_set(s)); in node_rm()
442 assert(nodep == nodep->parent->right); in node_rm()
464 assert(nodep == nodep->parent->right); in node_rm()
482 assert(nodep == nodep->parent->right); in node_rm()
505 assert(!(idx % MASK_BITS)); in node_split()
650 assert(nodep->num_after != 0); in node_reduce()
651 assert(nodep->idx + MASK_BITS > nodep->idx); in node_reduce()
714 assert((num_contiguous > 0) && in node_reduce()
799 assert(idx >= nodep->idx && idx - nodep->idx < MASK_BITS); in sparsebit_is_set()
822 assert(idx >= nodep->idx && idx <= nodep->idx + MASK_BITS - 1); in bit_set()
823 assert(!(nodep->mask & (1 << (idx - nodep->idx)))); in bit_set()
857 assert(idx >= nodep->idx && idx <= nodep->idx + MASK_BITS - 1); in bit_clear()
858 assert(nodep->mask & (1 << (idx - nodep->idx))); in bit_clear()
860 assert(s->num_set > 0 || sparsebit_all_set(s)); in bit_clear()
884 assert(nodep == nodep->parent->right); in dump_nodes()
991 assert(num > 0); in sparsebit_is_set_num()
992 assert(idx + num - 1 >= idx); in sparsebit_is_set_num()
1022 assert(num > 0); in sparsebit_is_clear_num()
1023 assert(idx + num - 1 >= idx); in sparsebit_is_clear_num()
1066 assert(s->root->mask != 0); in sparsebit_any_set()
1067 assert(s->num_set > 0 || in sparsebit_any_set()
1093 assert(sparsebit_any_set(s)); in sparsebit_first_set()
1107 assert(sparsebit_any_clear(s)); in sparsebit_first_clear()
1129 assert(nodep1->mask == ~(mask_t) 0); in sparsebit_first_clear()
1130 assert(nodep1->idx + MASK_BITS + nodep1->num_after != (sparsebit_idx_t) 0); in sparsebit_first_clear()
1197 assert(candidate->mask != 0); in sparsebit_next_set()
1206 assert(candidate->idx > lowest_possible); in sparsebit_next_set()
1310 assert(num >= 1); in sparsebit_next_set_num()
1315 assert(sparsebit_is_set(s, idx)); in sparsebit_next_set_num()
1345 assert(num >= 1); in sparsebit_next_clear_num()
1350 assert(sparsebit_is_clear(s, idx)); in sparsebit_next_clear_num()
1381 assert(num > 0); in sparsebit_set_num()
1382 assert(start + num - 1 >= start); in sparsebit_set_num()
1425 assert(next->idx + MASK_BITS + next->num_after - 1 <= middle_end); in sparsebit_set_num()
1448 assert(n < MASK_BITS); in sparsebit_set_num()
1463 assert(num > 0); in sparsebit_clear_num()
1464 assert(start + num - 1 >= start); in sparsebit_clear_num()
1488 assert(next->idx + MASK_BITS + next->num_after - 1 <= middle_end); in sparsebit_clear_num()
1517 assert(n < MASK_BITS); in sparsebit_clear_num()
1539 assert(sparsebit_all_set(s)); in sparsebit_set_all()
1547 assert(!sparsebit_any_set(s)); in sparsebit_clear_all()
1932 assert(sparsebit_is_set(s, first)); in operate()
1933 assert(!sparsebit_is_clear(s, first)); in operate()
1934 assert(sparsebit_any_set(s)); in operate()
1935 assert(!sparsebit_all_clear(s)); in operate()
1945 assert(!sparsebit_is_set(s, first)); in operate()
1946 assert(sparsebit_is_clear(s, first)); in operate()
1947 assert(sparsebit_any_clear(s)); in operate()
1948 assert(!sparsebit_all_set(s)); in operate()
1957 assert(sparsebit_is_set(s, first) == get_value(first)); in operate()
1958 assert(sparsebit_is_clear(s, first) == !get_value(first)); in operate()
1962 assert(get_value(sparsebit_first_set(s))); in operate()
1964 assert(!get_value(sparsebit_first_clear(s))); in operate()
1966 assert(!sparsebit_any_clear(s)); in operate()
1967 assert(sparsebit_all_set(s)); in operate()
1974 assert(get_value(sparsebit_first_set(s))); in operate()
1976 assert(!get_value(sparsebit_first_clear(s))); in operate()
1978 assert(!sparsebit_any_set(s)); in operate()
1979 assert(sparsebit_all_clear(s)); in operate()
1984 assert(next == 0 || next > first); in operate()
1985 assert(next == 0 || get_value(next)); in operate()
1989 assert(next == 0 || next > first); in operate()
1990 assert(next == 0 || !get_value(next)); in operate()
1995 assert(next == 0 || next > last); in operate()
2002 assert(next == first); in operate()
2004 assert(sparsebit_is_clear(s, first) || next <= last); in operate()
2010 assert(next == 0 || next > last); in operate()
2017 assert(next == first); in operate()
2019 assert(sparsebit_is_set(s, first) || next <= last); in operate()
2024 assert(sparsebit_is_set_num(s, first, num)); in operate()
2025 assert(!sparsebit_is_clear_num(s, first, num)); in operate()
2026 assert(sparsebit_any_set(s)); in operate()
2027 assert(!sparsebit_all_clear(s)); in operate()
2035 assert(!sparsebit_is_set_num(s, first, num)); in operate()
2036 assert(sparsebit_is_clear_num(s, first, num)); in operate()
2037 assert(sparsebit_any_clear(s)); in operate()
2038 assert(!sparsebit_all_set(s)); in operate()