From 1e71ad61c0a7a246031542c7536d2bbdf1a5fad6 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 2 Dec 2012 15:35:19 +0100 Subject: [PATCH] isl_output.c: print_set_c: handle NULL input Signed-off-by: Sven Verdoolaege --- isl_output.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/isl_output.c b/isl_output.c index d6851605..a1feb7f6 100644 --- a/isl_output.c +++ b/isl_output.c @@ -1680,6 +1680,9 @@ static __isl_give isl_printer *print_set_c(__isl_take isl_printer *p, { int i; + if (!set) + return isl_printer_free(p); + if (set->n == 0) p = isl_printer_print_str(p, "0"); -- 2.11.4.GIT