64 	isl_assert(poly->ctx, poly->var < 0, return NULL);  in isl_poly_as_cst()
74 	isl_assert(poly->ctx, poly->var >= 0, return NULL);  in isl_poly_as_rec()
396 	isl_assert(ctx, var >= 0, return NULL);  in isl_poly_alloc_rec()
397 	isl_assert(ctx, size >= 0, return NULL);  in isl_poly_alloc_rec()
1592 	isl_assert(poly->ctx, rec->n >= 1, goto error);  in reorder()
1617 	isl_assert(div1->ctx, div1->n_row >= div2->n_row &&  in compatible_divs()
1809 	isl_assert(qp1->div->ctx, qp1->div->n_row >= qp2->div->n_row &&  in with_merged_divs()
2210 	isl_assert(poly->ctx, rec->n > 1, return isl_bool_error);  in isl_poly_is_affine()
2271 	isl_assert(poly->ctx, rec->n == 2, return -1);  in isl_poly_update_affine()
2458 	isl_assert(poly->ctx, rec->n >= 1, goto error);  in isl_poly_subs()
2488 	isl_assert(ctx, len >= 1, return NULL);  in isl_poly_from_affine()
2879 	isl_assert(qp->dim->ctx, type == isl_dim_param ||  in isl_qpolynomial_involves_dims()
3067 	isl_assert(qp->dim->ctx, type == isl_dim_param ||  in isl_qpolynomial_drop_dims()
3317 	isl_assert(pwqp1->dim->ctx, isl_space_is_equal(pwqp1->dim, pwqp2->dim),  in isl_pw_qpolynomial_mul()
3395 	isl_assert(poly->ctx, rec->n >= 1, goto error);  in isl_poly_eval()
3442 	isl_assert(pnt->dim->ctx, isl_space_is_equal(pnt->dim, qp->dim), goto error);  in isl_qpolynomial_eval()
3808 	isl_assert(qp->dim->ctx, qp->div->n_row == 0, goto error);  in isl_qpolynomial_substitute()
3810 		isl_assert(qp->dim->ctx, subs[i]->div->n_row == 0, goto error);  in isl_qpolynomial_substitute()