http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51069
--- Comment #5 from Jan Hubicka <hubicka at gcc dot gnu.org> 2011-12-27 18:32:05 UTC --- note that remove_path may affect presence of irreducible loops and it already has logic to update the flags. It seems to be case that gets missed. I am trying to make sense of it now.
