From 3f5da6aa1c89d1d123312e03d0898c58abf28850 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 28 Jul 2016 15:42:07 +0200 Subject: [PATCH] drop isl_set_from_underlying_set This function was introduced in ffca595 (add isl_set_{from,to}_underlying_set, Thu Sep 18 20:36:22 2008 +0200) but does not appear to have ever been used, although it used to be exposed until 523e515 (hide internal isl_set functions, Tue Apr 28 15:54:37 2015 +0200). Signed-off-by: Sven Verdoolaege --- isl_map.c | 34 ---------------------------------- isl_map_private.h | 2 -- 2 files changed, 36 deletions(-) diff --git a/isl_map.c b/isl_map.c index 63173f9a..17b48481 100644 --- a/isl_map.c +++ b/isl_map.c @@ -5081,40 +5081,6 @@ struct isl_basic_set *isl_basic_set_from_underlying_set( bset_to_bmap(like))); } -struct isl_set *isl_set_from_underlying_set( - struct isl_set *set, struct isl_basic_set *like) -{ - int i; - - if (!set || !like) - goto error; - isl_assert(set->ctx, set->dim->n_out == isl_basic_set_total_dim(like), - goto error); - if (isl_space_is_equal(set->dim, like->dim) && like->n_div == 0) { - isl_basic_set_free(like); - return set; - } - set = isl_set_cow(set); - if (!set) - goto error; - for (i = 0; i < set->n; ++i) { - set->p[i] = isl_basic_set_from_underlying_set(set->p[i], - isl_basic_set_copy(like)); - if (!set->p[i]) - goto error; - } - isl_space_free(set->dim); - set->dim = isl_space_copy(like->dim); - if (!set->dim) - goto error; - isl_basic_set_free(like); - return set; -error: - isl_basic_set_free(like); - isl_set_free(set); - return NULL; -} - struct isl_set *isl_map_underlying_set(struct isl_map *map) { int i; diff --git a/isl_map_private.h b/isl_map_private.h index d4ed92fd..56ab1db1 100644 --- a/isl_map_private.h +++ b/isl_map_private.h @@ -162,8 +162,6 @@ __isl_give isl_map *isl_map_finalize(__isl_take isl_map *map); __isl_give isl_basic_set *isl_basic_set_from_underlying_set( __isl_take isl_basic_set *bset, __isl_take isl_basic_set *like); -__isl_give isl_set *isl_set_from_underlying_set( - __isl_take isl_set *set, __isl_take isl_basic_set *like); __isl_give isl_set *isl_set_to_underlying_set(__isl_take isl_set *set); __isl_give isl_map *isl_map_realign(__isl_take isl_map *map, -- 2.11.4.GIT