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()
649 assert(nodep->num_after != 0); in node_reduce()
650 assert(nodep->idx + MASK_BITS > nodep->idx); in node_reduce()
713 assert((num_contiguous > 0) && in node_reduce()
798 assert(idx >= nodep->idx && idx - nodep->idx < MASK_BITS); in sparsebit_is_set()
821 assert(idx >= nodep->idx && idx <= nodep->idx + MASK_BITS - 1); in bit_set()
822 assert(!(nodep->mask & (1 << (idx - nodep->idx)))); in bit_set()
856 assert(idx >= nodep->idx && idx <= nodep->idx + MASK_BITS - 1); in bit_clear()
857 assert(nodep->mask & (1 << (idx - nodep->idx))); in bit_clear()
859 assert(s->num_set > 0 || sparsebit_all_set(s)); in bit_clear()
883 assert(nodep == nodep->parent->right); in dump_nodes()
990 assert(num > 0); in sparsebit_is_set_num()
991 assert(idx + num - 1 >= idx); in sparsebit_is_set_num()
1021 assert(num > 0); in sparsebit_is_clear_num()
1022 assert(idx + num - 1 >= idx); in sparsebit_is_clear_num()
1065 assert(s->root->mask != 0); in sparsebit_any_set()
1066 assert(s->num_set > 0 || in sparsebit_any_set()
1092 assert(sparsebit_any_set(s)); in sparsebit_first_set()
1106 assert(sparsebit_any_clear(s)); in sparsebit_first_clear()
1128 assert(nodep1->mask == ~(mask_t) 0); in sparsebit_first_clear()
1129 assert(nodep1->idx + MASK_BITS + nodep1->num_after != (sparsebit_idx_t) 0); in sparsebit_first_clear()
1196 assert(candidate->mask != 0); in sparsebit_next_set()
1205 assert(candidate->idx > lowest_possible); in sparsebit_next_set()
1309 assert(num >= 1); in sparsebit_next_set_num()
1314 assert(sparsebit_is_set(s, idx)); in sparsebit_next_set_num()
1344 assert(num >= 1); in sparsebit_next_clear_num()
1349 assert(sparsebit_is_clear(s, idx)); in sparsebit_next_clear_num()
1380 assert(num > 0); in sparsebit_set_num()
1381 assert(start + num - 1 >= start); in sparsebit_set_num()
1424 assert(next->idx + MASK_BITS + next->num_after - 1 <= middle_end); in sparsebit_set_num()
1447 assert(n < MASK_BITS); in sparsebit_set_num()
1462 assert(num > 0); in sparsebit_clear_num()
1463 assert(start + num - 1 >= start); in sparsebit_clear_num()
1487 assert(next->idx + MASK_BITS + next->num_after - 1 <= middle_end); in sparsebit_clear_num()
1516 assert(n < MASK_BITS); in sparsebit_clear_num()
1538 assert(sparsebit_all_set(s)); in sparsebit_set_all()
1546 assert(!sparsebit_any_set(s)); in sparsebit_clear_all()
1930 assert(sparsebit_is_set(s, first)); in operate()
1931 assert(!sparsebit_is_clear(s, first)); in operate()
1932 assert(sparsebit_any_set(s)); in operate()
1933 assert(!sparsebit_all_clear(s)); in operate()
1943 assert(!sparsebit_is_set(s, first)); in operate()
1944 assert(sparsebit_is_clear(s, first)); in operate()
1945 assert(sparsebit_any_clear(s)); in operate()
1946 assert(!sparsebit_all_set(s)); in operate()
1955 assert(sparsebit_is_set(s, first) == get_value(first)); in operate()
1956 assert(sparsebit_is_clear(s, first) == !get_value(first)); in operate()
1960 assert(get_value(sparsebit_first_set(s))); in operate()
1962 assert(!get_value(sparsebit_first_clear(s))); in operate()
1964 assert(!sparsebit_any_clear(s)); in operate()
1965 assert(sparsebit_all_set(s)); in operate()
1972 assert(get_value(sparsebit_first_set(s))); in operate()
1974 assert(!get_value(sparsebit_first_clear(s))); in operate()
1976 assert(!sparsebit_any_set(s)); in operate()
1977 assert(sparsebit_all_clear(s)); in operate()
1982 assert(next == 0 || next > first); in operate()
1983 assert(next == 0 || get_value(next)); in operate()
1987 assert(next == 0 || next > first); in operate()
1988 assert(next == 0 || !get_value(next)); in operate()
1993 assert(next == 0 || next > last); in operate()
2000 assert(next == first); in operate()
2002 assert(sparsebit_is_clear(s, first) || next <= last); in operate()
2008 assert(next == 0 || next > last); in operate()
2015 assert(next == first); in operate()
2017 assert(sparsebit_is_set(s, first) || next <= last); in operate()
2022 assert(sparsebit_is_set_num(s, first, num)); in operate()
2023 assert(!sparsebit_is_clear_num(s, first, num)); in operate()
2024 assert(sparsebit_any_set(s)); in operate()
2025 assert(!sparsebit_all_clear(s)); in operate()
2033 assert(!sparsebit_is_set_num(s, first, num)); in operate()
2034 assert(sparsebit_is_clear_num(s, first, num)); in operate()
2035 assert(sparsebit_any_clear(s)); in operate()
2036 assert(!sparsebit_all_set(s)); in operate()