isl_{set,map}_dim_{min,max}: fix output space on empty set/map
commit1e9692d3ca970b5bc8d85db6cba6cbf78ed414d0
authorAlexandre Isoard <alexandre.isoard@ens-lyon.fr>
Wed, 19 Feb 2014 10:33:57 +0000 (19 11:33 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 1 Mar 2014 19:32:55 +0000 (1 20:32 +0100)
tree43ad36a94aecf7d587f973f40fb3bd1ee61258fa
parent53dcc9a6e6bc02826e9220f4cddec5cb44d4c61b
isl_{set,map}_dim_{min,max}: fix output space on empty set/map

isl_{set,map}_dim_{min,max} always returns an isl_pw_aff with a space
that has the same parameters and input space as the input but with a
mono-dimensional output space corresponding to the optimized dimension.

However on empty input the output space was zero-dimensional instead.

Signed-off-by: Alexandre Isoard <alexandre.isoard@ens-lyon.fr>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map.c
isl_test.c