From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 2 Dec 2012 14:35:19 +0000 (+0100)
Subject: isl_output.c: print_set_c: handle NULL input
X-Git-Tag: isl-0.11~7
X-Git-Url: https://repo.or.cz/w/isl.git/commitdiff_plain/1e71ad61c0a7a246031542c7536d2bbdf1a5fad6

isl_output.c: print_set_c: handle NULL input

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---

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");