http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59622
Jan Hubicka <hubicka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |hubicka at gcc dot gnu.org
--- Comment #8 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
About the warning, I think it would lead to false positives. We can specialize
function for particular type and the type may not define a virtual method.
User may have earlier correctly tested the dynamic type of the objects making
the code path dead.
