http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60600
--- Comment #6 from Jan Hubicka <hubicka at gcc dot gnu.org> --- The patch looks fine to me with an testcase added checking for the warning. I sort of hoped that the type based devirt code in ipa-cp won't get into completely contradicting answers, but that was at a time when possible_polymorphic_call_target_p did not consider outer types, so we definitely can construct testcases for that now. The patch is OK if it passes testing. Honza