From c5e929cd0a35bd22e66ef17536eaa26d6de69871 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 25 Jun 2010 18:45:52 +0200
Subject: [PATCH] isl_map_simplify.c: eliminate_divs_ineq: avoid NULL pointer
 dereference

---
 isl_map_simplify.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isl_map_simplify.c b/isl_map_simplify.c
index 5327cc8d..9a0a0560 100644
--- a/isl_map_simplify.c
+++ b/isl_map_simplify.c
@@ -527,7 +527,7 @@ static struct isl_basic_map *eliminate_divs_ineq(
 			continue;
 		*progress = 1;
 		bmap = isl_basic_map_eliminate_vars(bmap, (off-1)+d, 1);
-		if (ISL_F_ISSET(bmap, ISL_BASIC_MAP_EMPTY))
+		if (!bmap || ISL_F_ISSET(bmap, ISL_BASIC_MAP_EMPTY))
 			break;
 		bmap = isl_basic_map_drop_div(bmap, d);
 		if (!bmap)
-- 
2.11.4.GIT