From 67efe9b76671b539be8cdc7c863f6014c83aeac2 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 11 Aug 2016 14:52:06 +0200
Subject: [PATCH] isl_map.c: find_div: add memory management annotations

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

diff --git a/isl_map.c b/isl_map.c
index 8632ff63..44ea53fb 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -8739,8 +8739,8 @@ __isl_give isl_basic_set *isl_basic_set_expand_divs(
  * Returns -1 if no corresponding div was found and the position
  * of the corresponding div in dst otherwise.
  */
-static int find_div(struct isl_basic_map *dst,
-			struct isl_basic_map *src, unsigned div)
+static int find_div(__isl_keep isl_basic_map *dst,
+	__isl_keep isl_basic_map *src, unsigned div)
 {
 	int i;
 
-- 
2.11.4.GIT