http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46321
--- Comment #6 from janus at gcc dot gnu.org 2012-05-07 09:49:52 UTC --- (In reply to comment #5) > Looks to me like work on FINAL needs to be interfaced here anyway. Naive view > is that $free points to a FINAL if there is one, or to a default when there's > no FINAL, but the hookup work is the same.. Yes, in principle I would agree with this view. Therefore implementing 'plain' polymorphic deallocation would be the logical fist step to FINAL.