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 7747a59bed2f809ca2e1709edc857c50c949b09e..a615dd24cd6d3e6a354b2adc6c38afd2a09d9115 100644 (file)
--- 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 0ec2b8a3c5b1237370b066ec9fe8959b597bc406..66c99bde38a7b36b35b977086803b8cdd37525f3 100644 (file)
--- 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.  */