http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59918
--- Comment #8 from Jan Hubicka <hubicka at gcc dot gnu.org> --- This is just over-active sanity check Index: ipa-devirt.c =================================================================== --- ipa-devirt.c (revision 207588) +++ ipa-devirt.c (working copy) @@ -689,10 +689,7 @@ record_target_from_binfo (vec <cgraph_no we may not have its associated vtable. This is not a problem, since we will walk it on the other path. */ if (!type_binfo) - { - gcc_assert (BINFO_VIRTUAL_P (binfo)); - return; - } + return; tree inner_binfo = get_binfo_at_offset (type_binfo, offset, otr_type); /* For types in anonymous namespace first check if the respective vtable Are we getting to end of the non-invalid code ipa-devirt ICEs? :)