[Bug c++/52659] New: GCC fails to reject a deleted function definition which is not the first declaration

[Bug c++/52659] New: GCC fails to reject a deleted function definition which is not the first declaration

[illissius at gmail dot com]

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

             Bug #: 52659
           Summary: GCC fails to reject a deleted function definition
                    which is not the first declaration
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: illissius@gmail.com


C++11 8.4.3.4:
"A deleted definition of a function shall be the first declaration of the
function or, for an explicit specialization of a function template, the first
declaration of that specialization. [ Example:
struct sometype {
  sometype();
};
sometype::sometype() = delete; // ill-formed; not first declaration
— end example ]"


$ cat bug.cpp
struct sometype {
  sometype();
};

sometype::sometype() = delete;

$ g++ bug.cpp -std=c++11 -c
$ g++ --version
g++ (GCC) 4.7.0 20120314 (prerelease)
Copyright (C) 2012 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

[Bug c++/52659] GCC fails to reject a deleted function definition which is not the first declaration

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-03-21
                 CC|                            |jason at gcc dot gnu.org
     Ever Confirmed|0                           |1

[Bug c++/52659] GCC fails to reject a deleted function definition which is not the first declaration

[paolo.carlini at oracle dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52659

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> ---
This is fixed for 5.0. I'm adding the testcase and closing the bug.

[Bug c++/52659] GCC fails to reject a deleted function definition which is not the first declaration

[paolo at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52659

--- Comment #2 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> ---
Author: paolo
Date: Thu Mar 19 11:02:47 2015
New Revision: 221513

URL: https://gcc.gnu.org/viewcvs?rev=221513&root=gcc&view=rev
Log:
2015-03-19  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/52659
    * g++.dg/cpp0x/deleted11.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/deleted11.C
Modified:
    trunk/gcc/testsuite/ChangeLog

[Bug c++/52659] GCC fails to reject a deleted function definition which is not the first declaration

[paolo.carlini at oracle dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52659

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

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

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Done.