isl_basic_set_drop_dims: properly handle nested spaces
commitb5efaca4d521c33dd3bba3091705af9803dfa6ee
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 28 Sep 2016 08:27:35 +0000 (28 10:27 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 20 Feb 2017 09:03:15 +0000 (20 10:03 +0100)
treeadd8ab2a204b42691ee3811f64f61397da9c708b
parent2f986b5acfbd5b13fa491dffb1e0c1b5443acc35
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 <skimo@kotnet.org>
isl_map_simplify.c