From 2bde91bdd0543555b7f9c1ea809344f5772c66e7 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 23 Sep 2011 10:34:48 +0200 Subject: [PATCH] fix isl_set_involves_dims It would only consider the set to involve a dim if _all_ its subsets would involve the dim, while it should consider the set to involve a dim if _any_ of its subsets do. Signed-off-by: Sven Verdoolaege --- isl_map.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/isl_map.c b/isl_map.c index c16f9095..eb1ecf14 100644 --- a/isl_map.c +++ b/isl_map.c @@ -1583,11 +1583,11 @@ int isl_set_involves_dims(__isl_keep isl_set *set, for (i = 0; i < set->n; ++i) { int involves = isl_basic_set_involves_dims(set->p[i], type, first, n); - if (involves < 0 || !involves) + if (involves < 0 || involves) return involves; } - return 1; + return 0; } /* Return true if the definition of the given div is unknown or depends -- 2.11.4.GIT