projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1bf5457) | patch
isl_map_intersect: be careful when intersecting with empty parameter domain
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 25 Jul 2011 15:17:12 +0000 (17:17 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 25 Jul 2011 19:00:03 +0000 (21:00 +0200)
commite58a8e14105f6e9218a64096c3e279e690e2f7e0
treecfb055dbdafb25177bd3fb9a8c0e5929f4220729tree | snapshot
parent1bf54572503fce92368fc2021c2299e36dedd9e1commit | diff
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 diff | blob | history
Domain: System / Uncategorized;