isl_set_intersect: properly handle intersection with parameter domains
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 22 Sep 2011 09:53:09 +0000 (11:53 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 26 Sep 2011 15:57:37 +0000 (17:57 +0200)
commitf0ac917a5031316ff5ab40d1bec972a25debc04a
tree47c489b43e9a8fe42c600b271b35521172ac5891
parentdeb120521622fd2237b7794734f95e4fc03df272
isl_set_intersect: properly handle intersection with parameter domains

isl_set_intersect currently allows one of its arguments to be a parameter
domain while the other is not.  This will probably change in future, but
while we still support this situation, we should make sure that the result
lives in the same space as that of the argument that is not a parameter domain.

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