summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
raw | patch | inline | side by side (parent: 0fb4956)
add missing annotations to isl_basic_set_preimage
authorMalhar Thakkar <malhar1910@gmail.com>
Mon, 3 Jul 2017 12:31:08 +0000 (3 18:01 +0530)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 3 Jul 2017 14:54:50 +0000 (3 16:54 +0200)
These annotations prevent some memory leak warnings from being raised while
performing static analysis.

Signed-off-by: Malhar Thakkar <malhar1910@gmail.com>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_map_private.h patch | blob | blame | history
isl_mat.c patch | blob | blame | history

diff --git a/isl_map_private.h b/isl_map_private.h
index a2a53db..c62533f 100644 (file)
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -388,8 +388,8 @@ __isl_give isl_basic_map *isl_basic_map_from_multi_aff2(
 
 struct isl_mat;
 
-struct isl_basic_set *isl_basic_set_preimage(struct isl_basic_set *bset,
-       struct isl_mat *mat);
+__isl_give isl_basic_set *isl_basic_set_preimage(
+       __isl_take isl_basic_set *bset, __isl_take isl_mat *mat);
 struct isl_set *isl_set_preimage(struct isl_set *set, struct isl_mat *mat);
 
 __isl_give isl_basic_map *isl_basic_map_transform_dims(
diff --git a/isl_mat.c b/isl_mat.c
index 3d0eb29..9a4c6aa 100644 (file)
--- a/isl_mat.c
+++ b/isl_mat.c
@@ -1284,8 +1284,8 @@ static int preimage(struct isl_ctx *ctx, isl_int **q, unsigned n,
  * the div array too as the number of rows in this array is assumed
  * to be equal to extra.
  */
-struct isl_basic_set *isl_basic_set_preimage(struct isl_basic_set *bset,
-       struct isl_mat *mat)
+__isl_give isl_basic_set *isl_basic_set_preimage(
+       __isl_take isl_basic_set *bset, __isl_take isl_mat *mat)
 {
        struct isl_ctx *ctx;
 
Integer set library