diff options
| -rw-r--r-- | isl_output.c | 3 |
1 files changed, 3 insertions, 0 deletions
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"); |