From 327350859c22bb998af5ebe3f4d269d8ea054bf6 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sat, 5 Apr 2014 15:21:55 +0200 Subject: [PATCH] isl_basic_{set,map}_read_*: improve error message Signed-off-by: Sven Verdoolaege --- isl_input.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/isl_input.c b/isl_input.c index df5706f9..500954ab 100644 --- a/isl_input.c +++ b/isl_input.c @@ -2555,7 +2555,10 @@ static __isl_give isl_basic_map *basic_map_read(struct isl_stream *s) if (!map) return NULL; - isl_assert(map->ctx, map->n <= 1, goto error); + if (map->n > 1) + isl_die(s->ctx, isl_error_invalid, + "set or map description involves " + "more than one disjunct", goto error); if (map->n == 0) bmap = isl_basic_map_empty_like_map(map); -- 2.11.4.GIT