projects
/
platform
/
upstream
/
isl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
isl_local_space_substitute_equalities: improve error message
[platform/upstream/isl.git]
/
isl_vertices.c
diff --git
a/isl_vertices.c
b/isl_vertices.c
index
c6d4ec0
..
562c7b2
100644
(file)
--- a/
isl_vertices.c
+++ b/
isl_vertices.c
@@
-879,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;