On Thu, Aug 09, 2007 at 02:29:28PM -0600, Tom Tromey wrote: > Also in Java it is possible to devirtualize calls in some situations > where only a bound on the type is known. For instance at a call site > we might know that all possible targets are derived from a class where > the virtual method is final.
Likewise in C++ we might know that a method is effectively final because no class overrides it.