https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65276
--- Comment #3 from Jan Hubicka <hubicka at gcc dot gnu.org> --- I guess it is the case where one type come from -O0 unit and have no TYPE_BINFO, because it is not optimized. I think just removing the check may work these days - I changed the way leading candidate is chosen and it should be one with BINFO after all.