cloog_domain_from_isl_set: make sure divs are computed at all times
commit20c9bc73bd7f77d1322fdf1bb2dc067c2bb4695f
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 25 Oct 2010 08:39:48 +0000 (25 10:39 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 27 Oct 2010 14:00:06 +0000 (27 16:00 +0200)
tree04e3765d31e5ff0abd213802ee512e77e5805c9c
parentfae4b02ad190dab96798769b2698659e52b77c00
cloog_domain_from_isl_set: make sure divs are computed at all times

Otherwise, they may get computed at inappropriate times, possibly
resulting in union domains where they are not expected.
In particular, these union domains might otherwise appear at non-leaf
levels during cloog_loop_simplify, resulting in general mayhem.

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