diff mbox

Fix PR66794

Message ID alpine.LSU.2.11.1507090945430.9923@zhemvz.fhfr.qr
State New
Headers show

Commit Message

Richard Biener July 9, 2015, 7:46 a.m. UTC 
On Wed, 8 Jul 2015, H.J. Lu wrote:

> On Wed, Jul 8, 2015 at 4:46 AM, Richard Biener <rguenther@suse.de> wrote:
> >
> > Passes do not expect post-dominators being around and thus forget
> > to invalidate them properly.  Thus passes computing them have to
> > free them.  The patch fixes path-isolation and adds an assert so
> > this doesn't happen again.
> >
> > Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk.
> >
> > Richard.
> >
> > 2015-07-08  Richard Biener  <rguenther@suse.de>
> >
> >         PR tree-optimization/66794
> >         * passes.c (execute_function_todo): Assert that post-dominators
> >         are not computed.
> >         * gimple-ssa-isolate-paths.c (gimple_ssa_isolate_erroneous_paths):
> >         Free post-dominators.
> >
> 
> This caused:
> 
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66807

Fixes as obvious with

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

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

Patch

Index: gcc/tree-chkp-opt.c
===================================================================
--- gcc/tree-chkp-opt.c	(revision 225546)
+++ gcc/tree-chkp-opt.c	(working copy)
@@ -1282,6 +1282,8 @@  static void
 chkp_opt_fini (void)
 {
   chkp_fix_cfg ();
+
+  free_dominance_info (CDI_POST_DOMINATORS);
 }
 
 /* Checker optimization pass function.  */