Lines Matching refs:assert
366 assert(idx > parentp->idx + MASK_BITS + parentp->num_after - 1); in node_add()
385 assert(prev->num_after > 0); in node_add()
386 assert(n1 < MASK_BITS); in node_add()
387 assert(!(nodep->mask & (1 << n1))); in node_add()
415 assert(s->num_set >= num_set || sparsebit_all_set(s)); in node_rm()
441 assert(nodep == nodep->parent->right); in node_rm()
463 assert(nodep == nodep->parent->right); in node_rm()
481 assert(nodep == nodep->parent->right); in node_rm()
504 assert(!(idx % MASK_BITS)); in node_split()
648 assert(nodep->num_after != 0); in node_reduce()
649 assert(nodep->idx + MASK_BITS > nodep->idx); in node_reduce()
712 assert((num_contiguous > 0) && in node_reduce()
797 assert(idx >= nodep->idx && idx - nodep->idx < MASK_BITS); in sparsebit_is_set()
820 assert(idx >= nodep->idx && idx <= nodep->idx + MASK_BITS - 1); in bit_set()
821 assert(!(nodep->mask & (1 << (idx - nodep->idx)))); in bit_set()
855 assert(idx >= nodep->idx && idx <= nodep->idx + MASK_BITS - 1); in bit_clear()
856 assert(nodep->mask & (1 << (idx - nodep->idx))); in bit_clear()
858 assert(s->num_set > 0 || sparsebit_all_set(s)); in bit_clear()
882 assert(nodep == nodep->parent->right); in dump_nodes()
989 assert(num > 0); in sparsebit_is_set_num()
990 assert(idx + num - 1 >= idx); in sparsebit_is_set_num()
1020 assert(num > 0); in sparsebit_is_clear_num()
1021 assert(idx + num - 1 >= idx); in sparsebit_is_clear_num()
1064 assert(s->root->mask != 0); in sparsebit_any_set()
1065 assert(s->num_set > 0 || in sparsebit_any_set()
1091 assert(sparsebit_any_set(s)); in sparsebit_first_set()
1105 assert(sparsebit_any_clear(s)); in sparsebit_first_clear()
1127 assert(nodep1->mask == ~(mask_t) 0); in sparsebit_first_clear()
1128 assert(nodep1->idx + MASK_BITS + nodep1->num_after != (sparsebit_idx_t) 0); in sparsebit_first_clear()
1195 assert(candidate->mask != 0); in sparsebit_next_set()
1204 assert(candidate->idx > lowest_possible); in sparsebit_next_set()
1308 assert(num >= 1); in sparsebit_next_set_num()
1313 assert(sparsebit_is_set(s, idx)); in sparsebit_next_set_num()
1343 assert(num >= 1); in sparsebit_next_clear_num()
1348 assert(sparsebit_is_clear(s, idx)); in sparsebit_next_clear_num()
1379 assert(num > 0); in sparsebit_set_num()
1380 assert(start + num - 1 >= start); in sparsebit_set_num()
1423 assert(next->idx + MASK_BITS + next->num_after - 1 <= middle_end); in sparsebit_set_num()
1446 assert(n < MASK_BITS); in sparsebit_set_num()
1461 assert(num > 0); in sparsebit_clear_num()
1462 assert(start + num - 1 >= start); in sparsebit_clear_num()
1486 assert(next->idx + MASK_BITS + next->num_after - 1 <= middle_end); in sparsebit_clear_num()
1515 assert(n < MASK_BITS); in sparsebit_clear_num()
1537 assert(sparsebit_all_set(s)); in sparsebit_set_all()
1545 assert(!sparsebit_any_set(s)); in sparsebit_clear_all()
1929 assert(sparsebit_is_set(s, first)); in operate()
1930 assert(!sparsebit_is_clear(s, first)); in operate()
1931 assert(sparsebit_any_set(s)); in operate()
1932 assert(!sparsebit_all_clear(s)); in operate()
1942 assert(!sparsebit_is_set(s, first)); in operate()
1943 assert(sparsebit_is_clear(s, first)); in operate()
1944 assert(sparsebit_any_clear(s)); in operate()
1945 assert(!sparsebit_all_set(s)); in operate()
1954 assert(sparsebit_is_set(s, first) == get_value(first)); in operate()
1955 assert(sparsebit_is_clear(s, first) == !get_value(first)); in operate()
1959 assert(get_value(sparsebit_first_set(s))); in operate()
1961 assert(!get_value(sparsebit_first_clear(s))); in operate()
1963 assert(!sparsebit_any_clear(s)); in operate()
1964 assert(sparsebit_all_set(s)); in operate()
1971 assert(get_value(sparsebit_first_set(s))); in operate()
1973 assert(!get_value(sparsebit_first_clear(s))); in operate()
1975 assert(!sparsebit_any_set(s)); in operate()
1976 assert(sparsebit_all_clear(s)); in operate()
1981 assert(next == 0 || next > first); in operate()
1982 assert(next == 0 || get_value(next)); in operate()
1986 assert(next == 0 || next > first); in operate()
1987 assert(next == 0 || !get_value(next)); in operate()
1992 assert(next == 0 || next > last); in operate()
1999 assert(next == first); in operate()
2001 assert(sparsebit_is_clear(s, first) || next <= last); in operate()
2007 assert(next == 0 || next > last); in operate()
2014 assert(next == first); in operate()
2016 assert(sparsebit_is_set(s, first) || next <= last); in operate()
2021 assert(sparsebit_is_set_num(s, first, num)); in operate()
2022 assert(!sparsebit_is_clear_num(s, first, num)); in operate()
2023 assert(sparsebit_any_set(s)); in operate()
2024 assert(!sparsebit_all_clear(s)); in operate()
2032 assert(!sparsebit_is_set_num(s, first, num)); in operate()
2033 assert(sparsebit_is_clear_num(s, first, num)); in operate()
2034 assert(sparsebit_any_clear(s)); in operate()
2035 assert(!sparsebit_all_set(s)); in operate()