From af224edc8f7f5328aa27d4a4ac2e86112976d36b Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven@cs.kuleuven.be>
Date: Tue, 28 Apr 2009 18:09:34 +0100
Subject: [PATCH] barvinok_enumerate_e_series: handle all equalities involving
 existentials

remove_all_equalities sets the compression matrices to NULL
if no compression has been performed, so we can't depend
on CP not being NULL.
---
 series.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/series.cc b/series.cc
index 6478fe6..1eec274 100644
--- a/series.cc
+++ b/series.cc
@@ -379,7 +379,10 @@ gen_fun *barvinok_enumerate_e_series(Polyhedron *P,
 	Polyhedron *Q = P;
 	remove_all_equalities(&P, NULL, &CP, NULL, nvar+nparam,
 				options->MaxRays);
-	exist = P->Dimension - (CP->NbColumns-1);
+	if (CP)
+	    exist = P->Dimension - (CP->NbColumns-1);
+	else
+	    exist = P->Dimension - (nvar + nparam);
 	if (Q != P_orig)
 	    Polyhedron_Free(Q);
     }
-- 
2.11.4.GIT