cloog_union_domain_from_isl_union_set: actually use name of space, if any
commitd178b9551541ed363f3d6d0889c18ede2bd0d6bd
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 30 Dec 2010 18:53:59 +0000 (30 19:53 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 30 Dec 2010 19:00:51 +0000 (30 20:00 +0100)
tree1ea472e4b2b7f46d2d1551d202ecde29fa498f13
parent64efc80b5755790de493f13243d363997094e480
cloog_union_domain_from_isl_union_set: actually use name of space, if any

Before this commit, an attempt was made to use the name of the space,
but the wrong tuple was being used.
Also, if the space is named, then it will get dropped by some operations
performed by CLooG, so we'd better drop the name completely, as well as
any internal structure, to avoid mismatches later on.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
source/isl/domain.c