isl_tab_basic_set_non_neg_lexmin: handle NULL input
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 3 Dec 2012 12:37:28 +0000 (3 13:37 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 3 Dec 2012 12:37:28 +0000 (3 13:37 +0100)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_tab_pip.c

index 8885360..8d16d5c 100644 (file)
@@ -5117,6 +5117,9 @@ __isl_give isl_vec *isl_tab_basic_set_non_neg_lexmin(
        isl_ctx *ctx = isl_basic_set_get_ctx(bset);
        isl_vec *sol;
 
+       if (!bset)
+               return NULL;
+
        tab = tab_for_lexmin(bset, NULL, 0, 0);
        if (!tab)
                goto error;