[Bug c++/61151] New: [4.9/4.10 Regression] ICE with lambda

[Bug c++/61151] New: [4.9/4.10 Regression] ICE with lambda

[jakub at gcc dot gnu.org]

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

            Bug ID: 61151
           Summary: [4.9/4.10 Regression] ICE with lambda
           Product: gcc
           Version: 4.9.1
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jakub at gcc dot gnu.org
                CC: jason at gcc dot gnu.org

struct B
{
  void foo () {}
};

template <class>
struct A
{
  template <class> void bar ();
  B a;
};

template <class T>
template <class U>
void
A<T>::bar ()
{
  auto f = [this] () { auto g = [=] () { a.foo (); }; g (); };
  f ();
}

int
main ()
{
  A<int> a;
  a.bar <int> ();
}

ICEs with -std=c++11 on the trunk and with 4.9 branch head, worked with 4.9.0.
On the trunk the ICE started with r210017, supposedly on the 4.9 branch with
r210018 (haven't verified the latter).

[Bug c++/61151] [4.9/4.10 Regression] ICE with lambda

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
      Known to work|                            |4.8.2, 4.9.0
   Target Milestone|---                         |4.9.1
      Known to fail|                            |4.10.0, 4.9.1

[Bug c++/61151] [4.9/4.10 Regression] ICE with lambda

[jakub at gcc dot gnu.org]

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

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
>From quick look at that change, the problem here seems to be that the patch
supposedly wanted to avoid wrapping this and does so by checking that it is a
PARM_DECL with this_identifier as name, but in this case this is not a
PARM_DECL, but build_capture_proxy created VAR_DECL instead.

So, allowing there also VAR_DECL with this_identifier fixes this, but no idea
whether it is desirable to do, and if so, whether just in lambda.c or for all
is_this_parameter uses.

[Bug c++/61151] [4.9/4.10 Regression] ICE with lambda

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-05-13
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org
     Ever confirmed|0                           |1

[Bug c++/61151] [4.9/4.10 Regression] ICE with lambda

[jason at gcc dot gnu.org]

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

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Tue May 13 17:40:03 2014
New Revision: 210392

URL: http://gcc.gnu.org/viewcvs?rev=210392&root=gcc&view=rev
Log:
    PR c++/61151
    * lambda.c (is_this): Allow capture proxies too.

Added:
    branches/gcc-4_9-branch/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-this18.C
Modified:
    branches/gcc-4_9-branch/gcc/cp/ChangeLog
    branches/gcc-4_9-branch/gcc/cp/lambda.c

[Bug c++/61151] [4.9/4.10 Regression] ICE with lambda

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Tue May 13 17:54:00 2014
New Revision: 210394

URL: http://gcc.gnu.org/viewcvs?rev=210394&root=gcc&view=rev
Log:
    PR c++/61151
    * semantics.c (is_this_parameter): Allow capture proxies too.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-this18.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/semantics.c

[Bug c++/61151] [4.9/4.10 Regression] ICE with lambda

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed.