[Bug c++/53741] New: ICE on lambda calling static template member function with explicit template argument specification

[Bug c++/53741] New: ICE on lambda calling static template member function with explicit template argument specification

[lunow at math dot hu-berlin.de]

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

             Bug #: 53741
           Summary: ICE on lambda calling static template member function
                    with explicit template argument specification
    Classification: Unclassified
           Product: gcc
           Version: 4.6.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: lunow@math.hu-berlin.de


Created attachment 27675
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27675
testcase

Attached is a testcase ICEing on 4.6.3 and 4.7.1.
This bug is related to bug 52183 and bug 51494.

GCC 4.6.3 Output:
C:\dev\projects\compiler test>gcc -std=c++0x gcc_test4.cpp
gcc_test4.cpp: In lambda function:
gcc_test4.cpp:8:7:   instantiated from 'X::foo(T) [with T = int]::<lambda()>'
gcc_test4.cpp:8:5:   instantiated from 'void X::foo(T) [with T = int]'
gcc_test4.cpp:15:10:   instantiated from here
gcc_test4.cpp:8:11: internal compiler error: in push_class_level_binding, at
cp/name-lookup.c:2833
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

GCC 4.7.1 Output:
C:\dev\projects\compiler test>gcc -std=c++0x gcc_test4.cpp
gcc_test4.cpp: In instantiation of 'X::foo(T) [with T = int]::<lambda()>':
gcc_test4.cpp:8:7:   required from 'struct X::foo(T) [with T =
int]::<lambda()>'
gcc_test4.cpp:8:5:   required from 'void X::foo(T) [with T = int]'
gcc_test4.cpp:15:10:   required from here
gcc_test4.cpp:8:11: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug c++/53741] ICE on lambda calling static template member function with explicit template argument specification

[daniel.kruegler at googlemail dot com]

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

Daniel Krügler <daniel.kruegler at googlemail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |daniel.kruegler at
                   |                            |googlemail dot com

--- Comment #1 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2012-06-21 14:31:02 UTC ---
The test case works in gcc 4.8.0 20120610 (experimental)

[Bug c++/53741] ICE on lambda calling static template member function with explicit template argument specification

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.7.2, 4.8.0

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-10 10:02:45 UTC ---
This is fixed in 4.7.2 and mainline. Let's add the testcase and close as fixed.

[Bug c++/53741] ICE on lambda calling static template member function with explicit template argument specification

[paolo at gcc dot gnu.org]

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

--- Comment #3 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> 2012-10-10 10:15:58 UTC ---
Author: paolo
Date: Wed Oct 10 10:15:51 2012
New Revision: 192298

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192298
Log:
2012-10-10  Paolo Carlini  <paolo.carlini@oracle.com>

    PR c++/53741
    * g++.dg/cpp0x/lambda/lambda-ice9.C: New.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ice9.C
Modified:
    trunk/gcc/testsuite/ChangeLog

[Bug c++/53741] ICE on lambda calling static template member function with explicit template argument specification

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.7.2

--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-10 10:17:37 UTC ---
Done.