isl_basic_set_swap_vars: re-gauss resulting bset
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 29 Nov 2009 17:24:39 +0000 (18:24 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 29 Nov 2009 18:29:15 +0000 (19:29 +0100)
Many functions assume that their inputs have been gaussed.

isl_map.c

index 89673ea..9227073 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -1066,8 +1066,7 @@ struct isl_basic_set *isl_basic_set_swap_vars(
        isl_blk_free(bset->ctx, blk);
 
        ISL_F_CLR(bset, ISL_BASIC_SET_NORMALIZED);
-       return bset;
-
+       return isl_basic_set_gauss(bset, NULL);
 error:
        isl_basic_set_free(bset);
        return NULL;