From d34c36f2ce80749400b93d687700b3a2099b9d11 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 9 Sep 2013 14:39:39 +0200 Subject: [PATCH] add a note on isl_map_union_disjoint We will be making some changes to isl_map_union. Add a note to isl_map_union_disjoint that we have to be careful about making similar changes there. Signed-off-by: Sven Verdoolaege --- isl_map.c | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/isl_map.c b/isl_map.c index 5ffdd093..f5c70d8f 100644 --- a/isl_map.c +++ b/isl_map.c @@ -7161,6 +7161,13 @@ error: return NULL; } +/* Return the union of "map1" and "map2", where "map1" and "map2" are + * guaranteed to be disjoint by the caller. + * + * Note that this functions is called from within isl_map_make_disjoint, + * so we have to be careful not to touch the constraints of the inputs + * in any way. + */ __isl_give isl_map *isl_map_union_disjoint(__isl_take isl_map *map1, __isl_take isl_map *map2) { -- 2.11.4.GIT