From 062fa7d13a68776a5f53164032e6ccce227b12d2 Mon Sep 17 00:00:00 2001
From: "thomas.dilasser" <thomas.dilasser@ensiie.fr>
Date: Tue, 23 Oct 2018 11:23:01 +0200
Subject: [PATCH] Changed PDF iterated output to MPI PDF output

---
 functions/frontier.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/functions/frontier.c b/functions/frontier.c
index 9945134..d52f0c8 100644
--- a/functions/frontier.c
+++ b/functions/frontier.c
@@ -295,12 +295,13 @@ void detect_potential_deadlock(function * fun)
 	bitmap_initialize( &test,  &bitmap_default_obstack);
 	if(bitmap_intersect_p(&ipdf_set, &mpi_set)){
 		printf("! WARNING ! \n");
-		bitmap_print( stdout, &ipdf_set, "Potential problems blocks : ", "\n\n" ) ;
+		bitmap_set_pdf_union(mpi_set, pfrontiers, &test, fun); 
+		bitmap_print( stdout, &test, "Potential problems blocks : ", "\n\n" ) ;
+		issue_warnings(test,fun);
 	}else
 	{
 		printf("No potential deadlock detected\n");
 	}
-	issue_warnings(ipdf_set,fun);
         free_dominance_info(fun, CDI_POST_DOMINATORS);
 }	
 
-- 
GitLab