[Bug c++/47049] New: internal compiler error: in write_unnamed_type_name due to C++0x lamba use

[Bug c++/47049] New: internal compiler error: in write_unnamed_type_name due to C++0x lamba use

[emn13+gcc at nerbonne dot org]

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

           Summary: internal compiler error: in write_unnamed_type_name
                    due to C++0x lamba use
           Product: gcc
           Version: 4.5.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: emn13+gcc@nerbonne.org


Created attachment 22842
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22842
Preprocessed source

errtest.cpp: In lambda function:
errtest.cpp:16:78: internal compiler error: in write_unnamed_type_name, at
cp/mangle.c:1311

While using a mingw64 build I encountered the above ICE and reported it @
http://sourceforge.net/tracker/?func=detail&atid=983354&aid=3141173&group_id=202880

It was suggested that this is a gcc bug (and it looks like it).  I'm using a
lambda in a class template; as follows:

std::sort(v.begin(),v.end(), [&eigenvaluesUnsorted](size_t a, size_t b) -> bool
{ return eigenvaluesUnsorted(a) > eigenvaluesUnsorted(b);});

Attached are the small unpreprocessed source, the huge preprocessed source, and
g++'s output.  The command line was:
g++ -I%EIGEN3_DIR% --std=c++0x -march=core2 -v -save-temps errtest.cpp
2>gcc-err.txt

[Bug c++/47049] internal compiler error: in write_unnamed_type_name due to C++0x lamba use

[emn13+gcc at nerbonne dot org]

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

--- Comment #1 from Eamon Nerbonne <emn13+gcc at nerbonne dot org> 2010-12-23 09:30:20 UTC ---
Created attachment 22843
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22843
G++'s output

[Bug c++/47049] internal compiler error: in write_unnamed_type_name due to C++0x lamba use

[emn13+gcc at nerbonne dot org]

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

--- Comment #2 from Eamon Nerbonne <emn13+gcc at nerbonne dot org> 2010-12-23 09:31:24 UTC ---
Created attachment 22844
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22844
Unpreprocessed source (depends on Eigen3)

[Bug c++/47049] internal compiler error: in write_unnamed_type_name due to C++0x lamba use

[emn13+gcc at nerbonne dot org]

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

--- Comment #3 from Eamon Nerbonne <emn13+gcc at nerbonne dot org> 2010-12-23 09:33:11 UTC ---
Oh, and finally: a comment on the mingw64 tracker is meaningless to me but
perhaps useful to you:

ktietz70 said:
"So, I investigate your issue a bit. First this is for sure a gcc bug, which
calls here write_unnamed_type_name for an ENUMERAL_TYPE, which isn't
unnamed.
The issue is related to write_nested_name, which doesn't special case here
named enumeral types."

[Bug c++/47049] [C++0x] ICE in write_unnamed_type_name with lambda use

[emn13+gcc at nerbonne dot org]

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

--- Comment #4 from Eamon Nerbonne <emn13+gcc at nerbonne dot org> 2011-01-20 11:06:04 UTC ---
Has anyone seen this bug?

[Bug c++/47049] [C++0x] ICE in write_unnamed_type_name with lambda use

[redi at gcc dot gnu.org]

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

--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-01-20 12:00:56 UTC ---
it might get analysed sooner if you try to reduce the code to something smaller
than 70000 lines

[Bug c++/47049] [C++0x] ICE in write_unnamed_type_name with lambda use

[redi at gcc dot gnu.org]

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

--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-01-20 15:01:29 UTC ---
Created attachment 23046
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23046
slightly reduced and unincluded testcase

confirmed with 4.5 and 4.6

attachment produced by
g++46 -std=c++0x errtest.cc -Ieigen -DNDEBUG -DEIGEN_DONT_VECTORIZE -E |
~/src/gcc-4.6-20110101/contrib/uninclude

(NDEBUG and EIGEN_DONT_VECTORIZE avoid non-portable assertions and intrinsics
in the output)

[Bug c++/47049] [C++0x] ICE in write_unnamed_type_name with lambda use

[emn13+gcc at nerbonne dot org]

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

