Lines Matching refs:isl_assert
85 isl_assert(bset->ctx, bset->n_eq == 1, goto error); in interval_sample()
86 isl_assert(bset->ctx, bset->n_ineq == 0, goto error); in interval_sample()
90 isl_assert(bset->ctx, isl_int_is_negone(bset->eq[0][1]), in interval_sample()
163 isl_assert(tab->mat->ctx, bset, return NULL); in tab_equalities()
186 isl_assert(bset->ctx, j == n_eq, goto error); in tab_equalities()
404 isl_assert(tab->mat->ctx, tab->basis->n_row == tab->n_var + 1, in isl_tab_sample()
406 isl_assert(tab->mat->ctx, tab->basis->n_col == tab->n_var + 1, in isl_tab_sample()
798 isl_assert(cone->ctx, cone->n_eq == 0, goto error); in shift_cone()
851 isl_assert(vec->ctx, vec->size != 0, goto error); in round_up_in_cone()
887 isl_assert(vec1->ctx, vec1->size > 0, goto error); in vec_concat()
888 isl_assert(vec2->ctx, vec2->size > 0, goto error); in vec_concat()
889 isl_assert(vec1->ctx, isl_int_is_one(vec1->el[0]), goto error); in vec_concat()
890 isl_assert(vec2->ctx, isl_int_is_one(vec2->el[0]), goto error); in vec_concat()
1220 isl_assert(ctx, vec->size != 0, goto error); in isl_basic_set_from_vec()