From fcd3209ffd92bb39e7b11c3f6c21fd6d3c7daa8b Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@purples.(none)>
Date: Sun, 6 Sep 2009 12:59:59 +0200
Subject: [PATCH] polyhedron_minimize.c: handle all enumeration values in
 switch

---
 polyhedron_minimize.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/polyhedron_minimize.c b/polyhedron_minimize.c
index fbd0e1a..4dc0c06 100644
--- a/polyhedron_minimize.c
+++ b/polyhedron_minimize.c
@@ -66,8 +66,10 @@ int main(int argc, char **argv)
 	else
 		obj = vec_ror(obj);
 	res = isl_basic_set_solve_ilp(bset, 0, obj->el, &opt, &sol);
-	assert(res != isl_lp_error);
 	switch (res) {
+	case isl_lp_error:
+		fprintf(stderr, "error\n");
+		return -1;
 	case isl_lp_empty:
 		fprintf(stdout, "empty\n");
 		break;
-- 
2.7.4