isl_output.c: print_set_c: handle NULL input
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 2 Dec 2012 14:35:19 +0000 (2 15:35 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 2 Dec 2012 14:35:19 +0000 (2 15:35 +0100)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_output.c

index d685160..a1feb7f 100644 (file)
@@ -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");