Lines Matching refs:isl_assert

2328 	isl_assert(s->ctx, type == 0 || type == 1, goto error);  in basic_map_read_polylib_constraint()
2397 	isl_assert(s->ctx, !on_new_line, return NULL);  in basic_map_read_polylib()
2398 	isl_assert(s->ctx, n_row >= 0, return NULL);  in basic_map_read_polylib()
2399 	isl_assert(s->ctx, n_col >= 2 + nparam, return NULL);  in basic_map_read_polylib()
2506 	isl_assert(s->ctx, n >= 1, return NULL);  in map_read_polylib()
2861 		isl_assert(ctx, 0, goto error);  in to_union()
3150 		isl_assert(s->ctx, obj.type == isl_obj_map ||  in isl_stream_read_map()
3172 		isl_assert(s->ctx, obj.type == isl_obj_set, goto error);  in isl_stream_read_set()
3218 		isl_assert(ctx, obj.type == isl_obj_union_set, goto error);  in extract_union_set()
3440 		isl_assert(s->ctx, obj.type == isl_obj_pw_qpolynomial,  in isl_stream_read_pw_qpolynomial()
4278 		isl_assert(s->ctx, obj.type == isl_obj_union_pw_qpolynomial,  in isl_stream_read_union_pw_qpolynomial()