[Bug c++/49488] New: [C++0x] Use 'final' for devirtualization purposes

[Bug c++/49488] New: [C++0x] Use 'final' for devirtualization purposes

[paolo.carlini at oracle dot com]

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

           Summary: [C++0x] Use 'final' for devirtualization purposes
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: paolo.carlini@oracle.com


This is an internal reminder for this issue, which I already briefly discussed
with Jason in private email and also @ Google GCC Gathering a few days ago,
where the issue has been classified by the knowledgeable attendees largely as a
c++ front-end one. Link to Vincenzo' message on the gcc mailing list raising
explicitly the issue for the first time:

  http://gcc.gnu.org/ml/gcc/2011-05/msg00319.html

[Bug c++/49488] [C++0x] Use 'final' for devirtualization purposes

[redi at gcc dot gnu.org]

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

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-06-21 16:03:43 UTC ---
*cough* PR 46043 *cough*

[Bug c++/49488] [C++0x] Use 'final' for devirtualization purposes

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.06.21 16:10:35
     Ever Confirmed|0                           |1

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-06-21 16:10:35 UTC ---
Indeed, Honza suggested that final could be also a c++03 attribute (no idea if
he knows about that older PR...)

[Bug c++/49488] [C++0x] Use 'final' for devirtualization purposes

[redi at gcc dot gnu.org]

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

--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-06-21 16:16:22 UTC ---
Last I checked G++ supported 'final' with -std=c++98 -pedantic-errors, I don't
know if that's been fixed yet.  It's definitely useful to support it in c++98
mode, I don't care whether it's via an attribute or a virt-specifier

[Bug c++/49488] [C++0x] Use 'final' for devirtualization purposes

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |zsojka at seznam dot cz

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> 2011-07-17 13:11:39 UTC ---
*** Bug 46043 has been marked as a duplicate of this bug. ***

[Bug c++/49488] [C++0x] Use 'final' for devirtualization purposes

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.7.0

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-09-20 23:44:07 UTC ---
Implemented with:

2011-09-20 Roberto Agostino Vitillo <ravitillo@lbl.gov>

    * call.c (build_new_method_call_1): Use non-virtual lookup
    for final virtual functions.

[Bug c++/49488] [C++0x] Use 'final' for devirtualization purposes

[vincenzo.innocente at cern dot ch]

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

--- Comment #6 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-05-02 08:00:07 UTC ---
it looks to me that it is not effective with operators (see PR53186)