isl_printer_free: return NULL

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

diff --git a/doc/user.pod b/doc/user.pod
index b2f6483..37de989 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1004,7 +1004,7 @@ be created.
        __isl_give isl_printer *isl_printer_to_file(isl_ctx *ctx,
                FILE *file);
        __isl_give isl_printer *isl_printer_to_str(isl_ctx *ctx);
-       void isl_printer_free(__isl_take isl_printer *printer);
+       void *isl_printer_free(__isl_take isl_printer *printer);
        __isl_give char *isl_printer_get_str(
                __isl_keep isl_printer *printer);
 

diff --git a/include/isl/printer.h b/include/isl/printer.h
index 17b508d..0979fc2 100644 (file)
--- a/include/isl/printer.h
+++ b/include/isl/printer.h
@@ -13,7 +13,7 @@ typedef struct isl_printer isl_printer;
 
 __isl_give isl_printer *isl_printer_to_file(isl_ctx *ctx, FILE *file);
 __isl_give isl_printer *isl_printer_to_str(isl_ctx *ctx);
-void isl_printer_free(__isl_take isl_printer *printer);
+void *isl_printer_free(__isl_take isl_printer *printer);
 
 isl_ctx *isl_printer_get_ctx(__isl_keep isl_printer *printer);
 FILE *isl_printer_get_file(__isl_keep isl_printer *printer);

diff --git a/isl_printer.c b/isl_printer.c
index ed5522f..322244a 100644 (file)
--- a/isl_printer.c
+++ b/isl_printer.c
@@ -256,13 +256,15 @@ error:
        return NULL;
 }
 
-void isl_printer_free(__isl_take isl_printer *p)
+void *isl_printer_free(__isl_take isl_printer *p)
 {
        if (!p)
-               return;
+               return NULL;
        free(p->buf);
        isl_ctx_deref(p->ctx);
        free(p);
+
+       return NULL;
 }
 
 isl_ctx *isl_printer_get_ctx(__isl_keep isl_printer *printer)