[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 #6 from Jan Hubicka <hubicka at ucw dot cz> ---
> Updated patch that works on this testcase.  From the cgraph.c comments, it
> looks
> like e.g. during function versioning we rely on fixup_cfg to fix it up, but
> during inlining I think we need to do it immediately.  TODO_cleanup_cfg is on
> during inlining.

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?

Thanks for looking into this (I am flying back to Calgary at Friday and should
be
back in regular schedule)

Honza