diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2012-12-02 15:35:19 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2012-12-02 15:35:19 +0100 |
commit | 1e71ad61c0a7a246031542c7536d2bbdf1a5fad6 (patch) | |
tree | 7429c27da437c009a12cbb4a289356baa3a6f515 | |
parent | 2390fd397522c757632375c5aa395831b036f225 (diff) | |
download | isl-1e71ad61c0a7a246031542c7536d2bbdf1a5fad6.tar.gz isl-1e71ad61c0a7a246031542c7536d2bbdf1a5fad6.tar.bz2 isl-1e71ad61c0a7a246031542c7536d2bbdf1a5fad6.zip |
isl_output.c: print_set_c: handle NULL input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
-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"); |