From b75fbe97229edfa1fbda1859cbaf8f577a5706d6 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 30 Mar 2017 14:44:01 +0200
Subject: [PATCH] isl_polynomial.c: isl_upoly_eval: check for NULL argument

This argument cannot be NULL now, but it could become NULL
after the next commit.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
---
 isl_polynomial.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isl_polynomial.c b/isl_polynomial.c
index 260dce88..64c02d21 100644
--- a/isl_polynomial.c
+++ b/isl_polynomial.c
@@ -3071,7 +3071,7 @@ __isl_give isl_val *isl_upoly_eval(__isl_take struct isl_upoly *up,
 	}
 
 	rec = isl_upoly_as_rec(up);
-	if (!rec)
+	if (!rec || !vec)
 		goto error;
 
 	isl_assert(up->ctx, rec->n >= 1, goto error);
-- 
2.11.4.GIT