export isl_tab_sample_is_integer

diff --git a/isl_tab.c b/isl_tab.c
index 4f2e783..3d894a2 100644 (file)
--- a/isl_tab.c
+++ b/isl_tab.c
@@ -1130,10 +1130,13 @@ int isl_tab_cone_is_bounded(struct isl_ctx *ctx, struct isl_tab *tab)
        return 0;
 }
 
-static int sample_is_integer(struct isl_ctx *ctx, struct isl_tab *tab)
+int isl_tab_sample_is_integer(struct isl_ctx *ctx, struct isl_tab *tab)
 {
        int i;
 
+       if (!tab)
+               return -1;
+
        for (i = 0; i < tab->n_var; ++i) {
                int row;
                if (!tab->var[i].is_row)
@@ -1236,7 +1239,7 @@ struct isl_basic_map *isl_basic_map_update_from_tab(struct isl_basic_map *bmap,
                                isl_basic_map_drop_inequality(bmap, i);
                }
        if (!tab->rational &&
-           !bmap->sample && sample_is_integer(bmap->ctx, tab))
+           !bmap->sample && isl_tab_sample_is_integer(bmap->ctx, tab))
                bmap->sample = extract_integer_sample(bmap->ctx, tab);
        return bmap;
 }

diff --git a/isl_tab.h b/isl_tab.h
index e747a9f..daa6ae6 100644 (file)
--- a/isl_tab.h
+++ b/isl_tab.h
@@ -127,6 +127,7 @@ struct isl_tab *isl_tab_add_valid_eq(struct isl_ctx *ctx,
 int isl_tab_is_equality(struct isl_ctx *ctx, struct isl_tab *tab, int con);
 int isl_tab_is_redundant(struct isl_ctx *ctx, struct isl_tab *tab, int con);
 
+int isl_tab_sample_is_integer(struct isl_ctx *ctx, struct isl_tab *tab);
 struct isl_vec *isl_tab_get_sample_value(struct isl_ctx *ctx,
                                                struct isl_tab *tab);