From 1d15e0e31fa910d4f7e6a0090eb4910faf09b557 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 17 Sep 2012 17:13:49 +0200 Subject: [PATCH] isl_stream_read_union_map: force result to be a map Signed-off-by: Sven Verdoolaege --- isl_input.c | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/isl_input.c b/isl_input.c index afc5277b..bc10d3a1 100644 --- a/isl_input.c +++ b/isl_input.c @@ -2044,9 +2044,11 @@ __isl_give isl_union_map *isl_stream_read_union_map(struct isl_stream *s) obj.type = isl_obj_union_set; obj.v = isl_union_set_from_set(obj.v); } - if (obj.v) - isl_assert(s->ctx, obj.type == isl_obj_union_map || - obj.type == isl_obj_union_set, goto error); + if (obj.v && obj.type == isl_obj_union_set && + isl_union_set_is_empty(obj.v)) + obj.type = isl_obj_union_map; + if (obj.v && obj.type != isl_obj_union_map) + isl_die(s->ctx, isl_error_invalid, "invalid input", goto error); return obj.v; error: -- 2.11.4.GIT