http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46494
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2010-11-22
15:01:42 UTC ---
In vrp the problem is just that loop_optimizer_finalize (unnecessarily) calls
verify_flow_info. VRP already has TODO_cleanup_cfg and loop_optimizer_finalize
is the last thing done in execute_vrp, so the cfg will be properly cleaned up.
I'd say a fix could be if we had an argument to loop_optimizer_finalize whether
to do flow verification or not, and pass 0 here in vrp, perhaps other places
too.
