On Wed, 8 Jul 2015, H.J. Lu wrote:
> On Wed, Jul 8, 2015 at 4:46 AM, Richard Biener <rguent...@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 <rguent...@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 <rguent...@suse.de>
PR tree-optimization/66807
* tree-chkp-opt.c (chkp_opt_fini): Free post dominator info.
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. */
