From fcba3621a2b9ef737f534b5a1f8eae1cf9ef23be Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 25 Jun 2010 20:29:07 +0200
Subject: [PATCH] isl_access_info_compute_flow: avoid NULL pointer dereference

---
 isl_flow.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/isl_flow.c b/isl_flow.c
index 84a48115..d5dcb487 100644
--- a/isl_flow.c
+++ b/isl_flow.c
@@ -856,6 +856,8 @@ __isl_give isl_flow *isl_access_info_compute_flow(__isl_take isl_access_info *ac
 	acc->sink.map = isl_map_insert(acc->sink.map, isl_dim_in,
 					n_sink, n_data);
 	acc->sink.map = isl_map_intersect(acc->sink.map, id);
+	if (!acc->sink.map)
+		goto error;
 
 	if (acc->n_must == 0)
 		res = compute_mem_based_dependences(acc);
@@ -869,4 +871,7 @@ __isl_give isl_flow *isl_access_info_compute_flow(__isl_take isl_access_info *ac
 	res->may_no_source = isl_set_project_out(res->may_no_source, isl_dim_set, n_sink, n_data);
 
 	return res;
+error:
+	isl_access_info_free(acc);
+	return NULL;
 }
-- 
2.11.4.GIT