isl_mat_product: add memory management annotations

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

diff --git a/include/isl/mat.h b/include/isl/mat.h
index 997b07e..3719004 100644 (file)
--- a/include/isl/mat.h
+++ b/include/isl/mat.h
@@ -60,7 +60,8 @@ struct isl_mat *isl_mat_left_hermite(struct isl_mat *M,
 struct isl_mat *isl_mat_lin_to_aff(struct isl_mat *mat);
 struct isl_mat *isl_mat_inverse_product(struct isl_mat *left,
        struct isl_mat *right);
-struct isl_mat *isl_mat_product(struct isl_mat *left, struct isl_mat *right);
+__isl_give isl_mat *isl_mat_product(__isl_take isl_mat *left,
+       __isl_take isl_mat *right);
 struct isl_mat *isl_mat_transpose(struct isl_mat *mat);
 __isl_give isl_mat *isl_mat_right_inverse(__isl_take isl_mat *mat);
 __isl_give isl_mat *isl_mat_right_kernel(__isl_take isl_mat *mat);

diff --git a/isl_mat.c b/isl_mat.c
index 16a79f7..2848e0a 100644 (file)
--- a/isl_mat.c
+++ b/isl_mat.c
@@ -967,7 +967,8 @@ struct isl_mat *isl_mat_swap_rows(struct isl_mat *mat, unsigned i, unsigned j)
        return mat;
 }
 
-struct isl_mat *isl_mat_product(struct isl_mat *left, struct isl_mat *right)
+__isl_give isl_mat *isl_mat_product(__isl_take isl_mat *left,
+       __isl_take isl_mat *right)
 {
        int i, j, k;
        struct isl_mat *prod;