On 8/9/07, Joe Buck <[EMAIL PROTECTED]> wrote: > 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. >
Just to be clear, we *already* have the class hierarchies in the middle end. They have been there for a few years now :)
