From 513abfebcda7b21800cff99e13401b75d4ac6b35 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 25 Jun 2010 20:17:41 +0200
Subject: [PATCH] isl_input.c: obj_read: avoid NULL pointer dereference

---
 isl_input.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/isl_input.c b/isl_input.c
index b70b0914..8747e564 100644
--- a/isl_input.c
+++ b/isl_input.c
@@ -1385,6 +1385,10 @@ static struct isl_obj obj_read(struct isl_stream *s, int nparam)
 		return obj;
 	}
 	v = vars_new(s->ctx);
+	if (!v) {
+		isl_stream_push_token(s, tok);
+		goto error;
+	}
 	bmap = isl_basic_map_alloc(s->ctx, 0, 0, 0, 0, 0, 0);
 	if (tok->type == '[') {
 		isl_stream_push_token(s, tok);
-- 
2.11.4.GIT