isl_basic_map_remove: only drop divs if basic map did not turn out to be empty
commit8bfab72ceb2129241942a85192c309cdcd2c0c13
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 28 Aug 2009 17:40:58 +0000 (28 19:40 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 28 Aug 2009 17:40:58 +0000 (28 19:40 +0200)
tree713a4438d298ebc90b7463ac98c26fd90981511c
parenteea1e6f375d9b1354891bc2f3ea904fef7742207
isl_basic_map_remove: only drop divs if basic map did not turn out to be empty

If isl_basic_map_eliminate_vars finds that its argument is empty,
it resets its constraints to the canonical representation of an empty
set and drops all divs.
isl_map.c