isl_map_drop: properly handle nested spaces
commitabcbdfe94adb934f990c887713d256104d8125e4
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 6 Sep 2016 14:17:03 +0000 (6 16:17 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 20 Feb 2017 09:33:34 +0000 (20 10:33 +0100)
tree03f448501f203715a90a05b1edb1dfa444c0c791
parentb5efaca4d521c33dd3bba3091705af9803dfa6ee
isl_map_drop: 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