return vertices;
error:
- free(vertices);
+ isl_vertices_free(vertices);
free_vertex_list(list);
return NULL;
}
return vertices;
error:
+ free_vertex_list(list);
isl_mat_free(facets);
free(selection);
free(snap);
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;