This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [RFC] Migrate pointers to members to the middle end

On 8/9/07, Joe Buck <Joe.Buck@synopsys.com> 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 :)
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]