add missing annotations to isl_basic_set_compute_divs

Malhar Thakkar · Sven Verdoolaege · commit aca4406229d4 · 2017-07-03T16:54:50.000+02:00
These annotations prevent some memory leak warnings from being raised while
performing static analysis.

Signed-off-by: Malhar Thakkar &lt;malhar1910@gmail.com&gt;
Signed-off-by: Sven Verdoolaege &lt;sven.verdoolaege@gmail.com&gt;
diff --git a/include/isl/set.h b/include/isl/set.h
@@ -399,7 +399,7 @@ __isl_give isl_basic_set *isl_basic_set_neg(__isl_take isl_basic_set *bset);
 __isl_give isl_set *isl_set_neg(__isl_take isl_set *set);
 
 __isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set);
-struct isl_set *isl_basic_set_compute_divs(struct isl_basic_set *bset);
+__isl_give isl_set *isl_basic_set_compute_divs(__isl_take isl_basic_set *bset);
 __isl_give isl_set *isl_set_compute_divs(__isl_take isl_set *set);
 ISL_DEPRECATED
 __isl_give isl_set *isl_set_align_divs(__isl_take isl_set *set);
diff --git a/isl_map.c b/isl_map.c
@@ -7599,7 +7599,7 @@ __isl_give isl_map *isl_map_compute_divs(__isl_take isl_map *map)
 	return res;
 }
 
-struct isl_set *isl_basic_set_compute_divs(struct isl_basic_set *bset)
+__isl_give isl_set *isl_basic_set_compute_divs(__isl_take isl_basic_set *bset)
 {
 	return set_from_map(isl_basic_map_compute_divs(bset_to_bmap(bset)));
 }

Original file line number	Diff line number	Diff line change
`@@ -7599,7 +7599,7 @@ __isl_give isl_map isl_map_compute_divs(__isl_take isl_map map)`
`7599`	`7599`	`return res;`
`7600`	`7600`	`}`
`7601`	`7601`
`7602`		`-struct isl_set isl_basic_set_compute_divs(struct isl_basic_set bset)`
	`7602`	`+__isl_give isl_set isl_basic_set_compute_divs(__isl_take isl_basic_set bset)`
`7603`	`7603`	`{`
`7604`	`7604`	`return set_from_map(isl_basic_map_compute_divs(bset_to_bmap(bset)));`
`7605`	`7605`	`}`