https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101436
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org,
| |msebor at gcc dot gnu.org
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
I guess it would be nice if devirt was able to optimize away the typeid
comparison.
But even when it is not, I'd perhaps understand the warning if b.x.j was
accessed (though still warning on dead code), but b.x.i is present in both
B<C1> and B<C2>.
