Makefile.am: add isl_val_private.h to libisl.la sources

[platform/upstream/isl.git] / isl_vertices.c

diff --git a/isl_vertices.c b/isl_vertices.c
index 5147293..562c7b2 100644 (file)
--- a/isl_vertices.c
+++ b/isl_vertices.c
@@ -101,7 +101,7 @@ static __isl_give isl_vertices *vertices_from_list(__isl_keep isl_basic_set *bse
 
        return vertices;
 error:
-       free(vertices);
+       isl_vertices_free(vertices);
        free_vertex_list(list);
        return NULL;
 }
@@ -134,7 +134,7 @@ static int add_vertex(struct isl_vertex_list **list,
                goto error;
        isl_assert(bset->ctx, v->v.vertex->n_eq >= nvar, goto error);
        v->v.dom = isl_basic_set_copy(v->v.vertex);
-       v->v.dom = isl_basic_set_project_out(v->v.dom, isl_dim_set, 0, nvar);
+       v->v.dom = isl_basic_set_params(v->v.dom);
        if (!v->v.dom)
                goto error;
 
@@ -495,6 +495,7 @@ __isl_give isl_vertices *isl_basic_set_compute_vertices(
 
        return vertices;
 error:
+       free_vertex_list(list);
        isl_mat_free(facets);
        free(selection);
        free(snap);
@@ -878,6 +879,8 @@ static __isl_give isl_vertices *compute_chambers(__isl_take isl_basic_set *bset,
        bset = isl_basic_set_params(bset);
 
        tab = isl_tab_from_basic_set(bset, 1);
+       if (!tab)
+               goto error;
        for (i = 0; i < bset->n_ineq; ++i)
                if (isl_tab_freeze_constraint(tab, i) < 0)
                        goto error;
@@ -991,10 +994,8 @@ __isl_give isl_basic_set *isl_vertex_get_domain(__isl_keep isl_vertex *vertex)
 
        v = &vertex->vertices->v[vertex->id];
        if (!v->dom) {
-               unsigned nvar;
-               nvar = isl_basic_set_dim(v->vertex, isl_dim_set);
                v->dom = isl_basic_set_copy(v->vertex);
-               v->dom = isl_basic_set_project_out(v->dom, isl_dim_set, 0, nvar);
+               v->dom = isl_basic_set_params(v->dom);
        }
 
        return isl_basic_set_copy(v->dom);