From 90c73fbe26a22001f10d5e52289747bdd577c7bb Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 5 Jul 2013 19:27:04 +0200
Subject: [PATCH] isl_tab_basic_set_non_trivial_lexmin: accept NULL pointer on
 0-size allocation

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

diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 68e65f9b..6b9600f9 100644
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -5093,7 +5093,7 @@ __isl_give isl_vec *isl_tab_basic_set_non_trivial_lexmin(
 
 	v = isl_vec_alloc(ctx, 1 + tab->n_var);
 	triv = isl_calloc_array(ctx, struct isl_trivial, n_region);
-	if (!v || !triv)
+	if (!v || (n_region && !triv))
 		goto error;
 
 	level = 0;
-- 
2.11.4.GIT