diff options
| author | Sven Verdoolaege <skimo@kotnet.org> | 2010-05-25 13:22:51 +0200 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2010-06-12 13:16:36 +0200 |
| commit | 9f5152f19b26031e778dce2edac9f62a649d861a (patch) | |
| tree | f7b765d4c814d95259cf230388f5aedee1293599 /isl_coalesce.c | |
| parent | 626782d07926b9514a45c0d4dc57086692bb6c13 (diff) | |
| download | isl-9f5152f19b26031e778dce2edac9f62a649d861a.tar.gz isl-9f5152f19b26031e778dce2edac9f62a649d861a.tar.bz2 isl-9f5152f19b26031e778dce2edac9f62a649d861a.zip | |
isl_tab_select_facet: return int instead of isl_tab *
Diffstat (limited to 'isl_coalesce.c')
| -rw-r--r-- | isl_coalesce.c | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/isl_coalesce.c b/isl_coalesce.c index 73f44ed0..39b6d12b 100644 --- a/isl_coalesce.c +++ b/isl_coalesce.c @@ -270,7 +270,8 @@ static int check_facets(struct isl_map *map, int i, int j, for (k = 0; k < map->p[i]->n_ineq; ++k) { if (ineq_i[k] != STATUS_CUT) continue; - tabs[i] = isl_tab_select_facet(tabs[i], n_eq + k); + if (isl_tab_select_facet(tabs[i], n_eq + k) < 0) + return -1; for (l = 0; l < map->p[j]->n_ineq; ++l) { int stat; if (ineq_j[l] != STATUS_CUT) @@ -395,7 +396,8 @@ static int is_extension(struct isl_map *map, int i, int j, int k, snap = isl_tab_snap(tabs[i]); tabs[i] = isl_tab_relax(tabs[i], n_eq + k); snap2 = isl_tab_snap(tabs[i]); - tabs[i] = isl_tab_select_facet(tabs[i], n_eq + k); + if (isl_tab_select_facet(tabs[i], n_eq + k) < 0) + return -1; super = contains(map, j, ineq_j, tabs[i]); if (super) { if (isl_tab_rollback(tabs[i], snap2) < 0) @@ -582,7 +584,8 @@ static int can_wrap_in_facet(struct isl_map *map, int i, int j, int k, snap = isl_tab_snap(tabs[i]); - tabs[i] = isl_tab_select_facet(tabs[i], map->p[i]->n_eq + k); + if (isl_tab_select_facet(tabs[i], map->p[i]->n_eq + k) < 0) + goto error; if (isl_tab_detect_redundant(tabs[i]) < 0) goto error; @@ -700,8 +703,8 @@ static int wrap_in_facets(struct isl_map *map, int i, int j, wraps->n_row = 0; for (k = 0; k < n; ++k) { - tabs[i] = isl_tab_select_facet(tabs[i], - map->p[i]->n_eq + cuts[k]); + if (isl_tab_select_facet(tabs[i], map->p[i]->n_eq + cuts[k]) < 0) + goto error; if (isl_tab_detect_redundant(tabs[i]) < 0) goto error; set_is_redundant(tabs[i], map->p[i]->n_eq, cuts, n, k, 1); |