[Bug c++/39055] [4.3/4.4/4.5/4.6/4.7 regression] ICE with questionable default parameter of a member function

[Bug c++/39055] [4.3/4.4/4.5/4.6/4.7 regression] ICE with questionable default parameter of a member function

[paolo.carlini at oracle dot com]

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

--- Comment #13 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-05-03 22:52:57 UTC ---
Jason, sorry for bothering, did we eventually get feedback from the committee
about this issue?

[Bug c++/39055] [4.3/4.4/4.5/4.6/4.7 regression] ICE with questionable default parameter of a member function

[jason at gcc dot gnu.org]

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

--- Comment #14 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-04 12:38:03 UTC ---
It was discussed on the reflector in messages 15450-3 and 80, but seems never
to have made it into the issues list...

[Bug c++/39055] [4.3/4.4/4.5/4.6/4.7 regression] ICE with questionable default parameter of a member function

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |paolo.carlini at oracle dot
                   |                            |com

--- Comment #15 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-05-04 13:04:59 UTC ---
Thanks. I'm looking at the messages and indeed, it seems that GCC and EDG are
actually correct, but we want a formal DR Resolution in order to close this,
right? I don't know exactly how things are managed in Core: should somebody ask
(Mike?) to open an issue?

[Bug c++/39055] [4.3/4.4/4.5/4.6/4.7 regression] ICE with questionable default parameter of a member function

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.6                       |4.4.7

--- Comment #16 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-06-27 12:13:24 UTC ---
4.3 branch is being closed, moving to 4.4.7 target.

[Bug c++/39055] [4.4/4.5/4.6/4.7 regression] ICE with questionable default parameter of a member function

[jason at gcc dot gnu.org]

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

--- Comment #17 from Jason Merrill <jason at gcc dot gnu.org> 2012-01-13 16:41:08 UTC ---
Pinged again about creating a core issue for this.

[Bug c++/39055] questionable default parameter of a member function accepted

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-invalid-code         |
   Target Milestone|4.4.7                       |---
            Summary|[4.4/4.5/4.6/4.7            |questionable default
                   |regression] ICE with        |parameter of a member
                   |questionable default        |function accepted
                   |parameter of a member       |
                   |function                    |

--- Comment #18 from Jason Merrill <jason at gcc dot gnu.org> 2012-01-13 18:58:57 UTC ---
Removing regression tag since the ICE was fixed in 4.4, and it seems likely
that the committee will decide that accepting the code is correct.

[Bug c++/39055] [DR 1443][4.4/4.5/4.6/4.7 regression] questionable default parameter of a member function accepted

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|SUSPENDED                   |NEW
            Summary|questionable default        |[DR 1443][4.4/4.5/4.6/4.7
                   |parameter of a member       |regression] questionable
                   |function accepted           |default parameter of a
                   |                            |member function accepted

--- Comment #19 from Jason Merrill <jason at gcc dot gnu.org> 2012-02-11 08:53:01 UTC ---
At the Kona meeting this week, one of the EDG guys pointed out that there is
text in 8.3.6 that specifically prohibits this:

Similarly, a non-static member shall not be used in a default argument, even if
it is not evaluated, unless it appears as the id-expression of a class member
access expression (5.2.5) or unless it is used to form a pointer to member
(5.3.1).

[Bug c++/39055] [DR 1443][4.4/4.5/4.6/4.7 regression] questionable default parameter of a member function accepted

[jason at gcc dot gnu.org]

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

--- Comment #20 from Jason Merrill <jason at gcc dot gnu.org> 2012-02-14 08:39:55 UTC ---
Author: jason
Date: Tue Feb 14 08:39:51 2012
New Revision: 184199

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=184199
Log:
    PR c++/39055
    * decl.c (local_variable_p_walkfn): Don't check DECL_ARTIFICIAL.

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

[Bug c++/39055] [DR 1443][4.4/4.5/4.6/4.7 regression] questionable default parameter of a member function accepted

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.7.0

--- Comment #21 from Jason Merrill <jason at gcc dot gnu.org> 2012-02-14 08:40:45 UTC ---
Fixed for 4.7, not backporting.