isl_access_info_free: return NULL

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

diff --git a/doc/user.pod b/doc/user.pod
index 46c3f64..49df206 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -4226,7 +4226,7 @@ then value based dependence analysis is performed.
                __isl_take isl_access_info *acc,
                __isl_take isl_map *source, int must,
                void *source_user);
-       void isl_access_info_free(__isl_take isl_access_info *acc);
+       void *isl_access_info_free(__isl_take isl_access_info *acc);
 
        __isl_give isl_flow *isl_access_info_compute_flow(
                __isl_take isl_access_info *acc);

diff --git a/include/isl/flow.h b/include/isl/flow.h
index a72b27b..ddaa941 100644 (file)
--- a/include/isl/flow.h
+++ b/include/isl/flow.h
@@ -47,7 +47,7 @@ __isl_give isl_access_info *isl_access_info_set_restrict(
 __isl_give isl_access_info *isl_access_info_add_source(
        __isl_take isl_access_info *acc, __isl_take isl_map *source,
        int must, void *source_user);
-void isl_access_info_free(__isl_take isl_access_info *acc);
+void *isl_access_info_free(__isl_take isl_access_info *acc);
 
 isl_ctx *isl_access_info_get_ctx(__isl_keep isl_access_info *acc);
 

diff --git a/isl_flow.c b/isl_flow.c
index 6367a26..1129d04 100644 (file)
--- a/isl_flow.c
+++ b/isl_flow.c
@@ -227,17 +227,18 @@ error:
 
 /* Free the given isl_access_info structure.
  */
-void isl_access_info_free(__isl_take isl_access_info *acc)
+void *isl_access_info_free(__isl_take isl_access_info *acc)
 {
        int i;
 
        if (!acc)
-               return;
+               return NULL;
        isl_map_free(acc->domain_map);
        isl_map_free(acc->sink.map);
        for (i = 0; i < acc->n_must + acc->n_may; ++i)
                isl_map_free(acc->source[i].map);
        free(acc);
+       return NULL;
 }
 
 isl_ctx *isl_access_info_get_ctx(__isl_keep isl_access_info *acc)