https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62091
--- Comment #5 from Jan Hubicka <hubicka at gcc dot gnu.org> --- Created attachment 33329 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33329&action=edit Path I am testing The disagreemeng actually turned out to be subtle bug in tree-ssa-alias.c where function_entry_reached was incorrectly incorrectly initialized to false during recursive walk :( I am testing the following patch that makes us to not devirtualize in this case. We still ought to solve the visibility issues