From 563069f7e4717a41c1ce1f0c44ecb013b805ceec Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Fri, 18 May 2012 12:27:22 +0200
Subject: [PATCH] pet_scop_restrict: project out unnamed parameters from
 resulting context

We don't want any unnamed parameters to end up in the context.

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

diff --git a/scop.c b/scop.c
index d68a059..c858153 100644
--- a/scop.c
+++ b/scop.c
@@ -1330,6 +1330,7 @@ struct pet_scop *pet_scop_restrict(struct pet_scop *scop,
 	scop->context = isl_set_union(scop->context,
 				isl_set_complement(isl_set_copy(cond)));
 	scop->context = isl_set_coalesce(scop->context);
+	scop->context = set_project_out_unnamed_params(scop->context);
 	if (!scop->context)
 		goto error;
 
-- 
2.11.4.GIT