isl_map_intersect: be careful when intersecting with empty parameter domain
commit025da9a992dcbca0e4a8eb2b3854f3de57ee2895
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 25 Jul 2011 15:17:12 +0000 (25 17:17 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 25 Jul 2011 15:17:12 +0000 (25 17:17 +0200)
tree96a4742d714415b2c9fb68164539e0c06b6dad89
parent9f6d9154795e12cecdb0e055c8fdc227658df53e
isl_map_intersect: be careful when intersecting with empty parameter domain

isl_map_intersect currently doubles as a isl_map_intersect_params
and in this capacity, the spaces of the two arguments may be different.
In this case, we need to make sure that we return an (empty) map
in the correct space.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_map.c