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 Thu, Aug 09, 2007 at 02:11:34PM -0700, Joe Buck 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.

I wrote:
> Likewise in C++ we might know that a method is effectively final because
> no class overrides it.

Whoops, that didn't come out the way that I intended.  I meant to say that
we might know that a given method (member function) call is effectively
final because no class that the pointer/reference can refer to overrides
the call.
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]