reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

  139 void isl_handle_error(isl_ctx *ctx, enum isl_error error, const char *msg,

References

  210 		isl_die(lp->ctx, isl_error_internal,

  326 		isl_die(bset->ctx, isl_error_invalid,
  329 		isl_die(bset->ctx, isl_error_invalid,

   43 		isl_die(ctx, isl_error_invalid, "unknown key",

  237 		isl_die(hmap->ctx, isl_error_internal,

   92 		isl_die(ctx, isl_error_invalid, "local space has unknown divs",
   95 		isl_die(ctx, isl_error_invalid,
  164 		isl_die(isl_val_get_ctx(val), isl_error_invalid,
  200 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
  203 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
  246 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
  634 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
  686 		isl_die(ctx, isl_error_invalid,
  693 		isl_die(ctx, isl_error_invalid,
  716 		isl_die(ctx, isl_error_invalid,
  723 		isl_die(ctx, isl_error_invalid,
  769 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
  849 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
  977 		isl_die(aff->v->ctx, isl_error_invalid,
  984 		isl_die(aff->v->ctx, isl_error_invalid,
 1015 		isl_die(aff->v->ctx, isl_error_invalid,
 1022 		isl_die(aff->v->ctx, isl_error_invalid,
 1056 		isl_die(aff->v->ctx, isl_error_invalid,
 1063 		isl_die(aff->v->ctx, isl_error_invalid,
 1071 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
 1122 		isl_die(aff->v->ctx, isl_error_invalid,
 1129 		isl_die(aff->v->ctx, isl_error_invalid,
 1165 		isl_die(aff->v->ctx, isl_error_invalid,
 1172 		isl_die(aff->v->ctx, isl_error_invalid,
 1180 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
 1584 		isl_die(isl_val_get_ctx(m), isl_error_invalid,
 1629 		isl_die(isl_pw_aff_get_ctx(pa), isl_error_invalid,
 1759 		isl_die(ctx, isl_error_invalid,
 1854 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
 1889 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
 1921 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
 1924 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
 1960 		isl_die(aff->v->ctx, isl_error_invalid,
 1979 		isl_die(aff->v->ctx, isl_error_invalid,
 2005 		isl_die(aff->v->ctx, isl_error_invalid,
 2149 		isl_die(isl_aff_get_ctx(aff), isl_error_unsupported,
 2409 		isl_die(ctx, isl_error_invalid,
 2439 		isl_die(aff->v->ctx, isl_error_invalid,
 2449 		isl_die(ctx, isl_error_invalid, "range out of bounds",
 2480 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
 2512 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
 2558 		isl_die(aff->v->ctx, isl_error_invalid,
 2568 		isl_die(ctx, isl_error_invalid, "position out of bounds",
 2627 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
 2631 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
 2639 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
 2642 		isl_die(isl_aff_get_ctx(aff), isl_error_unsupported,
 3082 		isl_die(ctx, isl_error_invalid,
 3177 		isl_die(isl_pw_aff_get_ctx(pwaff), isl_error_invalid,
 3371 		isl_die(isl_aff_get_ctx(aff1), isl_error_invalid,
 3416 		isl_die(isl_aff_get_ctx(aff2), isl_error_invalid,
 3491 		isl_die(isl_pw_aff_get_ctx(pa2), isl_error_invalid,
 3521 		isl_die(isl_pw_aff_get_ctx(pa2), isl_error_invalid,
 3556 		isl_die(isl_pw_aff_get_ctx(pa2), isl_error_invalid,
 3683 		isl_die(ctx, isl_error_invalid,
 3796 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
 3803 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
 3848 		isl_die(ctx, isl_error_invalid,
 3851 		isl_die(ctx, isl_error_invalid,
 3856 		isl_die(ctx, isl_error_invalid,
 3920 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 3960 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 4012 		isl_die(isl_space_get_ctx(space), isl_error_unsupported,
 4015 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 4020 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 4573 		isl_die(isl_basic_map_get_ctx(bmap), isl_error_invalid,
 4669 		isl_die(isl_map_get_ctx(map), isl_error_invalid,
 5285 		isl_die(ctx, isl_error_invalid,
 5288 		isl_die(ctx, isl_error_unsupported,
 5650 		isl_die(ctx, isl_error_invalid,
 5798 		isl_die(isl_pw_multi_aff_get_ctx(pma), isl_error_invalid,
 6034 		isl_die(isl_pw_multi_aff_get_ctx(pma), isl_error_invalid,
 6037 		isl_die(isl_pw_multi_aff_get_ctx(pma), isl_error_invalid,
 6141 		isl_die(isl_pw_aff_get_ctx(pa), isl_error_invalid,
 6148 		isl_die(isl_pw_aff_get_ctx(pa), isl_error_invalid,
 6201 		isl_die(isl_pw_multi_aff_get_ctx(pma), isl_error_invalid,
 6971 		isl_die(isl_multi_pw_aff_get_ctx(mpa1), isl_error_invalid,
 7375 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 7383 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 7497 		isl_die(isl_val_get_ctx(m), isl_error_invalid,
 7500 		isl_die(isl_val_get_ctx(m), isl_error_invalid,
 7564 		isl_die(isl_union_pw_multi_aff_get_ctx(upma), isl_error_invalid,
 7679 		isl_die(isl_pw_aff_get_ctx(pa), isl_error_invalid,
 7973 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 7976 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 7979 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 8040 		isl_die(isl_multi_union_pw_aff_get_ctx(mupa1),
 8141 		isl_die(isl_space_get_ctx(*space), isl_error_invalid,
 8167 		isl_die(isl_union_pw_multi_aff_get_ctx(upma), isl_error_invalid,
 8431 		isl_die(isl_union_set_get_ctx(dom), isl_error_invalid,
 8635 		isl_die(isl_multi_union_pw_aff_get_ctx(mupa), isl_error_invalid,
 8796 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
 8799 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
 8853 		isl_die(isl_multi_aff_get_ctx(ma), isl_error_invalid,
 8926 		isl_die(isl_pw_aff_get_ctx(pa), isl_error_invalid,
 9003 		isl_die(isl_pw_multi_aff_get_ctx(pma), isl_error_invalid,
 9203 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,

   37 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
   53 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
   79 		isl_die(isl_aff_get_ctx(aff), isl_error_invalid,
  142 		isl_die(isl_multi_aff_get_ctx(maff), isl_error_internal,
  387 		isl_die(isl_multi_pw_aff_get_ctx(mpa), isl_error_internal,

  225 	isl_assert(bset1->ctx, row == bset1->n_eq, goto error);
  308 	isl_assert(bset->ctx, bset->n_div == 0, goto error);
  565 	isl_assert(ctx, vec->size != 0, goto error);
  617 	isl_assert(tab->mat->ctx, tab->bmap, goto error);
  618 	isl_assert(tab->mat->ctx, tab->samples, goto error);
  619 	isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error);
  620 	isl_assert(tab->mat->ctx, tab->n_sample > tab->n_outside, goto error);

  255 		isl_die(isl_ast_expr_get_ctx(expr), isl_error_invalid,
  265 		isl_die(isl_ast_expr_get_ctx(expr), isl_error_invalid,
  276 		isl_die(isl_ast_expr_get_ctx(expr), isl_error_invalid,
  286 		isl_die(isl_ast_expr_get_ctx(expr), isl_error_invalid,
  297 		isl_die(isl_ast_expr_get_ctx(expr), isl_error_invalid,
  300 		isl_die(isl_ast_expr_get_ctx(expr), isl_error_invalid,
  315 		isl_die(isl_ast_expr_get_ctx(expr), isl_error_invalid,
  318 		isl_die(isl_ast_expr_get_ctx(expr), isl_error_invalid,
  366 	isl_die(isl_ast_expr_get_ctx(expr1), isl_error_internal,
  454 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
  515 		isl_die(isl_ast_expr_get_ctx(expr), isl_error_invalid,
 1080 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1099 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1121 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1132 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1143 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1161 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1182 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1198 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1217 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1228 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1239 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1250 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1261 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1272 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1285 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1299 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 1693 		isl_die(isl_printer_get_ctx(p), isl_error_invalid,
 1844 			isl_die(isl_printer_get_ctx(p), isl_error_internal,
 2007 		isl_die(isl_printer_get_ctx(p), isl_error_unsupported,
 2401 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 2420 		isl_die(isl_ast_node_get_ctx(node), isl_error_invalid,
 2468 		isl_die(isl_printer_get_ctx(p), isl_error_unsupported,
 2647 		isl_die(isl_printer_get_ctx(p), isl_error_invalid,

  370 		isl_die(isl_ast_build_get_ctx(build), isl_error_internal,
 1059 		isl_die(ctx, isl_error_internal, "missing AST node",
 2232 		isl_die(ctx, isl_error_internal,
 2301 		isl_die(isl_ast_build_get_ctx(build), isl_error_internal,
 2321 		isl_die(isl_ast_build_get_ctx(build), isl_error_internal,

  252 		isl_die(ctx, isl_error_internal, "unnamed dimension",
 1655 		isl_die(ctx, isl_error_invalid,
 1867 		isl_die(isl_ast_build_get_ctx(data->build), isl_error_invalid,
 1925 		isl_die(isl_ast_build_get_ctx(data->build), isl_error_invalid,
 2297 		isl_die(isl_ast_build_get_ctx(build), isl_error_invalid,
 2392 		isl_die(isl_ast_build_get_ctx(build), isl_error_invalid,

  811 		isl_die(isl_constraint_list_get_ctx(list), isl_error_internal,
 2014 			isl_die(isl_basic_set_list_get_ctx(scc),
 2561 		isl_die(isl_set_get_ctx(domain), isl_error_invalid,
 4550 		isl_die(isl_schedule_node_get_ctx(node), isl_error_internal,
 4730 			isl_die(ctx, isl_error_internal, "cannot happen",
 4958 		isl_die(isl_set_get_ctx(set), isl_error_invalid,
 5136 		isl_die(isl_ast_build_get_ctx(build), isl_error_invalid,
 5298 		isl_die(isl_ast_build_get_ctx(build), isl_error_invalid,
 5386 		isl_die(isl_ast_build_get_ctx(build), isl_error_invalid,
 5447 		isl_die(isl_ast_build_get_ctx(build), isl_error_invalid,
 5638 		isl_die(isl_schedule_node_get_ctx(node), isl_error_unsupported,
 5655 	isl_die(isl_ast_build_get_ctx(build), isl_error_internal,
 5720 		isl_die(ctx, isl_error_unsupported,
 5775 		isl_die(ctx, isl_error_unsupported,

 1261 			isl_die(isl_ast_build_get_ctx(build),

   74 	isl_assert(vertex->ctx, !isl_int_is_zero(denom), goto error);
  157 	isl_assert(ctx, n >= 2, return);

  735 		isl_die(isl_basic_map_get_ctx(info[i].bmap), isl_error_internal,
 2857 		isl_die(isl_basic_map_get_ctx(bmap), isl_error_internal,
 3760 				isl_die(ctx, isl_error_internal,

  226 	isl_assert(bmap->ctx, ISL_F_ISSET(bmap, ISL_BASIC_MAP_FINAL),
  291 		isl_die(ctx, isl_error_invalid,
  341 	isl_assert(ctx, equal_space, goto error);
  411 		isl_die(ctx, isl_error_invalid,
  444 		isl_die(isl_constraint_get_ctx(constraint), isl_error_invalid,
  461 		isl_die(isl_constraint_get_ctx(constraint), isl_error_invalid,
  504 		isl_die(constraint->v->ctx, isl_error_invalid,
  524 		isl_die(ctx, isl_error_invalid,
  564 		isl_die(isl_constraint_get_ctx(constraint), isl_error_invalid,
  599 		isl_die(constraint->v->ctx, isl_error_invalid,
  628 		isl_die(isl_constraint_get_ctx(constraint), isl_error_invalid,
  632 		isl_die(isl_constraint_get_ctx(constraint), isl_error_invalid,
  654 		isl_die(constraint->v->ctx, isl_error_invalid,
  682 		isl_die(ctx, isl_error_invalid, "cannot negate equality",
  797 		isl_die(isl_constraint_get_ctx(constraint), isl_error_invalid,
  823 		isl_die(isl_basic_map_get_ctx(bmap), isl_error_invalid,
  867 		isl_die(isl_basic_set_get_ctx(bset), isl_error_invalid,
 1196 	isl_assert(bset->ctx, pos < isl_basic_set_dim(bset, type),
 1198 	isl_assert(bset->ctx, type == isl_dim_param || type == isl_dim_set,
 1264 		isl_die(ctx, isl_error_invalid,
 1267 		isl_die(ctx, isl_error_invalid,
 1272 		isl_die(ctx, isl_error_invalid,

  172 	isl_assert(bset->ctx, isl_basic_set_n_param(bset) == 0, goto error);
  173 	isl_assert(bset->ctx, bset->n_div == 0, goto error);
  389 	isl_assert(ctx, res == isl_lp_ok || res == isl_lp_unbounded, 
  421 	isl_assert(set->ctx, set->n > 0, goto error);
  431 	isl_assert(set->ctx, is_bound, goto error);
  450 		isl_assert(set->ctx, i < face->n_eq, goto error);
  528 		isl_die(ctx, isl_error_internal, "unexpected equality",
  570 	isl_assert(set->ctx, set->n > 0, goto error);
  638 	isl_assert(set->ctx, set->n > 0, goto error);
  644 		isl_assert(set->ctx, set->p[0]->n_eq == 1, goto error);
 1450 			isl_die(isl_basic_set_list_get_ctx(list),
 1505 	isl_assert(set->ctx, 1 + dim == bounds->n_col, goto error);
 1642 		isl_assert(hull->ctx, !entry->data, goto error);

   33 	isl_die(ctx, isl_error_alloc, "allocation failure", return NULL);
   52 		isl_die(ctx, isl_error_quota,
  249 	isl_assert(ctx, ctx->ref > 0, return);
  265 		isl_die(ctx, isl_error_invalid,

  200 	isl_assert(T->ctx, isl_int_is_one(T->row[0][0]), goto error);
  318 	isl_assert(B->ctx, B->n_row == d->size, goto error);
  546 		isl_die(ctx, isl_error_invalid, "too many equality constraints",
  675 	isl_assert(bset->ctx, isl_basic_set_n_param(bset) == 0, goto error);
  676 	isl_assert(bset->ctx, bset->n_div == 0, goto error);
  678 	isl_assert(bset->ctx, bset->n_eq <= dim, goto error);
  714 	isl_assert(bset->ctx, isl_basic_set_n_param(bset) == 0, goto error);

  195 			isl_assert(H->ctx, g->cnt[g->group[k]] != 0, return -1);
  196 			isl_assert(H->ctx, g->cnt[g->group[i]] != 0, return -1);
  268 	isl_assert(bset->ctx, isl_basic_set_dim(bset, isl_dim_div) == 0,
  309 				isl_die(bset->ctx, isl_error_internal,

  306 		isl_die(bset->ctx, isl_error_invalid,
  331 		isl_die(bset->ctx, isl_error_invalid,

  224 	isl_assert(ctx, max_source >= 0, goto error);
  292 	isl_assert(ctx, acc->n_must + acc->n_may < acc->max_source, goto error);

   39 	isl_die(NULL, isl_error_internal, "unhandled isl_fold type", abort());
   50 	isl_assert(dim->ctx, n >= 0, goto error);
  443 	isl_assert(fold1->dim->ctx, fold1->type == fold2->type, goto error);
  444 	isl_assert(fold1->dim->ctx, isl_space_is_equal(fold1->dim, fold2->dim),
  822 	isl_assert(fold1->dim->ctx, fold1->type == fold2->type, goto error);
  823 	isl_assert(fold1->dim->ctx, isl_space_is_equal(fold1->dim, fold2->dim),
  877 	isl_assert(pw1->dim->ctx, isl_space_is_equal(pw1->dim, pw2->dim), goto error);
  890 		isl_die(pw1->dim->ctx, isl_error_invalid,
 1096 	isl_assert(pnt->dim->ctx, isl_space_is_equal(pnt->dim, fold->dim), goto error);
 1097 	isl_assert(pnt->dim->ctx,
 1277 	isl_assert(ctx, isl_space_is_equal(fold->dim, morph->dom->dim), goto error);
 1539 		isl_die(ctx, isl_error_invalid, "incompatible dimensions",
 1748 		isl_die(isl_qpolynomial_fold_get_ctx(fold), isl_error_invalid,
 1785 		isl_die(isl_qpolynomial_fold_get_ctx(fold), isl_error_invalid,
 1788 		isl_die(isl_val_get_ctx(v), isl_error_invalid,

  219 	isl_assert(ctx, h >= 0 && h < size, return);

  212 		isl_die(id->ctx, isl_error_unknown,

  316 	isl_assert(bset->ctx, isl_basic_set_n_param(bset) == 0,
  387 		isl_die(ctx, isl_error_invalid,
  390 		isl_die(ctx, isl_error_unsupported,
  886 		isl_die(isl_basic_set_get_ctx(bset), isl_error_invalid,

 1368 			isl_die(ctx, isl_error_invalid,
 1376 				isl_die(ctx, isl_error_invalid,
 1497 		isl_die(isl_set_get_ctx(set), isl_error_internal,
 1914 	isl_assert(s->ctx, type == 0 || type == 1, goto error);
 1986 	isl_assert(s->ctx, !on_new_line, return NULL);
 1987 	isl_assert(s->ctx, n_row >= 0, return NULL);
 1988 	isl_assert(s->ctx, n_col >= 2 + nparam, return NULL);
 2095 	isl_assert(s->ctx, n >= 1, return NULL);
 2453 		isl_assert(ctx, 0, goto error);
 2492 		isl_die(s->ctx, isl_error_internal,
 2742 		isl_assert(s->ctx, obj.type == isl_obj_map ||
 2764 		isl_assert(s->ctx, obj.type == isl_obj_set, goto error);
 2790 		isl_die(s->ctx, isl_error_invalid, "invalid input", goto error);
 2810 		isl_assert(ctx, obj.type == isl_obj_union_set, goto error);
 2838 		isl_die(s->ctx, isl_error_invalid, "not a (basic) set or map",
 2845 		isl_die(s->ctx, isl_error_invalid,
 2869 		isl_die(s->ctx, isl_error_invalid,
 3079 		isl_assert(s->ctx, obj.type == isl_obj_pw_qpolynomial,
 3187 		isl_die(s->ctx, isl_error_invalid,
 3339 			isl_die(ctx, isl_error_invalid,
 3484 	isl_die(s->ctx, isl_error_invalid, "unexpected object type",
 3512 		isl_die(isl_pw_aff_get_ctx(pa), isl_error_invalid,
 3516 		isl_die(isl_pw_aff_get_ctx(pa), isl_error_invalid,
 3570 		isl_die(s->ctx, isl_error_invalid,
 3636 		isl_die(s->ctx, isl_error_invalid,
 3653 			isl_die(s->ctx, isl_error_invalid,
 3687 			isl_die(s->ctx, isl_error_invalid,
 4203 		isl_assert(s->ctx, obj.type == isl_obj_union_pw_qpolynomial,

   41 		isl_die(ctx, isl_error_invalid,
  142 		isl_die(FN(LIST(EL),get_ctx)(list), isl_error_invalid,
  172 		isl_die(list->ctx, isl_error_invalid,
  205 		isl_die(ctx, isl_error_invalid,
  545 			isl_die(ctx, isl_error_internal, "cannot happen",

   68 	isl_die(isl_local_get_ctx(local), isl_error_unsupported,
   79 		isl_die(isl_local_get_ctx(local), isl_error_invalid,
  265 		isl_die(isl_local_get_ctx(local), isl_error_invalid,
  268 		isl_die(isl_local_get_ctx(local), isl_error_invalid,
  271 		isl_die(isl_local_get_ctx(local), isl_error_invalid,

  189 		isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
  370 		isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
  377 		isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
  380 		isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
  578 		isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
  782 		isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
  809 		isl_die(ctx, isl_error_invalid,
  981 		isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
 1047 		isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
 1089 		isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
 1092 		isl_die(isl_local_space_get_ctx(ls), isl_error_unsupported,
 1121 		isl_die(ctx, isl_error_invalid, "range out of bounds",
 1157 		isl_die(ctx, isl_error_invalid, "position out of bounds",
 1356 		isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
 1402 		isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
 1474 		isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
 1477 		isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
 1481 		isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
 1484 		isl_die(isl_local_space_get_ctx(ls), isl_error_invalid,
 1489 		isl_die(isl_local_space_get_ctx(ls), isl_error_unsupported,

  269 		isl_die(ctx, isl_error_invalid,

  986 			isl_die(isl_map_get_ctx(map), isl_error_unsupported,
 1181 	isl_assert(dim->ctx, dim->n_in == 0, goto error);
 1372 		isl_die(isl_basic_map_get_ctx(bmap1), isl_error_invalid,
 1429 	isl_assert(ctx, room_for_con(bmap, 1), return -1);
 1430 	isl_assert(ctx, (bmap->eq - bmap->ineq) + bmap->n_eq <= bmap->c_size,
 1465 	isl_assert(bmap->ctx, n <= bmap->n_eq, return -1);
 1480 	isl_assert(bmap->ctx, pos < bmap->n_eq, return -1);
 1527 	isl_assert(ctx, room_for_ineq(bmap, 1), return -1);
 1547 	isl_assert(bmap->ctx, n <= bmap->n_ineq, return -1);
 1562 	isl_assert(bmap->ctx, pos < bmap->n_ineq, return -1);
 1631 	isl_assert(bmap->ctx, bmap->n_div < bmap->extra, return -1);
 1656 		isl_die(isl_basic_map_get_ctx(bmap), isl_error_invalid,
 1678 		isl_die(isl_basic_map_get_ctx(bmap), isl_error_invalid,
 1701 	isl_assert(bmap->ctx, n <= bmap->n_div, return isl_stat_error);
 1834 	isl_assert(base->ctx, base->dim->nparam <= dim->nparam, goto error);
 1835 	isl_assert(base->ctx, base->dim->n_in <= dim->n_in, goto error);
 1836 	isl_assert(base->ctx, base->dim->n_out <= dim->n_out, goto error);
 1995 	isl_assert(bmap->ctx,
 2225 		isl_die(isl_map_get_ctx(map), isl_error_invalid,
 2250 	isl_assert(bmap->ctx, first + n <= dim, goto error);
 2356 	isl_assert(bmap->ctx, div < bmap->n_div, goto error);
 3348 	isl_assert(bmap->ctx, pos < bmap->n_ineq, return -1);
 3361 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 3378 	isl_assert(map->ctx, n >= 0, goto error);
 3483 		isl_assert(bset->ctx,
 3513 		isl_die(isl_basic_set_get_ctx(bset), isl_error_invalid,
 3610 		isl_assert(bmap1->ctx,
 3676 	isl_assert(map1->ctx, map1->n == 1, goto error);
 3677 	isl_assert(map2->ctx, map1->n == 1, goto error);
 3678 	isl_assert(map1->ctx, map1->p[0]->n_div == 0, goto error);
 3679 	isl_assert(map2->ctx, map1->p[0]->n_div == 0, goto error);
 3762 		isl_assert(map1->ctx,
 3800 		isl_die(isl_map_get_ctx(map1), isl_error_invalid,
 3949 	isl_assert(bset->ctx, type != isl_dim_in, goto error);
 4017 	isl_assert(set->ctx, type != isl_dim_in, goto error);
 4048 	isl_assert(bmap->ctx, dst_type != src_type, goto error);
 4134 	isl_assert(set->ctx, dst_type != isl_dim_in, goto error);
 4160 	isl_assert(map->ctx, dst_type != src_type, goto error);
 4328 		isl_die(isl_basic_map_get_ctx(bmap), isl_error_invalid,
 4449 		isl_die(isl_set_get_ctx(set), isl_error_invalid,
 4453 		isl_die(isl_set_get_ctx(set), isl_error_invalid,
 4495 		isl_die(isl_basic_map_get_ctx(bmap1), isl_error_invalid,
 4540 	isl_assert(bset->ctx, isl_basic_map_compatible_domain(bmap, bset),
 4558 		isl_die(isl_basic_map_get_ctx(bmap1), isl_error_invalid,
 4584 	isl_assert(bmap1->ctx, isl_space_is_equal(bmap1->dim, bmap2->dim),
 4641 	isl_assert(map1->ctx, isl_space_is_equal(map1->dim, map2->dim), goto error);
 4821 		isl_die(isl_val_get_ctx(d), isl_error_invalid,
 5409 	isl_assert(ctx, bset->n_div == 0, goto error);
 5410 	isl_assert(ctx, isl_basic_set_n_param(bset) == 0, goto error);
 5411 	isl_assert(ctx, bset->dim->n_out == isl_basic_map_total_dim(like),
 5480 		isl_assert(map->ctx, map->p[0]->n_div == map->p[i]->n_div,
 5559 	isl_die(isl_map_get_ctx(map), isl_error_invalid,
 5992 		isl_die(space->ctx, isl_error_internal,
 6132 	isl_assert(map->ctx, isl_space_is_equal(map->dim, bmap->dim), goto error);
 6133 	isl_assert(map->ctx, map->n < map->size, goto error);
 6233 		isl_die(isl_basic_map_get_ctx(bmap), isl_error_invalid,
 6353 	isl_assert(map->ctx, pos < isl_map_dim(map, type), goto error);
 6382 	isl_assert(map->ctx, pos < isl_map_dim(map, type), goto error);
 6414 		isl_die(isl_map_get_ctx(map), isl_error_invalid,
 6417 		isl_die(isl_map_get_ctx(map), isl_error_invalid,
 6510 	isl_assert(map->ctx, pos < isl_map_dim(map, type), goto error);
 6594 		isl_die(map->ctx, isl_error_invalid,
 6642 		isl_die(isl_set_get_ctx(set), isl_error_invalid,
 6662 		isl_die(isl_set_get_ctx(set), isl_error_invalid,
 6694 		isl_die(isl_basic_set_get_ctx(bset), isl_error_invalid,
 7089 	isl_assert(bset->ctx, mat->n_row == 1 + nparam, goto error);
 7120 		isl_die(isl_set_get_ctx(set), isl_error_internal,
 7724 		isl_die(isl_map_get_ctx(map1), isl_error_invalid,
 7904 		isl_die(set->ctx, isl_error_invalid,
 7929 		isl_die(set->ctx, isl_error_invalid,
 8078 	isl_assert(bmap->ctx, isl_space_tuple_is_equal(bmap->dim, isl_dim_in,
 8118 	isl_assert(map->ctx, isl_space_tuple_is_equal(map->dim, isl_dim_in,
 8150 		isl_die(bmap->ctx, isl_error_invalid,
 8195 		isl_die(map->ctx, isl_error_invalid,
 8254 		isl_die(dim->ctx, isl_error_invalid,
 8362 	isl_assert(set->ctx, first + n <= isl_set_dim(set, type), goto error);
 8794 	isl_assert(bmap1->ctx, isl_space_is_equal(bmap1->dim, bmap2->dim), goto error);
 8836 			isl_die(isl_basic_map_get_ctx(bmap), isl_error_internal,
 8898 		isl_die(isl_mat_get_ctx(div), isl_error_invalid,
 8959 	isl_assert(dst->ctx, div <= dst->n_div, return -1);
 8992 		isl_die(isl_basic_map_get_ctx(src), isl_error_invalid,
 9124 		isl_die(isl_set_get_ctx(set), isl_error_invalid,
 9443 		isl_die(isl_map_get_ctx(map), isl_error_invalid,
 9864 		isl_die(isl_basic_map_list_get_ctx(list), isl_error_invalid,
 9906 		isl_die(isl_basic_set_list_get_ctx(list), isl_error_invalid,
 9938 		isl_die(isl_set_list_get_ctx(list), isl_error_invalid,
10152 		isl_die(isl_map_get_ctx(map1), isl_error_invalid,
10270 		isl_die(isl_map_get_ctx(map), isl_error_invalid,
10297 		isl_die(isl_map_get_ctx(map), isl_error_invalid,
10323 		isl_die(isl_map_get_ctx(map), isl_error_invalid,
10346 		isl_die(isl_map_get_ctx(map), isl_error_invalid,
10369 		isl_die(isl_map_get_ctx(map), isl_error_invalid,
10392 		isl_die(isl_map_get_ctx(map), isl_error_invalid,
10885 	isl_assert(bset->ctx, first + n <= isl_basic_set_dim(bset, type),
11388 		isl_die(isl_map_get_ctx(map), isl_error_invalid, cannot_change,
11756 		isl_die(ctx, isl_error_invalid,
11799 		isl_die(ctx, isl_error_invalid,
12006 		isl_die(dim->ctx, isl_error_invalid,
12013 		isl_die(dim->ctx, isl_error_invalid,
12124 		isl_die(bmap->ctx, isl_error_invalid,
12155 		isl_die(map->ctx, isl_error_invalid, "map cannot be zipped",
12210 		isl_die(bmap->ctx, isl_error_invalid,
12288 		isl_die(bmap->ctx, isl_error_invalid,
12328 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
12331 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
12395 		isl_die(map->ctx, isl_error_invalid,
12398 		isl_die(map->ctx, isl_error_invalid,
12436 		isl_die(isl_constraint_get_ctx(c), isl_error_invalid,
12439 		isl_die(isl_constraint_get_ctx(c), isl_error_invalid,
12509 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
12512 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
12586 		isl_die(isl_basic_map_get_ctx(bmap), isl_error_invalid,
12645 		isl_die(ctx, isl_error_invalid,
12648 		isl_die(ctx, isl_error_unsupported,
12651 		isl_die(ctx, isl_error_invalid,
12739 		isl_die(isl_basic_map_get_ctx(bmap), isl_error_invalid,
12745 		isl_die(isl_basic_map_get_ctx(bmap), isl_error_invalid,
13101 		isl_die(isl_map_get_ctx(map), isl_error_invalid,
13178 		isl_die(map->ctx, isl_error_invalid,
13465 		isl_die(isl_basic_map_get_ctx(bmap1), isl_error_invalid,
13578 		isl_die(trans->ctx, isl_error_invalid,
13581 		isl_die(trans->ctx, isl_error_invalid,

  186 		isl_die(map->ctx, isl_error_invalid,

 1656 		isl_die(bmap->ctx, isl_error_invalid,
 2690 		isl_die(isl_space_get_ctx(space), isl_error_internal,
 2946 			isl_die(isl_basic_map_get_ctx(bmap), isl_error_internal,
 3125 	isl_assert(map->ctx, isl_space_is_equal(map->dim, context->dim), goto error);
 3291 		isl_die(isl_basic_map_get_ctx(bmap), isl_error_invalid,
 3347 		isl_die(isl_map_get_ctx(map), isl_error_invalid,
 3591 	isl_assert(bmap1->ctx, isl_space_is_equal(bmap1->dim, bmap2->dim),
 4871 		isl_die(isl_mat_get_ctx(T), isl_error_invalid,
 4876 		isl_die(isl_mat_get_ctx(T), isl_error_invalid,

  533 	isl_assert(map1->ctx, isl_space_is_equal(map1->dim, map2->dim), goto error);
  602 		isl_die(isl_set_get_ctx(dom), isl_error_invalid,
  632 		isl_die(isl_set_get_ctx(dom), isl_error_invalid,
  757 	isl_assert(bmap->ctx, bmap->n_eq == dim, return NULL);
  767 		isl_assert(bmap->ctx,
  770 		isl_assert(bmap->ctx,
  774 		isl_assert(bmap->ctx,
  809 		isl_die(isl_map_get_ctx(map1), isl_error_invalid,

  272 		isl_die(isl_mat_get_ctx(mat), isl_error_invalid,
  284 		isl_die(isl_mat_get_ctx(mat), isl_error_invalid,
  297 		isl_die(isl_mat_get_ctx(mat), isl_error_invalid,
  311 		isl_die(isl_mat_get_ctx(mat), isl_error_invalid,
  374 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
  457 	isl_assert(mat->ctx, mat->n_col == vec->size, goto error);
  513 	isl_assert(mat->ctx, mat->n_row == vec->size, goto error);
  542 	isl_assert(left->ctx, left->n_row == right->n_row, goto error);
  543 	isl_assert(left->ctx, left->n_row >= 1, goto error);
  544 	isl_assert(left->ctx, left->n_col >= 1, goto error);
  545 	isl_assert(left->ctx, right->n_col >= 1, goto error);
  546 	isl_assert(left->ctx,
  549 	isl_assert(left->ctx,
 1010 	isl_assert(left->ctx, left->n_row == left->n_col, goto error);
 1011 	isl_assert(left->ctx, left->n_row == right->n_row, goto error);
 1031 			isl_assert(left->ctx, pivot >= 0, goto error);
 1075 		isl_assert(left->ctx, 0, goto error);
 1140 			isl_assert(mat->ctx, pivot >= 0, goto error);
 1272 	isl_assert(left->ctx, left->n_col == right->n_row, goto error);
 1366 	isl_assert(ctx, bset->dim->nparam == 0, goto error);
 1367 	isl_assert(ctx, 1+bset->dim->n_out == mat->n_row, goto error);
 1368 	isl_assert(ctx, mat->n_col > 0, goto error);
 1737 	isl_assert(M->ctx, M->n_row == M->n_col, goto error);
 1744 		isl_assert(M->ctx, isl_int_is_one(H->row[r][r]), goto error);
 1765 	isl_assert(top->ctx, top->n_col == bot->n_col, goto error);
 1839 		isl_die(mat->ctx, isl_error_invalid, "row out of range",

  147 		isl_die(isl_morph_get_ctx(morph), isl_error_invalid,
  368 	isl_assert(bset->ctx, bset->n_div == 0, return NULL);
  432 	isl_assert(bset->ctx, bset->n_div == 0, return NULL);
  524 		isl_die(isl_basic_set_get_ctx(bset), isl_error_invalid,
  528 		isl_die(isl_basic_set_get_ctx(bset), isl_error_invalid,
  623 	isl_assert(bset->ctx, isl_space_is_equal(bset->dim, morph->dom->dim),
  713 	isl_assert(set->ctx, isl_space_is_equal(set->dim, morph->dom->dim), goto error);

   34 		isl_die(FN(MULTI(BASE),get_ctx)(multi), isl_error_invalid,

   74 		isl_die(ctx, isl_error_invalid,

   53 		isl_die(FN(MULTI(BASE),get_ctx)(multi), isl_error_invalid,
  107 		isl_die(FN(MULTI(BASE),get_ctx)(multi), isl_error_invalid,

   34 		isl_die(FN(MULTI(BASE),get_ctx)(multi), isl_error_internal,
  202 		isl_die(FN(MULTI(BASE),get_ctx)(multi), isl_error_internal,

   43 		isl_die(FN(DOM,get_ctx)(domain), isl_error_invalid,

  240 		isl_die(ctx, isl_error_invalid,
  256 		isl_die(FN(MULTI(BASE),get_ctx)(multi), isl_error_invalid,
  527 		isl_die(ctx, isl_error_invalid,
  530 		isl_die(ctx, isl_error_invalid,
  573 		isl_die(ctx, isl_error_invalid,
  610 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
  615 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
  722 		isl_die(FN(MULTI(BASE),get_ctx)(multi), isl_error_invalid,
  777 		isl_die(ctx, isl_error_invalid,
  870 		isl_die(FN(MULTI(BASE),get_ctx)(multi), isl_error_invalid,
  896 		isl_die(FN(MULTI(BASE),get_ctx)(multi), isl_error_invalid,
  921 		isl_die(FN(MULTI(BASE),get_ctx)(multi), isl_error_invalid,
 1054 		isl_die(FN(MULTI(BASE),get_ctx)(multi1), isl_error_invalid,
 1107 		isl_die(FN(MULTI(BASE),get_ctx)(multi1), isl_error_invalid,
 1140 		isl_die(FN(MULTI(BASE),get_ctx)(multi1), isl_error_invalid,
 1242 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
 1279 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
 1282 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
 1316 		isl_die(isl_multi_val_get_ctx(mv), isl_error_invalid,
 1352 		isl_die(isl_multi_val_get_ctx(mv), isl_error_invalid,
 1388 		isl_die(isl_multi_val_get_ctx(mv), isl_error_invalid,
 1432 		isl_die(FN(MULTI(BASE),get_ctx)(multi), isl_error_invalid,
 1436 		isl_die(FN(MULTI(BASE),get_ctx)(multi), isl_error_invalid,
 1440 		isl_die(FN(MULTI(BASE),get_ctx)(multi), isl_error_invalid,
 1444 		isl_die(FN(MULTI(BASE),get_ctx)(multi), isl_error_unsupported,
 1485 		isl_die(FN(MULTI(BASE),get_ctx)(multi), isl_error_invalid,

   41 		isl_die(isl_multi_union_pw_aff_get_ctx(mupa), isl_error_invalid,

 1493 	isl_assert(bmap->ctx, 0, goto error);
 1515 	isl_assert(p->ctx, 0, goto error);
 1536 	isl_assert(set->ctx, 0, goto error);
 1558 	isl_assert(map->ctx, 0, goto error);
 1662 	isl_die(p->ctx, isl_error_invalid,
 1680 	isl_die(p->ctx, isl_error_invalid,
 1897 		isl_die(qp->dim->ctx, isl_error_unsupported,
 1913 	isl_assert(qp->dim->ctx, output_format == ISL_FORMAT_ISL, return);
 1946 	isl_assert(fold->dim->ctx, output_format == ISL_FORMAT_ISL, return);
 2276 	isl_assert(p->ctx, 0, goto error);
 2325 	isl_die(p->ctx, isl_error_invalid,
 2367 	isl_die(p->ctx, isl_error_unsupported, "unsupported output format",
 2412 	isl_assert(p->ctx, 0, goto error);
 2479 	isl_die(p->ctx, isl_error_invalid,
 2563 	isl_die(isl_space_get_ctx(space), isl_error_unsupported,
 2811 		isl_die(p->ctx, isl_error_unsupported,
 2835 	isl_die(p->ctx, isl_error_unsupported, "unsupported output format",
 2852 	isl_die(p->ctx, isl_error_unsupported, "unsupported output format",
 2930 	isl_die(isl_printer_get_ctx(p), isl_error_unsupported,
 2995 	isl_die(p->ctx, isl_error_unsupported, "unsupported output format",
 3075 		isl_die(p->ctx, isl_error_unsupported,
 3082 		isl_die(p->ctx, isl_error_unsupported,
 3089 		isl_die(p->ctx, isl_error_unsupported,
 3108 	isl_die(p->ctx, isl_error_unsupported, "unsupported output format",
 3159 	isl_die(p->ctx, isl_error_unsupported, "unsupported output format",
 3249 	isl_die(p->ctx, isl_error_unsupported, "unsupported output format",
 3302 	isl_die(p->ctx, isl_error_unsupported, "unsupported output format",
 3382 	isl_die(isl_printer_get_ctx(p), isl_error_unsupported,

  272 		isl_die(ctx, isl_error_invalid,
  275 		isl_die(ctx, isl_error_invalid,
  294 		isl_die(isl_point_get_ctx(pnt), isl_error_invalid,
  297 		isl_die(isl_point_get_ctx(pnt), isl_error_invalid,
  300 		isl_die(isl_point_get_ctx(pnt), isl_error_invalid,
  454 	isl_assert(bmap->ctx, isl_space_is_equal(bmap->dim, point->dim),
  568 	isl_assert(pnt1->dim->ctx,

   59 	isl_assert(up->ctx, up->var < 0, return NULL);
   69 	isl_assert(up->ctx, up->var >= 0, return NULL);
  385 	isl_assert(ctx, var >= 0, return NULL);
  386 	isl_assert(ctx, size >= 0, return NULL);
 1140 		isl_die(isl_space_get_ctx(dim), isl_error_invalid,
 1265 	isl_assert(up->ctx, rec->n >= 1, goto error);
 1290 	isl_assert(div1->ctx, div1->n_row >= div2->n_row &&
 1476 	isl_assert(qp1->div->ctx, qp1->div->n_row >= qp2->div->n_row &&
 1528 	isl_assert(qp1->dim->ctx, isl_space_is_equal(qp1->dim, qp2->dim), goto error);
 1635 		isl_die(isl_qpolynomial_get_ctx(qp), isl_error_invalid,
 1677 		isl_die(isl_qpolynomial_get_ctx(qp), isl_error_invalid,
 1680 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
 1703 	isl_assert(qp1->dim->ctx, isl_space_is_equal(qp1->dim, qp2->dim), goto error);
 1899 	isl_assert(up->ctx, rec->n > 1, return -1);
 1963 	isl_assert(up->ctx, rec->n == 2, return -1);
 2102 	isl_assert(dim->ctx, isl_space_dim(dim, isl_dim_in) == 0, goto error);
 2103 	isl_assert(dim->ctx, pos < isl_space_dim(dim, type), goto error);
 2134 	isl_assert(up->ctx, rec->n >= 1, goto error);
 2164 	isl_assert(ctx, len >= 1, return NULL);
 2543 	isl_assert(qp->dim->ctx,
 2546 	isl_assert(qp->dim->ctx, type == isl_dim_param ||
 2696 		isl_die(isl_qpolynomial_get_ctx(qp), isl_error_invalid,
 2717 		isl_die(qp->dim->ctx, isl_error_invalid,
 2729 	isl_assert(qp->dim->ctx, first + n <= isl_space_dim(qp->dim, type),
 2731 	isl_assert(qp->dim->ctx, type == isl_dim_param ||
 2770 		isl_die(isl_qpolynomial_get_ctx(qp), isl_error_invalid,
 3004 	isl_assert(pwqp1->dim->ctx, isl_space_is_equal(pwqp1->dim, pwqp2->dim),
 3078 	isl_assert(up->ctx, rec->n >= 1, goto error);
 3126 	isl_assert(pnt->dim->ctx, isl_space_is_equal(pnt->dim, qp->dim), goto error);
 3171 		isl_die(qp->div->ctx, isl_error_invalid,
 3183 	isl_assert(qp->div->ctx, first <= isl_space_dim(qp->dim, type),
 3283 		isl_die(qp->dim->ctx, isl_error_invalid,
 3300 	isl_assert(qp->dim->ctx, src_pos + n <= isl_space_dim(qp->dim, src_type),
 3437 		isl_die(qp->dim->ctx, isl_error_invalid,
 3447 	isl_assert(qp->dim->ctx, first + n <= isl_space_dim(qp->dim, type),
 3451 		isl_assert(qp->dim->ctx, isl_space_is_equal(qp->dim, subs[i]->dim),
 3454 	isl_assert(qp->dim->ctx, qp->div->n_row == 0, goto error);
 3456 		isl_assert(qp->dim->ctx, subs[i]->div->n_row == 0, goto error);
 3621 		isl_die(qp->div->ctx, isl_error_invalid,
 3627 	isl_assert(qp->div->ctx, t_pos < isl_space_dim(qp->dim, type),
 3860 	isl_assert(term->dim->ctx, pos < isl_term_dim(term, type), return -1);
 3878 	isl_assert(term->dim->ctx, pos < isl_term_dim(term, isl_dim_div),
 3907 	isl_assert(up->ctx, !isl_upoly_is_nan(up), goto error);
 3908 	isl_assert(up->ctx, !isl_upoly_is_infty(up), goto error);
 3909 	isl_assert(up->ctx, !isl_upoly_is_neginfty(up), goto error);
 4178 	isl_assert(ctx, isl_space_is_equal(qp->dim, morph->dom->dim), goto error);
 4926 		isl_die(qp->dim->ctx, isl_error_invalid,

   21 		isl_die(ctx, isl_error_invalid,
   72 		isl_die(FN(TYPE,get_ctx)(map), isl_error_invalid,

  294 		isl_die(isl_printer_get_ctx(printer), isl_error_invalid,
  414 		isl_die(isl_printer_get_ctx(p), isl_error_invalid,
  528 		isl_die(isl_printer_get_ctx(p), isl_error_invalid,
  681 		isl_die(isl_printer_get_ctx(printer), isl_error_invalid,
  837 		isl_die(isl_printer_get_ctx(p), isl_error_invalid,

   55 		isl_die(ctx, isl_error_invalid,

   34 	isl_assert(ctx, n >= 0, goto error);
   83 		isl_die(ctx, isl_error_invalid, "fold types don't match",
   87 	isl_assert(ctx, isl_space_is_equal(pw->dim, el_dim), goto error);
   88 	isl_assert(ctx, pw->n < pw->size, goto error);
  133 		isl_die(isl_set_get_ctx(set), isl_error_invalid,
  323 		isl_die(ctx, isl_error_invalid,
  390 		isl_die(ctx, isl_error_invalid,
  416 		isl_die(ctx, isl_error_invalid,
  419 	isl_assert(ctx, isl_space_is_equal(pw1->dim, pw2->dim), goto error);
  542 		isl_die(ctx, isl_error_invalid,
  545 	isl_assert(ctx, isl_space_is_equal(pw1->dim, pw2->dim), goto error);
  769 		isl_die(FN(PW,get_ctx)(pw), isl_error_invalid,
  791 		isl_die(FN(PW,get_ctx)(pw), isl_error_invalid,
 1388 		isl_die(FN(PW,get_ctx)(pw), isl_error_invalid,
 1652 	isl_assert(ctx, isl_space_is_domain_internal(morph->dom->dim, pw->dim),
 1934 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
 1937 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
 2098 		isl_die(ctx, isl_error_invalid,

  197 		isl_die(ctx, isl_error_invalid,

  420 	isl_assert(ctx, d >= 1, goto error);

  133 			isl_die(alignee->ctx, isl_error_invalid,

   77 		isl_assert(bset->ctx, bset->n_eq == 1, goto error);
   78 		isl_assert(bset->ctx, bset->n_ineq == 0, goto error);
   82 			isl_assert(bset->ctx, isl_int_is_negone(bset->eq[0][1]),
  155 	isl_assert(tab->mat->ctx, bset, return NULL);
  178 	isl_assert(bset->ctx, j == n_eq, goto error);
  300 			isl_die(ctx, isl_error_internal,
  307 			isl_die(ctx, isl_error_internal,
  396 	isl_assert(tab->mat->ctx, tab->basis->n_row == tab->n_var + 1,
  398 	isl_assert(tab->mat->ctx, tab->basis->n_col == tab->n_var + 1,
  436 				isl_die(ctx, isl_error_internal,
  445 				isl_die(ctx, isl_error_internal,
  772 	isl_assert(cone->ctx, cone->n_eq == 0, goto error);
  827 	isl_assert(vec->ctx, vec->size != 0, goto error);
  861 	isl_assert(vec1->ctx, vec1->size > 0, goto error);
  862 	isl_assert(vec2->ctx, vec2->size > 0, goto error);
  863 	isl_assert(vec1->ctx, isl_int_is_one(vec1->el[0]), goto error);
  864 	isl_assert(vec2->ctx, isl_int_is_one(vec2->el[0]), goto error);
 1138 	isl_assert(ctx, isl_basic_set_n_param(bset) == 0, goto error);
 1139 	isl_assert(ctx, bset->n_div == 0, goto error);
 1192 	isl_assert(ctx, vec->size != 0, goto error);

   49 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_unsupported,
  200 		isl_die(isl_schedule_get_ctx(schedule), isl_error_internal,
  406 		isl_die(isl_schedule_get_ctx(schedule), isl_error_invalid,
  436 		isl_die(isl_schedule_get_ctx(schedule), isl_error_invalid,
  467 		isl_die(isl_schedule_get_ctx(sched), isl_error_internal,
  497 		isl_die(isl_schedule_node_get_ctx(node), isl_error_internal,
  505 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
  608 		isl_die(isl_schedule_get_ctx(schedule1), isl_error_internal,
  612 		isl_die(isl_schedule_get_ctx(schedule1), isl_error_internal,
  628 		isl_die(ctx, isl_error_invalid,

  239 		isl_die(isl_schedule_band_get_ctx(band), isl_error_invalid,
  260 		isl_die(isl_schedule_band_get_ctx(band), isl_error_invalid,
  373 		isl_die(isl_schedule_band_get_ctx(band), isl_error_invalid,
  395 		isl_die(isl_schedule_band_get_ctx(band), isl_error_invalid,
  428 		isl_die(isl_schedule_band_get_ctx(band), isl_error_invalid,
  453 		isl_die(isl_schedule_band_get_ctx(band), isl_error_invalid,
  730 			isl_die(ctx, isl_error_invalid,
 1051 		isl_die(isl_schedule_band_get_ctx(band), isl_error_invalid,
 1184 		isl_die(isl_schedule_band_get_ctx(band), isl_error_internal,

  148 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
  452 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
  455 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
  528 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
  540 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
  963 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1073 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1100 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1136 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1186 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1220 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1623 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1759 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1782 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1812 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1842 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1874 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1897 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1945 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1990 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1996 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 2227 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 2230 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 2261 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 2267 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 2396 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 2403 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 2431 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 2655 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 2661 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 2688 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 2693 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 2698 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 2708 			isl_die(isl_schedule_node_get_ctx(node),
 2887 		isl_die(isl_schedule_node_get_ctx(pos), isl_error_invalid,
 2941 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
 2983 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
 3048 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_unsupported,
 3192 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 4081 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 4104 		isl_die(isl_union_set_get_ctx(uset), isl_error_invalid,
 4279 		isl_die(isl_schedule_node_get_ctx(node), isl_error_unsupported,
 4346 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 4665 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 4672 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 4677 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 4703 		isl_die(isl_schedule_node_get_ctx(node1), isl_error_invalid,

  101 			isl_die(ctx, isl_error_invalid, "expecting child",
  152 			isl_die(ctx, isl_error_invalid, "expecting child",
  216 			isl_die(ctx, isl_error_invalid, "unexpected key",
  225 		isl_die(ctx, isl_error_invalid, "missing contraction",
  228 		isl_die(ctx, isl_error_invalid, "missing expansion",
  278 			isl_die(ctx, isl_error_invalid, "expecting child",
  329 			isl_die(ctx, isl_error_invalid, "expecting child",
  380 			isl_die(ctx, isl_error_invalid, "expecting child",
  427 		isl_die(ctx, isl_error_invalid, "expecting child",
  432 			isl_die(ctx, isl_error_invalid, "expecting child",
  568 			isl_die(ctx, isl_error_invalid, "unexpected key",
  577 		isl_die(ctx, isl_error_invalid, "missing schedule", goto error);
  716 		isl_die(isl_stream_get_ctx(s), isl_error_unsupported,

   86 		isl_die(ctx, isl_error_internal,
  477 	isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
  734 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
  777 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
  782 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
  816 			isl_die(isl_schedule_tree_get_ctx(tree),
 1005 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1021 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1036 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1061 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1075 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1098 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1114 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1137 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1154 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1176 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1194 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1215 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1235 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1255 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1275 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1303 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1318 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1333 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1349 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1371 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1386 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1406 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1431 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1447 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1468 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1484 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1506 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1521 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1552 		isl_die(isl_union_map_get_ctx(umap), isl_error_internal,
 1621 	isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
 1727 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
 1731 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
 1826 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1860 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
 1886 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
 1890 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
 1928 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
 1932 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
 1936 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
 1940 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 1945 			isl_die(isl_schedule_tree_get_ctx(tree),
 1967 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
 2010 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 2037 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 2064 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 2091 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 2123 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 2127 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 2130 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 2165 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 2286 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 2291 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,
 2526 	isl_die(isl_schedule_tree_get_ctx(tree), isl_error_internal,
 2572 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_unsupported,
 2603 		isl_die(isl_schedule_tree_get_ctx(tree), isl_error_invalid,

 2963 		isl_die(sol->ctx, isl_error_internal,
 2966 		isl_die(sol->ctx, isl_error_internal,
 3399 		isl_die(ctx, isl_error_internal,
 3532 				isl_die(ctx, isl_error_internal,
 3788 		isl_die(isl_schedule_node_get_ctx(node), isl_error_internal,
 4002 		isl_die(ctx, isl_error_internal,
 4007 		isl_die(ctx, isl_error_internal,
 4474 		isl_die(isl_vec_get_ctx(sol), isl_error_internal,
 4745 		isl_die(isl_basic_set_get_ctx(lineality), isl_error_internal,
 5177 		isl_die(ctx, isl_error_unknown, "unable to carry dependences",
 5265 		isl_die(ctx, isl_error_internal,
 5960 		isl_die(ctx, isl_error_internal,
 5964 		isl_die(ctx, isl_error_internal,
 6438 		isl_die(ctx, isl_error_internal, "unable to find node",
 6446 		isl_die(ctx, isl_error_internal, "unable to find cluster",
 6797 			isl_die(ctx, isl_error_internal,

  143 		isl_assert(ctx, pos < dim->nparam,
  147 		isl_assert(ctx, pos < dim->n_in,
  151 		isl_assert(ctx, pos < dim->n_out,
  155 		isl_assert(ctx, 0, return isl_space_dim(dim, isl_dim_all));
  379 		isl_die(ctx, isl_error_invalid, "name looks like a number",
  393 		isl_die(space->ctx, isl_error_invalid,
  396 		isl_die(space->ctx, isl_error_invalid,
  399 		isl_die(space->ctx, isl_error_invalid,
  427 		isl_die(dim->ctx, isl_error_invalid,
  439 		isl_die(dim->ctx, isl_error_invalid,
  460 		isl_die(dim->ctx, isl_error_invalid,
  554 		isl_die(dim->ctx, isl_error_invalid,
  902 	isl_assert(space->ctx, space->nparam <= nparam, goto error);
  903 	isl_assert(space->ctx, space->n_in <= n_in, goto error);
  904 	isl_assert(space->ctx, space->n_out <= n_out, goto error);
  914 			isl_die(isl_space_get_ctx(space), isl_error_invalid,
  971 		isl_die(space->ctx, isl_error_invalid,
 1036 		isl_die(ctx, isl_error_invalid,
 1042 		isl_die(ctx, isl_error_invalid,
 1045 	isl_assert(ctx, pos <= isl_space_dim(space, type), goto error);
 1117 	isl_assert(space->ctx, src_pos + n <= isl_space_dim(space, src_type),
 1123 	isl_assert(space->ctx, dst_type != src_type, goto error);
 1211 		isl_die(isl_space_get_ctx(space1), isl_error_invalid,
 1224 	isl_assert(left->ctx,
 1274 		isl_die(isl_space_get_ctx(left), isl_error_invalid,
 1310 		isl_die(left->ctx, isl_error_invalid,
 1335 		isl_die(left->ctx, isl_error_invalid,
 1362 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 1401 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 1474 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 1487 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 1552 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 1565 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 1595 		isl_die(ctx, isl_error_invalid, "not a set space", goto error);
 1631 		isl_die(isl_space_get_ctx(domain), isl_error_invalid,
 1634 		isl_die(isl_space_get_ctx(range), isl_error_invalid,
 1717 		isl_die(dim->ctx, isl_error_invalid,
 1721 		isl_die(isl_space_get_ctx(dim), isl_error_invalid,
 1800 		isl_die(isl_space_get_ctx(dim), isl_error_invalid,
 1824 		isl_die(isl_space_get_ctx(dim), isl_error_invalid,
 1875 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 2213 		isl_die(dim->ctx, isl_error_invalid, "not a wrapping space",
 2391 		isl_die(dim->ctx, isl_error_invalid, "dim cannot be zipped",
 2436 		isl_die(space->ctx, isl_error_invalid,
 2477 		isl_die(isl_space_get_ctx(space), isl_error_invalid,
 2514 		isl_die(space->ctx, isl_error_invalid,
 2557 		isl_die(isl_space_get_ctx(space), isl_error_invalid,

   97 		isl_die(ctx, isl_error_invalid, "not a value token",
  110 		isl_die(ctx, isl_error_invalid,
  252 	isl_assert(s->ctx, s->n_un < 5, return);
  295 	isl_assert(s->ctx, s->n_token < 5, return);
  840 		isl_die(isl_stream_get_ctx(s), isl_error_invalid,
  856 		isl_die(isl_stream_get_ctx(s), isl_error_invalid,
  883 		isl_die(s->ctx, isl_error_internal,
  897 		isl_die(s->ctx, isl_error_internal,
  950 		isl_die(s->ctx, isl_error_invalid,
 1031 		isl_die(s->ctx, isl_error_internal,
 1097 		isl_die(isl_stream_get_ctx(s), isl_error_invalid,
 1169 		isl_die(isl_stream_get_ctx(s), isl_error_invalid,

  444 	isl_assert(tab1->mat->ctx, tab1->M == tab2->M, return NULL);
  445 	isl_assert(tab1->mat->ctx, tab1->rational == tab2->rational, return NULL);
  446 	isl_assert(tab1->mat->ctx, tab1->cone == tab2->cone, return NULL);
  447 	isl_assert(tab1->mat->ctx, !tab1->row_sign, return NULL);
  448 	isl_assert(tab1->mat->ctx, !tab2->row_sign, return NULL);
  449 	isl_assert(tab1->mat->ctx, tab1->n_param == 0, return NULL);
  450 	isl_assert(tab1->mat->ctx, tab2->n_param == 0, return NULL);
  451 	isl_assert(tab1->mat->ctx, tab1->n_div == 0, return NULL);
  452 	isl_assert(tab1->mat->ctx, tab2->n_div == 0, return NULL);
  714 	isl_assert(tab->mat->ctx, var->is_row, return);
  960 	isl_assert(tab->mat->ctx, row >= tab->n_redundant, return -1);
 1055 	isl_assert(mat->ctx, row_sgn > 0, return);
 1056 	isl_assert(mat->ctx, tab->row_sign[row] == isl_tab_row_neg, return);
 1217 		isl_assert(tab->mat->ctx, r < tab->n_row, return -1);
 1220 		isl_assert(tab->mat->ctx, r >= 0, return -1);
 1243 			isl_assert(tab->mat->ctx,
 1248 		isl_assert(tab->mat->ctx, !isl_int_is_neg(tab->mat->row[i][1]),
 1292 	isl_assert(tab->mat->ctx, !var->is_redundant, return -2);
 1293 	isl_assert(tab->mat->ctx, !var->is_zero, return -2);
 1643 		isl_die(isl_tab_get_ctx(tab), isl_error_internal,
 1655 			isl_die(isl_tab_get_ctx(tab), isl_error_internal,
 1681 	isl_assert(tab->mat->ctx, tab->n_row < tab->mat->n_row, return -1);
 1682 	isl_assert(tab->mat->ctx, tab->n_con < tab->max_con, return -1);
 1712 		isl_die(isl_tab_get_ctx(tab), isl_error_internal,
 1715 		isl_die(isl_tab_get_ctx(tab), isl_error_internal,
 1741 		isl_die(isl_tab_get_ctx(tab), isl_error_internal,
 1766 	isl_assert(tab->mat->ctx, tab->n_col < tab->mat->n_col, return -1);
 1873 	isl_assert(tab->mat->ctx, ~tab->row_var[row] == tab->n_con - 1,
 1918 		isl_assert(tab->mat->ctx, tab->n_eq == bmap->n_eq,
 1920 		isl_assert(tab->mat->ctx,
 1976 		isl_assert(tab->mat->ctx, row != -1, return -1);
 1987 	isl_assert(tab->mat->ctx, i < tab->n_col, return -1);
 2016 	isl_assert(tab->mat->ctx, i >= 0, goto error);
 2130 	isl_assert(tab->mat->ctx, !tab->M, return -1);
 2340 		isl_die(isl_tab_get_ctx(tab), isl_error_invalid,
 2343 	isl_assert(tab->mat->ctx, tab->bmap, return -1);
 2347 		isl_die(isl_tab_get_ctx(tab), isl_error_invalid,
 2670 		isl_die(isl_tab_get_ctx(tab), isl_error_internal,
 2674 		isl_die(isl_tab_get_ctx(tab), isl_error_internal,
 2702 		isl_die(isl_tab_get_ctx(tab), isl_error_invalid,
 2780 		isl_die(tab->mat->ctx, isl_error_invalid,
 2783 		isl_die(tab->mat->ctx, isl_error_invalid,
 3033 		isl_die(tab->mat->ctx, isl_error_internal,
 3319 		isl_die(isl_tab_get_ctx(tab), isl_error_invalid,
 3532 		isl_die(isl_tab_get_ctx(tab), isl_error_invalid,
 3616 			isl_assert(tab->mat->ctx, sgn >= 0,
 3661 		isl_die(isl_tab_get_ctx(tab), isl_error_internal,
 3683 			isl_die(isl_tab_get_ctx(tab), isl_error_internal,
 3697 			isl_assert(tab->mat->ctx, !var->is_row,
 3718 		isl_die(tab->mat->ctx, isl_error_internal,
 3739 		isl_die(isl_tab_get_ctx(tab), isl_error_invalid,
 3818 		isl_assert(tab->mat->ctx, j < n_extra, goto error);
 3891 		isl_assert(tab->mat->ctx, 0, return isl_stat_error);
 4039 	isl_assert(tab->mat->ctx, tab->n_eq == bmap->n_eq, goto error);
 4040 	isl_assert(tab->mat->ctx,

  211 		isl_die(isl_basic_map_get_ctx(bmap), isl_error_invalid,

  262 			isl_die(isl_mat_get_ctx(M), isl_error_internal,
  703 				isl_die(mat->ctx, isl_error_invalid,
  711 			isl_die(mat->ctx, isl_error_invalid,
 1044 		isl_assert(tab->mat->ctx,
 1279 		isl_assert(tab->mat->ctx, col >= 0, goto error);
 1915 	isl_assert(tab->mat->ctx, tab->bmap, goto error);
 1916 	isl_assert(tab->mat->ctx, tab->samples, goto error);
 1917 	isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, goto error);
 2014 	isl_assert(tab->mat->ctx, tab->bmap, return -1);
 2015 	isl_assert(tab->mat->ctx, tab->samples, return -1);
 2016 	isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var, return -1);
 2522 	isl_assert(tab->mat->ctx, tab->samples, return isl_tab_row_unknown);
 2523 	isl_assert(tab->mat->ctx, tab->samples->n_col == 1 + tab->n_var,
 5322 			isl_die(isl_vec_get_ctx(data->v), isl_error_internal,

   87 		isl_die(ctx, isl_error_unknown, "maps not equal",
  142 		isl_die(ctx, isl_error_unknown,
  230 		isl_die(ctx, isl_error_unknown,
  483 		isl_die(ctx, isl_error_unknown,
  501 		isl_die(ctx, isl_error_unknown,
  512 		isl_die(ctx, isl_error_unknown,
  522 		isl_die(ctx, isl_error_unknown,
  582 		isl_die(ctx, isl_error_unknown,
  624 		isl_die(ctx, isl_error_unknown,
  639 		isl_die(ctx, isl_error_unknown,
  670 		isl_die(ctx, isl_error_unknown,
  874 			isl_die(ctx, isl_error_unknown,
  917 			isl_die(ctx, isl_error_unknown,
 1188 		isl_die(ctx, isl_error_unknown,
 1276 		isl_die(ctx, isl_error_unknown, "not expecting any divs",
 1303 		isl_die(ctx, isl_error_unknown, "not as accurate as expected",
 1345 			isl_die(ctx, isl_error_unknown, "unexpected hull",
 1385 			isl_die(ctx, isl_error_unknown, "unexpected hull",
 1410 		isl_die(ctx, isl_error_unknown, "Empty set should be detected",
 1508 			isl_die(ctx, isl_error_unknown,
 1595 			isl_die(ctx, isl_error_unknown,
 1638 		isl_die(ctx, isl_error_unknown,
 1760 			isl_die(ctx, isl_error_unknown,
 1763 			isl_die(ctx, isl_error_unknown,
 1766 			isl_die(ctx, isl_error_unknown,
 1815 		isl_die(ctx, isl_error_unknown, "expecting single disjunct",
 1818 		isl_die(ctx, isl_error_unknown, "expecting single div",
 1845 		isl_die(ctx, isl_error_unknown,
 1848 		isl_die(ctx, isl_error_unknown,
 2468 		isl_die(ctx, isl_error_unknown, "power not exact", return -1);
 2470 		isl_die(ctx, isl_error_unknown, "unexpected power", return -1);
 2590 		isl_die(ctx, isl_error_unknown,
 2692 			isl_die(ctx, isl_error_unknown,
 2717 		isl_die(ctx, isl_error_unknown,
 2756 		isl_die(ctx, isl_error_unknown, "unexpected minimum",
 2829 			isl_die(ctx, isl_error_unknown,
 2888 		isl_die(isl_map_get_ctx(map), isl_error_unknown,
 3138 			isl_die(ctx, isl_error_internal,
 3141 			isl_die(ctx, isl_error_internal,
 3180 			isl_die(ctx, isl_error_internal,
 3183 			isl_die(ctx, isl_error_internal,
 3243 			isl_die(ctx, isl_error_unknown,
 3289 		isl_die(ctx, isl_error_unknown, "unexpected result", return -1);
 3303 		isl_die(ctx, isl_error_unknown, "unexpected result", return -1);
 3349 		isl_die(ctx, isl_error_unknown, "union maps not equal",
 3367 		isl_die(ctx, isl_error_unknown, "union sets not equal",
 3397 		isl_die(ctx, isl_error_unknown,
 3419 		isl_die(ctx, isl_error_unknown, "unexpected input dimension",
 3428 		isl_die(ctx, isl_error_unknown, "unexpected input dimension",
 3464 		isl_die(ctx, isl_error_unknown, "sets are not equal",
 3502 		isl_die(ctx, isl_error_unknown, "sets are not equal",
 3538 		isl_die(ctx, isl_error_unknown, "union sets are not equal",
 3575 		isl_die(ctx, isl_error_unknown, "maps are not equal",
 3612 		isl_die(ctx, isl_error_unknown, "union maps are not equal",
 3683 		isl_die(ctx, isl_error_unknown,
 3746 			isl_die(ctx, isl_error_unknown,
 3785 			isl_die(ctx, isl_error_unknown,
 3803 			isl_die(ctx, isl_error_unknown,
 3828 		isl_die(ctx, isl_error_unknown,
 3882 		isl_die(ctx, isl_error_unknown,
 3900 		isl_die(ctx, isl_error_unknown,
 4025 		isl_die(ctx, isl_error_unknown,
 4028 		isl_die(ctx, isl_error_unknown,
 4032 		isl_die(ctx, isl_error_unknown,
 4036 		isl_die(ctx, isl_error_unknown,
 4040 		isl_die(ctx, isl_error_unknown,
 4120 		isl_die(ctx, isl_error_unknown, "unexpected schedule",
 4232 		isl_die(ctx, isl_error_unknown,
 4280 		isl_die(ctx, isl_error_unknown,
 4421 			isl_die(ctx, isl_error_unknown,
 4459 		isl_die(ctx, isl_error_unknown,
 4892 		isl_die(ctx, isl_error_unknown,
 4895 		isl_die(ctx, isl_error_unknown,
 4953 		isl_die(isl_aff_get_ctx(aff), isl_error_unknown,
 4990 		isl_die(isl_union_pw_aff_get_ctx(upa), isl_error_unknown,
 5113 			isl_die(ctx, isl_error_unknown,
 5174 			isl_die(ctx, isl_error_unknown,
 5230 			isl_die(ctx, isl_error_unknown,
 5272 		isl_die(ctx, isl_error_unknown,
 5344 			isl_die(ctx, isl_error_unknown,
 5478 			isl_die(ctx, isl_error_unknown,
 5541 			isl_die(ctx, isl_error_unknown,
 5673 			isl_die(ctx, isl_error_unknown,
 5778 			isl_die(ctx, isl_error_unknown,
 5840 			isl_die(ctx, isl_error_unknown,
 5926 			isl_die(ctx, isl_error_unknown,
 6010 			isl_die(ctx, isl_error_unknown,
 6130 			isl_die(ctx, isl_error_unknown,
 6228 			isl_die(ctx, isl_error_unknown,
 6317 		isl_die(ctx, isl_error_unknown, "unexpected result", return -1);
 6345 		isl_die(ctx, isl_error_unknown, "expecting single expression",
 6418 		isl_die(ctx, isl_error_unknown, "unexpected result", return -1);
 6432 		isl_die(ctx, isl_error_unknown, "unexpected result", return -1);
 6446 		isl_die(ctx, isl_error_unknown, "unexpected result", return -1);
 6475 		isl_die(ctx, isl_error_unknown, "unexpected result", return -1);
 6493 		isl_die(ctx, isl_error_unknown, "unexpected result", return -1);
 6509 		isl_die(ctx, isl_error_unknown, "unexpected result", return -1);
 6546 		isl_die(isl_pw_multi_aff_get_ctx(pma), isl_error_unknown,
 6591 		isl_die(ctx, isl_error_unknown, "unexpected result", return -1);
 6604 		isl_die(ctx, isl_error_unknown, "unexpected result", return -1);
 6631 		isl_die(ctx, isl_error_unknown, "unexpected result", return -1);
 6671 		isl_die(ctx, isl_error_unknown, "unexpected result", return -1);
 6685 			isl_die(ctx, isl_error_unknown,
 6704 		isl_die(ctx, isl_error_unknown,
 6707 		isl_die(ctx, isl_error_unknown,
 6818 			isl_die(ctx, isl_error_unknown, "unexpected vertices",
 6844 		isl_die(ctx, isl_error_unknown, "unexpected result", return -1);
 6893 			isl_die(ctx, isl_error_unknown,
 6992 			isl_die(ctx, isl_error_unknown,
 7034 		isl_die(ctx, isl_error_unknown, "unexpected value", return -1);
 7062 		isl_die(ctx, isl_error_unknown, "expecting NaN", return -1);
 7177 			isl_die(ctx, isl_error_unknown,
 7206 		isl_die(ctx, isl_error_unknown, "bad conversion",
 7234 		isl_die(ctx, isl_error_unknown, "bad conversion",
 7272 		isl_die(ctx, isl_error_unknown, "unexpected result", return -1);
 7318 		isl_die(ctx, isl_error_unknown, "point not found", return -1);
 7320 		isl_die(ctx, isl_error_unknown, "bad point found", return -1);
 7437 		isl_die(ctx, isl_error_unknown, "incorrect residue class",
 7471 		isl_die(ctx, isl_error_unknown,
 7540 		isl_die(ctx, isl_error_unknown,
 7553 		isl_die(ctx, isl_error_unknown,
 7566 		isl_die(ctx, isl_error_unknown,
 7594 		isl_die(ctx, isl_error_unknown,
 7611 		isl_die(ctx, isl_error_unknown,
 7651 			isl_die(ctx, isl_error_unknown, "bad conversion",
 7690 			isl_die(ctx, isl_error_unknown, "bad conversion",
 7733 			isl_die(ctx, isl_error_unknown, "bad conversion",
 7780 			isl_die(ctx, isl_error_unknown, "bad conversion",
 7818 		isl_die(ctx, isl_error_unknown,
 7873 			isl_die(ctx, isl_error_unknown, "bad preimage",
 7935 			isl_die(ctx, isl_error_unknown, "bad preimage",
 7995 			isl_die(ctx, isl_error_unknown, "bad pullback",
 8027 		isl_die(ctx, isl_error_unknown,
 8030 		isl_die(ctx, isl_error_unknown,
 8046 		isl_die(ctx, isl_error_unknown,
 8114 		isl_die(ctx, isl_error_unknown,
 8117 		isl_die(ctx, isl_error_unknown,
 8130 		isl_die(ctx, isl_error_unknown,
 8143 		isl_die(ctx, isl_error_unknown,
 8168 		isl_die(isl_ast_node_get_ctx(node), isl_error_unknown,
 8174 		isl_die(isl_ast_node_get_ctx(node), isl_error_unknown,
 8182 		isl_die(isl_ast_node_get_ctx(node), isl_error_unknown,
 8225 		isl_die(ctx, isl_error_unknown,
 8305 		isl_die(ctx, isl_error_unknown,
 8342 		isl_die(ctx, isl_error_unknown,
 8359 		isl_die(ctx, isl_error_unknown,
 8392 		isl_die(isl_ast_node_get_ctx(tree), isl_error_unknown,
 8474 		isl_die(ctx, isl_error_unknown,
 8520 		isl_die(ctx, isl_error_unknown,
 8562 		isl_die(ctx, isl_error_unknown,
 8568 		isl_die(ctx, isl_error_unknown,
 8607 		isl_die(ctx, isl_error_unknown,
 8611 		isl_die(ctx, isl_error_unknown,
 8681 		isl_die(ctx, isl_error_unknown,
 8704 		isl_die(ctx, isl_error_unknown,
 8835 		isl_die(ctx, isl_error_unknown, "unexpected prefix schedule",
 8894 		isl_die(ctx, isl_error_unknown,
 8989 		isl_die(ctx, isl_error_unknown,
 8992 		isl_die(ctx, isl_error_unknown,
 9053 			isl_die(ctx, isl_error_unknown,
 9070 			isl_die(ctx, isl_error_unknown,
 9173 			isl_die(ctx, isl_error_unknown,
 9203 		isl_die(ctx, isl_error_unknown,
 9226 		isl_die(ctx, isl_error_unknown,
 9275 				isl_die(isl_basic_set_list_get_ctx(list),

  240 		isl_assert(steps->ctx, i == k, goto error);
 1164 	isl_assert(map->ctx, left || right, goto error);
 2003 	isl_assert(map->ctx,

   44 		isl_die(isl_union_map_get_ctx(umap), isl_error_invalid,
   68 		isl_die(isl_union_map_get_ctx(umap), isl_error_invalid,
  620 		isl_die(ctx, isl_error_invalid,
 1729 		isl_die(isl_union_map_get_ctx(umap), isl_error_invalid,
 3702 		isl_die(isl_union_map_get_ctx(umap), isl_error_invalid,
 3780 		isl_die(isl_union_map_get_ctx(umap), isl_error_invalid,
 3854 	isl_die(isl_union_map_get_ctx(umap), isl_error_invalid,

  304 		isl_die(ctx, isl_error_internal, "missing group",
  358 		isl_die(FN(PART,get_ctx)(part), isl_error_invalid,
  405 		isl_die(FN(PART,get_ctx)(part1), isl_error_invalid,

  118 	isl_die(FN(UNION,get_ctx)(u), isl_error_invalid,
  162 	isl_die(FN(PART,get_ctx)(part1), isl_error_invalid,

   45 		isl_die(FN(UNION,get_ctx)(u), isl_error_invalid,
  536 		isl_die(FN(UNION,get_ctx)(data->u2), isl_error_invalid,
  904 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
  942 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
  945 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
 1094 		isl_die(FN(UNION,get_ctx)(u), isl_error_invalid,
 1137 		isl_die(FN(UNION,get_ctx)(u), isl_error_invalid,

  286 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
  289 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
  303 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
  318 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
  321 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
  335 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
  347 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
  540 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
  547 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
  969 		isl_die(isl_val_get_ctx(v1), isl_error_invalid,
  983 		isl_die(isl_val_get_ctx(v1), isl_error_invalid,
 1020 		isl_die(isl_val_get_ctx(v1), isl_error_invalid,
 1105 		isl_die(ctx, isl_error_invalid,

   43 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
   63 		isl_die(isl_val_get_ctx(v), isl_error_invalid,

   95 		isl_die(isl_vec_get_ctx(vec), isl_error_invalid,
  100 		isl_die(isl_vec_get_ctx(vec), isl_error_invalid,
  263 		isl_die(ctx, isl_error_invalid, "position out of range",
  275 		isl_die(vec->ctx, isl_error_invalid, "position out of range",
  291 		isl_die(vec->ctx, isl_error_invalid, "position out of range",
  308 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
  326 		isl_die(isl_vec_get_ctx(vec1), isl_error_invalid,
  414 		isl_die(isl_val_get_ctx(v), isl_error_invalid,
  503 	isl_assert(vec1->ctx, vec1->size == vec2->size, goto error);
  544 		isl_die(vec->ctx, isl_error_invalid,
  570 		isl_die(vec->ctx, isl_error_invalid,
  623 		isl_die(vec->ctx, isl_error_invalid,
  626 		isl_die(vec->ctx, isl_error_invalid,

  144 	isl_assert(bset->ctx, v->v.vertex->n_eq >= nvar, goto error);
  399 	isl_assert(bset->ctx, isl_basic_set_dim(bset, isl_dim_div) == 0,
  573 		isl_die(isl_basic_set_get_ctx(bset), isl_error_internal,
 1340 	isl_assert(vertices->bset->ctx, vertices->ref == 1, goto error);

 1135 			isl_die(isl_set_get_ctx(block), isl_error_internal,
 1628 		isl_die(isl_multi_pw_aff_get_ctx(index), isl_error_internal,
 2110 		isl_die(data->prog->ctx, isl_error_internal,

 1189 		isl_die(ctx, isl_error_internal,

  131 			isl_die(isl_schedule_node_get_ctx(node),
  136 			isl_die(isl_schedule_node_get_ctx(node),
  204 	isl_die(isl_schedule_node_get_ctx(node), isl_error_internal,

 1050 		isl_die(isl_schedule_node_get_ctx(node), isl_error_invalid,
 1277 		isl_die(ctx, isl_error_internal, "position out of bounds",
 1655 		isl_die(isl_schedule_node_get_ctx(node), isl_error_internal,
 1666 		isl_die(isl_schedule_node_get_ctx(node), isl_error_internal,
 2037 		isl_die(isl_multi_val_get_ctx(sizes), isl_error_invalid,

  240 			isl_die(isl_union_set_get_ctx(domain),
 1021 		isl_die(ctx, isl_error_internal,
 1026 		isl_die(ctx, isl_error_invalid,