move integer division sanity check to isl_basic_map_order_divs
commit1f8779e418655dafd9883f2ecef5da2c4d657318
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 22 Feb 2016 15:10:25 +0000 (22 16:10 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 22 Feb 2016 15:10:25 +0000 (22 16:10 +0100)
tree3e2688dd6e6b54789946a820cfd899dcb1e60fff
parent8fad2113d1189a0a5f0d35d8751256f9397d3914
move integer division sanity check to isl_basic_map_order_divs

A sanity check that an integer division is not defined in terms
of itself somehow ended up in isl_basic_map_divs_known, presumably
for no other reason than that this function has to visit some
of the integer divisions anyway.
Move the check to isl_basic_map_order_divs instead, where
a failure to satisfy the check would actually result in an infinite loop.

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