From 8d3c857c5875a7a9407775b5a451a9d14ab44a47 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 2 Dec 2012 17:37:44 +0100 Subject: [PATCH] isl_tab_basic_set_non_trivial_lexmin: handle NULL input Signed-off-by: Sven Verdoolaege --- isl_tab_pip.c | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/isl_tab_pip.c b/isl_tab_pip.c index 9663979a..88853609 100644 --- a/isl_tab_pip.c +++ b/isl_tab_pip.c @@ -4989,13 +4989,19 @@ __isl_give isl_vec *isl_tab_basic_set_non_trivial_lexmin( { int i, j; int r; - isl_ctx *ctx = isl_basic_set_get_ctx(bset); + isl_ctx *ctx; isl_vec *v = NULL; - isl_vec *sol = isl_vec_alloc(ctx, 0); + isl_vec *sol = NULL; struct isl_tab *tab; struct isl_trivial *triv = NULL; int level, init; + if (!bset) + return NULL; + + ctx = isl_basic_set_get_ctx(bset); + sol = isl_vec_alloc(ctx, 0); + tab = tab_for_lexmin(bset, NULL, 0, 0); if (!tab) goto error; -- 2.11.4.GIT