summaryloggraphiclog1graphiclog2commitcommitdifftreerefseditfork
rawpatchinlineside by side (parent: 744b77f)
rawpatchinlineside by side (parent: 744b77f)
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 7 Dec 2015 09:26:13 +0000 (7 10:26 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 7 Dec 2015 16:18:48 +0000 (7 17:18 +0100) |
Since isl_map_drop_constraints_involving_dims removes constraints,
the result may no longer be disjoint.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
the result may no longer be disjoint.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_affine_hull.c | patchblobblamehistory |
diff --git a/isl_affine_hull.c b/isl_affine_hull.c
--- a/isl_affine_hull.c
+++ b/isl_affine_hull.c
return isl_map_free(map);
}
+ if (map->n > 1)
+ ISL_F_CLR(map, ISL_MAP_DISJOINT);
+
return map;
}