Patchwork [02/28] Free invalid postdominance info.

login
register
mail settings
Submitter Sebastian Pop
Date Jan. 21, 2011, 7:27 p.m.
Message ID <1295638067-13460-3-git-send-email-sebpop@gmail.com>
Download mbox | patch
Permalink /patch/79885/
State New
Headers show

Comments

Sebastian Pop - Jan. 21, 2011, 7:27 p.m.
From: grosser <grosser@138bc75d-0d04-0410-961f-82ee72b054a4>

2011-01-21  Vladimir Kargov  <kargov@gmail.com>

	* graphite-scop-detection.c (canonicalize_loop_closed_ssa): Free
	invalid postdominance info.
---
 gcc/ChangeLog                 |    5 +++++
 gcc/ChangeLog.graphite        |    5 +++++
 gcc/graphite-scop-detection.c |    4 ++++
 3 files changed, 14 insertions(+), 0 deletions(-)

Patch

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 95481b1..cea9b21 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@ 
+2011-01-21  Vladimir Kargov  <kargov@gmail.com>
+
+	* graphite-scop-detection.c (canonicalize_loop_closed_ssa): Free
+	invalid postdominance info.
+
 2011-01-21  Jeff Law  <law@redhat.com>
 
 	PR rtl-optimization/41619
diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite
index 3d99630..9211870 100644
--- a/gcc/ChangeLog.graphite
+++ b/gcc/ChangeLog.graphite
@@ -1,3 +1,8 @@ 
+2011-01-05  Vladimir Kargov  <kargov@gmail.com>
+
+	* graphite-scop-detection.c (canonicalize_loop_closed_ssa): Free
+	invalid postdominance info
+
 2010-12-29  Sebastian Pop  <sebastian.pop@amd.com>
 
 	* Makefile.in (graphite-opencl-codegen.o): Update dependences.
diff --git a/gcc/graphite-scop-detection.c b/gcc/graphite-scop-detection.c
index aff0b03..eb75e7d 100644
--- a/gcc/graphite-scop-detection.c
+++ b/gcc/graphite-scop-detection.c
@@ -1249,6 +1249,10 @@  canonicalize_loop_closed_ssa (loop_p loop)
 	      }
 	}
     }
+
+  /* The code above does not properly handle changes in the post dominance
+     information (yet).  */
+  free_dominance_info (CDI_POST_DOMINATORS);
 }
 
 /* Converts the current loop closed SSA form to a canonical form