[Bug tree-optimization/47316] devirtualize calls to virtual methods that are never further overriden

[hubicka at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47316

Jan Hubicka <hubicka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu.org

--- Comment #4 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
We now support final and do this type of analyzis that will lead to
devirtualization (if final or anonymous namespace is used) or speculative
devirtualization otherwise if doing so seems win.

We still do not assume that type hiearchy is complete even with -fwhole-program
since we do allow to link with libraries that may provide their own
derivations.
We may have a flag to enable this assumption and we probably want to strenghten
analysis of what can be supplied by library.