From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 2 Dec 2012 16:37:44 +0000 (+0100)
Subject: isl_tab_basic_set_non_trivial_lexmin: handle NULL input
X-Git-Tag: isl-0.11~2
X-Git-Url: https://repo.or.cz/w/isl.git/commitdiff_plain/8d3c857c5875a7a9407775b5a451a9d14ab44a47

isl_tab_basic_set_non_trivial_lexmin: handle NULL input

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

diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 9663979a..88853609 100644
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -4989,13 +4989,19 @@ __isl_give isl_vec *isl_tab_basic_set_non_trivial_lexmin(
 {
 	int i, j;
 	int r;
-	isl_ctx *ctx = isl_basic_set_get_ctx(bset);
+	isl_ctx *ctx;
 	isl_vec *v = NULL;
-	isl_vec *sol = isl_vec_alloc(ctx, 0);
+	isl_vec *sol = NULL;
 	struct isl_tab *tab;
 	struct isl_trivial *triv = NULL;
 	int level, init;
 
+	if (!bset)
+		return NULL;
+
+	ctx = isl_basic_set_get_ctx(bset);
+	sol = isl_vec_alloc(ctx, 0);
+
 	tab = tab_for_lexmin(bset, NULL, 0, 0);
 	if (!tab)
 		goto error;