From ebcf3c4b213d706f1f39c0c564624624025e2816 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 5 Jul 2013 19:21:58 +0200
Subject: [PATCH] isl_tab_push_basis: accept NULL pointer on zero-size
 allocation

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

diff --git a/isl_tab.c b/isl_tab.c
index c1960c11..f2107691 100644
--- a/isl_tab.c
+++ b/isl_tab.c
@@ -836,7 +836,7 @@ int isl_tab_push_basis(struct isl_tab *tab)
 	union isl_tab_undo_val u;
 
 	u.col_var = isl_alloc_array(tab->mat->ctx, int, tab->n_col);
-	if (!u.col_var)
+	if (tab->n_col && !u.col_var)
 		return -1;
 	for (i = 0; i < tab->n_col; ++i)
 		u.col_var[i] = tab->col_var[i];
-- 
2.11.4.GIT