[Bug c++/60753] New: defining an explicit function template specialization as deleted, following a non-deleted declaration, not diagnosted

[Bug c++/60753] New: defining an explicit function template specialization as deleted, following a non-deleted declaration, not diagnosted

[filip.roseen at gmail dot com]

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

            Bug ID: 60753
           Summary: defining an explicit function template specialization
                    as deleted, following a non-deleted declaration, not
                    diagnosted
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: filip.roseen at gmail dot com

Created attachment 32537
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=32537&action=edit
testcase.cpp

template<class T> void func (T);

template<> void func<int> (int);
template<> void func<int> (int) = delete;

int main () { }

------------------------------------------------------------------------

`gcc` accepts the above snippet.

------------------------------------------------------------------------

The previous snippet is ill-formed according to [dcl.fct.def.delete]p4:

  > 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.

------------------------------------------------------------------------

`clang` correctly issues the following diagnostic:

testcase.cpp:4:35: error: deleted definition must be first declaration
template<> void func<int> (int) = delete;
                                  ^
testcase.cpp:3:17: note: previous declaration is here
template<> void func<int> (int);
                ^

------------------------------------------------------------------------

[Bug c++/60753] Deleted definition of an explicit function template specialization, following a declaration, incorrectly accepted

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-11-26
     Ever confirmed|0                           |1

[Bug c++/60753] Deleted definition of an explicit function template specialization, following a declaration, incorrectly accepted

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |paolo.carlini at oracle dot com

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Mine.

[Bug c++/60753] Deleted definition of an explicit function template specialization, following a declaration, incorrectly accepted

[paolo at gcc dot gnu.org]

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

--- Comment #2 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> ---
Author: paolo
Date: Thu Jan  8 15:48:36 2015
New Revision: 219347

URL: https://gcc.gnu.org/viewcvs?rev=219347&root=gcc&view=rev
Log:
/cp
2015-01-08  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/60753
    * decl.c (grokfndecl): Add bool parameter.
    (grokdeclarator): Adjust calls.
    (start_decl): Don't set DECL_DELETED_FN here.

/testsuite
2015-01-08  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/60753
    * g++.dg/cpp0x/deleted10.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/deleted10.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/decl.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/60753] Deleted definition of an explicit function template specialization, following a declaration, incorrectly accepted

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
           Assignee|paolo.carlini at oracle dot com    |unassigned at gcc dot gnu.org
   Target Milestone|---                         |5.0

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