1366 	isl_assert(space->ctx, space->n_in == 0, goto error);  in isl_basic_set_alloc_space()
1639 	isl_assert(ctx, room_for_con(bmap, 1), return -1);  in isl_basic_map_alloc_equality()
1640 	isl_assert(ctx, (bmap->eq - bmap->ineq) + bmap->n_eq <= bmap->c_size,  in isl_basic_map_alloc_equality()
1700 	isl_assert(bmap->ctx, pos < bmap->n_eq, return -1);  in isl_basic_map_drop_equality()
1750 	isl_assert(ctx, room_for_ineq(bmap, 1), return -1);  in isl_basic_map_alloc_inequality()
1790 	isl_assert(bmap->ctx, pos < bmap->n_ineq, return -1);  in isl_basic_map_drop_inequality()
1875 	isl_assert(bmap->ctx, bmap->n_div < bmap->extra, return -1);  in isl_basic_map_alloc_div()
1941 	isl_assert(bmap->ctx, n <= bmap->n_div, return isl_stat_error);  in isl_basic_map_free_div()
3458 	isl_assert(map->ctx, n >= 0, goto error);  in isl_map_grow()
3917 		isl_assert(map1->ctx,  in map_intersect_internal()
4186 	isl_assert(bset->ctx, type != isl_dim_in, goto error);  in isl_basic_set_add_dims()
4258 	isl_assert(set->ctx, type != isl_dim_in, goto error);  in isl_set_add_dims()
4291 	isl_assert(bmap->ctx, dst_type != src_type, goto error);  in isl_basic_map_move_dims()
4376 	isl_assert(set->ctx, dst_type != isl_dim_in, goto error);  in isl_set_move_dims()
4403 	isl_assert(map->ctx, dst_type != src_type, goto error);  in isl_map_move_dims()
5750 	isl_assert(ctx, dim == bmap_total, goto error);  in isl_basic_map_overlying_set()
5818 		isl_assert(map->ctx, map->p[0]->n_div == map->p[i]->n_div,  in isl_map_underlying_set()
6457 	isl_assert(map->ctx, map->n < map->size, goto error);  in isl_map_add_basic_map()
7608 	isl_assert(bset->ctx, mat->n_row == 1 + nparam, goto error);  in basic_set_parameter_preimage()
9722 	isl_assert(dst->ctx, div <= n_div, return -1);  in find_div()