https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65276

--- Comment #5 from Jan Hubicka <hubicka at ucw dot cz> ---
> Correct, TYPE_BINFO(type2) is NULL.
> 
> Started with:
> 
> commit 87a9c1b6624ae11321799e7c9aba4a7b47567d5d
> Author: hubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4>
> Date:   Mon Feb 9 20:34:18 2015 +0000
> 
>         * ipa-devirt.c (odr_types_equivalent_p): Fix formating.
>         (add_type_duplicate): Fix comparison of BINFOs.

Yep, previously we would have false positive about base mismatch.
> 
> 
>     git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220546
> 138bc75d-0d04-0410-96
> 1f-82ee72b054a4
> 
> I can post a patch.

That would be nice, patch is preaproved (with the testcase) if it passes
testing.

Honza

Reply via email to