--- Comment #7 from Eamon Nerbonne <emn13+gcc at nerbonne dot org> 2011-01-23 13:31:38 UTC ---
(In reply to comment #5)
> it might get analysed sooner if you try to reduce the code to something smaller
> than 70000 lines

Yeah, I realize: I've been putting that off, because, well, I don't exactly
grok what the issue is and was hoping someone would say "oh, it's obviously
just XYZ" without having to minimize the test case.

I've tried removing the eigen headers and causing the ICE in a more manageable
bit, but so far the resulting programs compile without ICE, so that's not
helping.

Thanks for the response anyhow - I was wondering whether anyone had spotted the
report at all - I can empathize with feeling that it's not exactly a nice
test-case...

[Bug c++/47049] [C++0x] ICE in write_unnamed_type_name with lambda use

[redi at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.01.23 16:25:32
     Ever Confirmed|0                           |1

--- Comment #8 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-01-23 16:25:32 UTC ---
Oops, I did mean to confirm this though - I can reproduce it

[Bug c++/47049] [4.5/4.6 Regression] [C++0x] ICE in write_unnamed_type_name with lambda use

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at redhat dot com
   Target Milestone|---                         |4.5.3
            Summary|[C++0x] ICE in              |[4.5/4.6 Regression]
                   |write_unnamed_type_name     |[C++0x] ICE in
                   |with lambda use             |write_unnamed_type_name
                   |                            |with lambda use

--- Comment #9 from H.J. Lu <hjl.tools at gmail dot com> 2011-01-23 16:39:52 UTC ---
It is caused by revision 152429:

http://gcc.gnu.org/ml/gcc-cvs/2009-10/msg00078.html

which implements write_unnamed_type_name.

[Bug c++/47049] [4.5/4.6 Regression] [C++0x] ICE in write_unnamed_type_name with lambda use

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-01-28 16:33:07 UTC ---
Reduced testcase:

enum { E = 0, F = 1 };
template <int N, int M = ((N == 1) ? F : E)> class S;
template <int N>
struct T
{
  static void
  foo (S<N> *p)
  {
    S<N> u;
    [&u] ()->bool {};
  }
};

[Bug c++/47049] [C++0x] ICE in write_unnamed_type_name with lambda use

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
   Target Milestone|4.5.3                       |---
            Summary|[4.5/4.6 Regression]        |[C++0x] ICE in
                   |[C++0x] ICE in              |write_unnamed_type_name
                   |write_unnamed_type_name     |with lambda use
                   |with lambda use             |
      Known to fail|                            |4.5.0, 4.5.1, 4.5.2, 4.6.0

--- Comment #11 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-02-08 13:55:21 UTC ---
Hm, this doesn't seem to be a regression.  lambda is not supported in GCC 4.4,
GCC 4.5.x ICE the same way as trunk.

So, what version works for you (some unreleased SVN rev does not count,
such a regression is not percieved as such from a users POV)?  Unmarking
as regression.

[Bug c++/47049] [C++0x] ICE in write_unnamed_type_name with lambda use

[jakub at gcc dot gnu.org]

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

--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-02-08 13:58:17 UTC ---
It is a regression in the sense that e.g. the #c10 testcase with 4.4 resulted
in a bunch of errors, but not an ICE, while it ICEs in 4.6.

[Bug c++/47049] [C++0x] ICE in write_unnamed_type_name with lambda use

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |jason at gcc dot gnu.org
         AssignedTo|unassigned at gcc dot       |jason at gcc dot gnu.org
                   |gnu.org                     |

[Bug c++/47049] [C++0x] ICE in write_unnamed_type_name with lambda use

[jason at gcc dot gnu.org]

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

--- Comment #13 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-28 00:53:53 UTC ---
Author: jason
Date: Sat May 28 00:53:49 2011
New Revision: 174375

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=174375
Log:
    PR c++/47049
    * semantics.c (maybe_add_lambda_conv_op): Fix COMDAT sharing.
    * decl.c (start_preparsed_function): Don't call comdat_linkage for
    a template.

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

[Bug c++/47049] [C++0x] ICE in write_unnamed_type_name with lambda use

[jason at gcc dot gnu.org]

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

--- Comment #14 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-28 03:22:34 UTC ---
Author: jason
Date: Sat May 28 03:22:31 2011
New Revision: 174377

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=174377
Log:
    PR c++/47049
    * semantics.c (maybe_add_lambda_conv_op): Fix COMDAT sharing.
    * decl.c (start_preparsed_function): Don't call comdat_linkage for
    a template.

Added:
   
branches/gcc-4_6-branch/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-template2.C
Modified:
    branches/gcc-4_6-branch/gcc/cp/ChangeLog
    branches/gcc-4_6-branch/gcc/cp/decl.c
    branches/gcc-4_6-branch/gcc/cp/semantics.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog

[Bug c++/47049] [C++0x] ICE in write_unnamed_type_name with lambda use

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.6.1

--- Comment #15 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-28 03:23:10 UTC ---
Fixed for 4.6.1.