add isl_div_copy

diff --git a/include/isl_div.h b/include/isl_div.h
index 8d21510..f9b590f 100644 (file)
--- a/include/isl_div.h
+++ b/include/isl_div.h
@@ -29,6 +29,7 @@ typedef struct isl_div isl_div;
 struct isl_div *isl_div_alloc(struct isl_dim *dim);
 struct isl_div *isl_basic_map_div(struct isl_basic_map *bmap, int pos);
 struct isl_div *isl_basic_set_div(struct isl_basic_set *bset, int pos);
+__isl_give isl_div *isl_div_copy(__isl_keep isl_div *div);
 void isl_div_free(struct isl_div *c);
 
 void isl_div_get_constant(__isl_keep isl_div *div, isl_int *v);

diff --git a/isl_div.c b/isl_div.c
index 5c402db..3db5ad2 100644 (file)
--- a/isl_div.c
+++ b/isl_div.c
@@ -88,6 +88,15 @@ struct isl_div *isl_div_alloc(struct isl_dim *dim)
        return isl_basic_map_div(bmap, 0);
 }
 
+__isl_give isl_div *isl_div_copy(__isl_keep isl_div *div)
+{
+       if (!div)
+               return NULL;
+
+       div->ref++;
+       return div;
+}
+
 void isl_div_free(struct isl_div *c)
 {
        if (!c)