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

gcc/ChangeLog

+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

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.  */