isl_seq_cpy(bound->el, map->p[i]->ineq[cuts[k]], 1 + total);
isl_int_add_ui(bound->el[0], bound->el[0], 1);
- tabs[j] = isl_tab_add_eq(tabs[j], bound->el);
+ if (isl_tab_add_eq(tabs[j], bound->el) < 0)
+ goto error;
if (isl_tab_detect_redundant(tabs[j]) < 0)
goto error;
int *ineq_j = NULL;
eq_i = eq_status_in(map, i, j, tabs);
+ if (!eq_i)
+ goto error;
if (any(eq_i, 2 * map->p[i]->n_eq, STATUS_ERROR))
goto error;
if (any(eq_i, 2 * map->p[i]->n_eq, STATUS_SEPARATE))
goto done;
eq_j = eq_status_in(map, j, i, tabs);
+ if (!eq_j)
+ goto error;
if (any(eq_j, 2 * map->p[j]->n_eq, STATUS_ERROR))
goto error;
if (any(eq_j, 2 * map->p[j]->n_eq, STATUS_SEPARATE))
goto done;
ineq_i = ineq_status_in(map, i, j, tabs);
+ if (!ineq_i)
+ goto error;
if (any(ineq_i, map->p[i]->n_ineq, STATUS_ERROR))
goto error;
if (any(ineq_i, map->p[i]->n_ineq, STATUS_SEPARATE))
goto done;
ineq_j = ineq_status_in(map, j, i, tabs);
+ if (!ineq_j)
+ goto error;
if (any(ineq_j, map->p[j]->n_ineq, STATUS_ERROR))
goto error;
if (any(ineq_j, map->p[j]->n_ineq, STATUS_SEPARATE))
if (!tabs[i])
goto error;
if (!ISL_F_ISSET(map->p[i], ISL_BASIC_MAP_NO_IMPLICIT))
- tabs[i] = isl_tab_detect_implicit_equalities(tabs[i]);
+ if (isl_tab_detect_implicit_equalities(tabs[i]) < 0)
+ goto error;
if (!ISL_F_ISSET(map->p[i], ISL_BASIC_MAP_NO_REDUNDANT))
if (isl_tab_detect_redundant(tabs[i]) < 0)
goto error;