From 37449d833c09d9548a4a7590b68ff2ce015f84e5 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 16 Jun 2016 22:37:25 +0200
Subject: [PATCH] pip.c; plug_in_parameters: add memory management annotations

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 pip.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pip.c b/pip.c
index 2affa7b6..2baae1f1 100644
--- a/pip.c
+++ b/pip.c
@@ -94,7 +94,8 @@ static struct isl_basic_set *to_parameter_domain(struct isl_basic_set *context)
 	return context;
 }
 
-isl_basic_set *plug_in_parameters(isl_basic_set *bset, struct isl_vec *params)
+static __isl_give isl_basic_set *plug_in_parameters(
+	__isl_take isl_basic_set *bset, __isl_take isl_vec *params)
 {
 	int i;
 
-- 
2.11.4.GIT