[Bug c++/53725] New: Prototype does not match error if the definition of the ctor is separated from its declaration.

[Bug c++/53725] New: Prototype does not match error if the definition of the ctor is separated from its declaration.

[tr3w at freemail dot hu]

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

             Bug #: 53725
           Summary: Prototype does not match error if the definition of
                    the ctor is separated from its declaration.
    Classification: Unclassified
           Product: gcc
           Version: 4.6.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: tr3w@freemail.hu


Created attachment 27657
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27657
Minimal example

In certain conditions if the definition of the ctor separated from its
declaration it generates an compiler error.

I created a minimal example. The original code is from Boost.Move.
Error:
testfull.cpp:16:1: error: prototype for ‘movable::movable(rv<movable>&)’ does
not match any in class ‘movable’
testfull.cpp:5:7: error: candidates are: movable::movable(const movable&)
testfull.cpp:13:5: error:                 movable::movable(rv<movable>&)


If the ctor definition is inside the class the code compiles.

The same can happen with the assignment operator as visible here:
http://lists.boost.org/Archives/boost/2011/07/184263.php

[Bug c++/53725] Prototype does not match error if the definition of the ctor is separated from its declaration and attributes

[redi at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-06-20
     Ever Confirmed|0                           |1

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-06-20 01:43:15 UTC ---
Confirmed.

The candidate list also includes the implicitly-declared copy ctor (and in
c++11 mode the move ctor) which is also wrong because no definition can be
provided for an implicitly-declared special member function.

[Bug c++/53725] Prototype does not match error if the definition of the ctor is separated from its declaration and attributes

[paolo.carlini at oracle dot com]

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

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Related to PR49377

[Bug c++/53725] Prototype does not match error if the definition of the ctor is separated from its declaration and attributes

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |6.0
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=49377
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed in GCC 6.1.0