From b5efaca4d521c33dd3bba3091705af9803dfa6ee Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 28 Sep 2016 10:27:35 +0200 Subject: [PATCH] isl_basic_set_drop_dims: properly handle nested spaces In particular, reset the space, even if the number of dimensions to be dropped is zero. Do this for consistency with other functions that manipulate the number of dimensions. Signed-off-by: Sven Verdoolaege --- isl_map_simplify.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/isl_map_simplify.c b/isl_map_simplify.c index 0a1e4656..59a88b95 100644 --- a/isl_map_simplify.c +++ b/isl_map_simplify.c @@ -67,7 +67,7 @@ struct isl_basic_set *isl_basic_set_drop_dims( isl_assert(bset->ctx, first + n <= bset->dim->n_out, goto error); - if (n == 0 && !isl_space_get_tuple_name(bset->dim, isl_dim_set)) + if (n == 0 && !isl_space_is_named_or_nested(bset->dim, isl_dim_set)) return bset; bset = isl_basic_set_cow(bset); -- 2.11.4.GIT