projects
/
platform
/
upstream
/
isl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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:
return vertices;
error:
- free(vertices);
+
isl_vertices_
free(vertices);
free_vertex_list(list);
return NULL;
}
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);
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_p
roject_out(v->v.dom, isl_dim_set, 0, nvar
);
+ v->v.dom = isl_basic_set_p
arams(v->v.dom
);
if (!v->v.dom)
goto error;
if (!v->v.dom)
goto error;
@@
-495,6
+495,7
@@
__isl_give isl_vertices *isl_basic_set_compute_vertices(
return vertices;
error:
return vertices;
error:
+ free_vertex_list(list);
isl_mat_free(facets);
free(selection);
free(snap);
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);
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;
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) {
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_copy(v->vertex);
- v->dom = isl_basic_set_p
roject_out(v->dom, isl_dim_set, 0, nvar
);
+ v->dom = isl_basic_set_p
arams(v->dom
);
}
return isl_basic_set_copy(v->dom);
}
return isl_basic_set_copy(v->dom);