From 8b08eb5c6d66c346f5399e7d931701ef85e1b905 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sat, 27 Aug 2011 14:31:31 +0200 Subject: [PATCH] isl_tab_basic_set_non_trivial_lexmin: drop explicit conversion to isl_basic_map And similarly for isl_tab_basic_set_non_neg_lexmin. In future, the space of an isl_basic_map will be different from that of an isl_basic_set. Calling isl_basic_map_from_range may therefore result in possibly costly changes. Signed-off-by: Sven Verdoolaege --- isl_tab_pip.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/isl_tab_pip.c b/isl_tab_pip.c index 1d8da80..6e57da2 100644 --- a/isl_tab_pip.c +++ b/isl_tab_pip.c @@ -4867,7 +4867,7 @@ __isl_give isl_vec *isl_tab_basic_set_non_trivial_lexmin( struct isl_trivial *triv = NULL; int level, init; - tab = tab_for_lexmin(isl_basic_map_from_range(bset), NULL, 0, 0); + tab = tab_for_lexmin(bset, NULL, 0, 0); if (!tab) goto error; tab->conflict = conflict; @@ -4982,7 +4982,7 @@ __isl_give isl_vec *isl_tab_basic_set_non_neg_lexmin( isl_ctx *ctx = isl_basic_set_get_ctx(bset); isl_vec *sol; - tab = tab_for_lexmin(isl_basic_map_from_range(bset), NULL, 0, 0); + tab = tab_for_lexmin(bset, NULL, 0, 0); if (!tab) goto error; if (tab->empty) -- 2.7.4