[Bug middle-end/64465] [5 Regression] internal compiler error: verify_flow_info failed

["hubicka at ucw dot cz" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64465

--- Comment #8 from Jan Hubicka <hubicka at ucw dot cz> ---
> > execute_fixup_cfg is called from inline_transform, I wonder why it does not
> > catch
> > this case?  Anyway updating things immediately after redirection seems like
> > right
> > thing to do.  Any reason why this is not part of redirect_stmt_to_callee?
> 
> Because the early inliner does not call it.

Early inliner should not do any redirection however.

> 
> And the reason why I haven't changed cgraph.c is:
>       /* We need to defer cleaning EH info on the new statement to
>          fixup-cfg.  We may not have dominator information at this point
>          and thus would end up with unreachable blocks and have no way
>          to communicate that we need to run CFG cleanup then.  */
> comment, I initially had there the maybe_clean_or_replace_eh_stmt
> (e->call_stmt, new_stmt); but that comment made me to reconsider.  Which is why
> I've limited it in the patch to the inliner (id->call_stmt test), and don't do
> this when versioning functions.

Hmm, OK, it seems like someone (me?) already tried this :)

However I do not see why function versioning should be any safer than inliner
use in
this respect.

Honza