From a6691b1ddfd9b2f28ccd2c8dc828d0a27ec815ed Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 2 Jun 2016 12:57:12 +0200
Subject: [PATCH] isl_output.c: print_disjunct: handle NULL input

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

diff --git a/isl_output.c b/isl_output.c
index a894cf8d..d447fb35 100644
--- a/isl_output.c
+++ b/isl_output.c
@@ -750,6 +750,8 @@ static __isl_give isl_printer *print_disjunct(__isl_keep isl_basic_map *bmap,
 	isl_mat *div;
 	isl_bool exists;
 
+	if (!p)
+		return NULL;
 	div = isl_basic_map_get_divs(bmap);
 	if (p->dump)
 		exists = bmap->n_div > 0;
-- 
2.11.4.GIT