isl_map.c: order_divs: swap with correct div

The bug in the original code could result in a div being swapped
with itself, in turn resulting in an infinite loop.

diff --git a/isl_map.c b/isl_map.c
index 818d462..7ee8767 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -3581,7 +3581,7 @@ static struct isl_basic_map *order_divs(struct isl_basic_map *bmap)
                                                            bmap->n_div-i);
                if (pos == -1)
                        continue;
-               swap_div(bmap, i, pos);
+               swap_div(bmap, i, i + pos);
                --i;
        }
        return bmap;