Lines Matching refs:isl_assert
2184 isl_assert(s->ctx, type == 0 || type == 1, goto error); in basic_map_read_polylib_constraint()
2262 isl_assert(s->ctx, !on_new_line, return NULL); in basic_map_read_polylib()
2263 isl_assert(s->ctx, n_row >= 0, return NULL); in basic_map_read_polylib()
2264 isl_assert(s->ctx, n_col >= 2 + nparam, return NULL); in basic_map_read_polylib()
2371 isl_assert(s->ctx, n >= 1, return NULL); in map_read_polylib()
2733 isl_assert(ctx, 0, goto error); in to_union()
3022 isl_assert(s->ctx, obj.type == isl_obj_map || in isl_stream_read_map()
3044 isl_assert(s->ctx, obj.type == isl_obj_set, goto error); in isl_stream_read_set()
3090 isl_assert(ctx, obj.type == isl_obj_union_set, goto error); in extract_union_set()
3358 isl_assert(s->ctx, obj.type == isl_obj_pw_qpolynomial, in isl_stream_read_pw_qpolynomial()
4472 isl_assert(s->ctx, obj.type == isl_obj_union_pw_qpolynomial, in isl_stream_read_union_pw_qpolynomial()