projects
/
platform
/
upstream
/
isl.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
972e4ac
)
isl_convex_hull.c: extend: fix error handling
author
Sven Verdoolaege
<skimo@kotnet.org>
Sat, 26 Jun 2010 09:35:44 +0000
(11:35 +0200)
committer
Sven Verdoolaege
<skimo@kotnet.org>
Sat, 26 Jun 2010 15:37:40 +0000
(17:37 +0200)
isl_convex_hull.c
patch
|
blob
|
history
diff --git
a/isl_convex_hull.c
b/isl_convex_hull.c
index
f8565e0
..
f783671
100644
(file)
--- a/
isl_convex_hull.c
+++ b/
isl_convex_hull.c
@@
-623,11
+623,13
@@
static struct isl_basic_set *extend(struct isl_basic_set *hull,
hull_facet = isl_basic_set_add_equality(hull_facet, hull->ineq[i]);
hull_facet = isl_basic_set_gauss(hull_facet, NULL);
hull_facet = isl_basic_set_normalize_constraints(hull_facet);
hull_facet = isl_basic_set_add_equality(hull_facet, hull->ineq[i]);
hull_facet = isl_basic_set_gauss(hull_facet, NULL);
hull_facet = isl_basic_set_normalize_constraints(hull_facet);
- if (!facet)
+ if (!facet
|| !hull_facet
)
goto error;
hull = isl_basic_set_cow(hull);
hull = isl_basic_set_extend_dim(hull,
isl_dim_copy(hull->dim), 0, 0, facet->n_ineq);
goto error;
hull = isl_basic_set_cow(hull);
hull = isl_basic_set_extend_dim(hull,
isl_dim_copy(hull->dim), 0, 0, facet->n_ineq);
+ if (!hull)
+ goto error;
for (j = 0; j < facet->n_ineq; ++j) {
for (f = 0; f < hull_facet->n_ineq; ++f)
if (isl_seq_eq(facet->ineq[j],
for (j = 0; j < facet->n_ineq; ++j) {
for (f = 0; f < hull_facet->n_ineq; ++f)
if (isl_seq_eq(facet->ineq[j],