[Bug c++/46043] attribute to mark virtual methods that can't be further overriden so they can be devirtualized

[redi at gcc dot gnu.org]

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

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> 2010-10-16 
15:46:44 UTC ---
Oops, that's not the right paper, but C++0x already has a [[final]] attribute,
so any work on this bug should be made compatible with the C++0x semantics, to
ease transition from GNU-style attributes to C++0x ones.