From 1d767927d11158fe8370e53ef83d79995b2b7bce Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Mon, 3 Dec 2012 13:37:28 +0100
Subject: [PATCH] isl_tab_basic_set_non_neg_lexmin: handle NULL input

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 isl_tab_pip.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 88853609..8d16d5ca 100644
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -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;
-- 
2.11.4.GIT