From: Richard Biener <rguenther@suse.de>
Date: Thu, 9 Jul 2015 07:47:38 +0000 (+0000)
Subject: re PR middle-end/66807 (--enable-libmpx failed)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=830ff0020a5a52b8ec4783d28224f4f6a2c6f3a7;p=gcc.git

re PR middle-end/66807 (--enable-libmpx failed)

2015-07-09  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/66807
	* tree-chkp-opt.c (chkp_opt_fini): Free post dominator info.

From-SVN: r225600
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7747a59bed2..a615dd24cd6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-07-09  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/66807
+	* tree-chkp-opt.c (chkp_opt_fini): Free post dominator info.
+
 2015-07-08  Kito Cheng  <kito.cheng@gmail.com>
 
 	* function.c (stack_protect_epilogue): Use if rather than switch for
diff --git a/gcc/tree-chkp-opt.c b/gcc/tree-chkp-opt.c
index 0ec2b8a3c5b..66c99bde38a 100644
--- a/gcc/tree-chkp-opt.c
+++ b/gcc/tree-chkp-opt.c
@@ -1282,6 +1282,8 @@ static void
 chkp_opt_fini (void)
 {
   chkp_fix_cfg ();
+
+  free_dominance_info (CDI_POST_DOMINATORS);
 }
 
 /* Checker optimization pass function.  */