[Bug c++/61566] New: [4.9/4.10 Regression] ICE in write_unscoped_name

[Bug c++/61566] New: [4.9/4.10 Regression] ICE in write_unscoped_name

[ppluzhnikov at google dot com]

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

            Bug ID: 61566
           Summary: [4.9/4.10 Regression] ICE in write_unscoped_name
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ppluzhnikov at google dot com

Created attachment 32977
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=32977&action=edit
test case

Google ref: b/15734838

Test case compiles fine with Clang and current gcc-4_8-branch (@r211826).

Broken on trunk (and gcc-4_9) since not later than r195189.

Using current trunk @r211826:

gcc-svn-install/bin/g++ -c -std=c++11 t.cc
t.cc: In instantiation of 'std::function<_Res(_ArgTypes
...)>::function(_Functor) [with _Functor = C<>::<lambda()><H, int>;
<template-parameter-2-2> = int; _Res = std::A; _ArgTypes = {}]':

t.cc:24:7: internal compiler error: in write_unscoped_name, at cp/mangle.c:881
       function (_Functor);
       ^
0x727aa1 write_unscoped_name
        ../../gcc/cp/mangle.c:879
0x72b205 write_unscoped_template_name
        ../../gcc/cp/mangle.c:897
0x72b205 write_name
        ../../gcc/cp/mangle.c:810
0x72b0e0 write_local_name
        ../../gcc/cp/mangle.c:1808
0x72b0e0 write_name
        ../../gcc/cp/mangle.c:842
0x72bcbe write_class_enum_type
        ../../gcc/cp/mangle.c:2496
0x72bcbe write_type
        ../../gcc/cp/mangle.c:1954
0x72acc8 write_template_args
        ../../gcc/cp/mangle.c:2525
0x72f4ed write_nested_name
        ../../gcc/cp/mangle.c:941
0x72afa7 write_name
        ../../gcc/cp/mangle.c:854
0x72fe3b write_encoding
        ../../gcc/cp/mangle.c:704
0x730609 mangle_decl_string
        ../../gcc/cp/mangle.c:3383
0x730857 get_mangled_id
        ../../gcc/cp/mangle.c:3405
0x730857 mangle_decl(tree_node*)
        ../../gcc/cp/mangle.c:3428
0xdb03f0 decl_assembler_name(tree_node*)
        ../../gcc/tree.c:603
0x83f0d4 insert_to_assembler_name_hash
        ../../gcc/symtab.c:187
0x83f231 symtab_initialize_asm_name_hash()
        ../../gcc/symtab.c:366
0x84ea54 analyze_functions
        ../../gcc/cgraphunit.c:1135
0x84ffa5 finalize_compilation_unit()
        ../../gcc/cgraphunit.c:2333
0x63e4ae cp_write_global_declarations()
        ../../gcc/cp/decl2.c:4647
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.8.3
            Version|unknown                     |4.9.1
   Target Milestone|---                         |4.9.1

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-06-25
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Regressed with r196742.

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
           Priority|P3                          |P2

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[paolo.carlini at oracle dot com]

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

--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Further reduced below. I think it may be just matter of loosening the
gcc_assert in write_unscoped_enum:

Index: mangle.c
===================================================================
--- mangle.c    (revision 212074)
+++ mangle.c    (working copy)
@@ -875,10 +875,11 @@ write_unscoped_name (const tree decl)
     {
       /* If not, it should be either in the global namespace, or directly
      in a local function scope.  A lambda can also be mangled in the
-     scope of a default argument.  */
+     scope of a default argument or in class scope (c++/61566).  */
       gcc_assert (context == global_namespace
           || TREE_CODE (context) == PARM_DECL
-          || TREE_CODE (context) == FUNCTION_DECL);
+          || TREE_CODE (context) == FUNCTION_DECL
+          || TREE_CODE (context) == RECORD_TYPE);

       write_unqualified_name (decl);
     }

//////////////////////////

template < typename > struct function;

template < typename _Res >
struct function < _Res () >
{
  template < typename _Functor>
  function (_Functor);
};

struct C
{
  template <typename T>
  void foo (T, function < C () > = [] { });
};

void bar ()
{
  C c;
  c.foo (1);
}

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[paolo.carlini at oracle dot com]

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

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> ---
In fact, it seems to me that something is going wrong with the context: I don't
see why isn't just a PARM_DECL, as happens for a non-template version of foo.
Better if Jason looks into the issue...

This is a slightly more compact testcase:

struct function
{
  template < typename _Functor>
  function (_Functor);
};

struct C
{
  template <typename T>
  void foo (T, function = [] {});
};

void bar ()
{
  C c;
  c.foo (1);
}

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[jason at gcc dot gnu.org]

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

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

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

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Mon Jun 30 18:51:29 2014
New Revision: 212165

URL: https://gcc.gnu.org/viewcvs?rev=212165&root=gcc&view=rev
Log:
    PR c++/61566
    * mangle.c (decl_mangling_context): Look through a TEMPLATE_DECL.

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

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Mon Jun 30 18:52:39 2014
New Revision: 212166

URL: https://gcc.gnu.org/viewcvs?rev=212166&root=gcc&view=rev
Log:
    PR c++/61566
    * mangle.c (decl_mangling_context): Look through a TEMPLATE_DECL.

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

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[jason at gcc dot gnu.org]

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

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

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

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed for 4.9.1/trunk.

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[brooks at gcc dot gnu.org]

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

Brooks Moses <brooks at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
                 CC|                            |brooks at gcc dot gnu.org
         Resolution|FIXED                       |---

--- Comment #7 from Brooks Moses <brooks at gcc dot gnu.org> ---
This testcase is failing again on trunk at r213772.

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[brooks at gcc dot gnu.org]

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

--- Comment #8 from Brooks Moses <brooks at gcc dot gnu.org> ---
Here's the traceback:

$ ~/gcc-archive/trunk/213772/bin/g++ --std=c++11 -c t2.cc
t.cc: In instantiation of ‘std::function<_Res(_ArgTypes
...)>::function(_Functor) [with _Functor = C<>::<lambda()><H, int>;
<template-parameter-2-2> = int; _Res = std::A; _ArgTypes = {}]’:

t.cc:24:7: internal compiler error: in write_unscoped_name, at cp/mangle.c:883
       function (_Functor);
       ^
0x71e221 write_unscoped_name
    gcc-trunk/gcc/cp/mangle.c:883
0x7217b2 write_unscoped_template_name
    gcc-trunk/gcc/cp/mangle.c:901
0x7217b2 write_name
    gcc-trunk/gcc/cp/mangle.c:814
0x7218fc write_local_name
    gcc-trunk/gcc/cp/mangle.c:1812
0x7218fc write_name
    gcc-trunk/gcc/cp/mangle.c:846
0x72242e write_class_enum_type
    gcc-trunk/gcc/cp/mangle.c:2500
0x72242e write_type
    gcc-trunk/gcc/cp/mangle.c:1958
0x721448 write_template_args
    gcc-trunk/gcc/cp/mangle.c:2529
0x725b45 write_nested_name
    gcc-trunk/gcc/cp/mangle.c:945
0x721677 write_name
    gcc-trunk/gcc/cp/mangle.c:858
0x72648b write_encoding
    gcc-trunk/gcc/cp/mangle.c:704
0x726c09 mangle_decl_string
    gcc-trunk/gcc/cp/mangle.c:3387
0x726e47 get_mangled_id
    gcc-trunk/gcc/cp/mangle.c:3409
0x726e47 mangle_decl(tree_node*)
    gcc-trunk/gcc/cp/mangle.c:3432
0xdcc250 decl_assembler_name(tree_node*)
    gcc-trunk/gcc/tree.c:596
0x835bc9 insert_to_assembler_name_hash
    gcc-trunk/gcc/symtab.c:202
0x835d21 symtab_initialize_asm_name_hash()
    gcc-trunk/gcc/symtab.c:287
0x8487ca analyze_functions
    gcc-trunk/gcc/cgraphunit.c:1125
0x848bb5 finalize_compilation_unit()
    gcc-trunk/gcc/cgraphunit.c:2322
0x638155 cp_write_global_declarations()
    gcc-trunk/gcc/cp/decl2.c:4644
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
>From gcc-bugs-return-458397-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Aug 13 20:42:53 2014
Return-Path: <gcc-bugs-return-458397-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 14556 invoked by alias); 13 Aug 2014 20:42:52 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 14533 invoked by uid 48); 13 Aug 2014 20:42:47 -0000
From: "pab at pabigot dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/62100] c++11 threads invoke pure virtual function on arm embedded system
Date: Wed, 13 Aug 2014 20:42:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 4.9.1
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: pab at pabigot dot com
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status resolution
Message-ID: <bug-62100-4-CJU8DUCMZ0@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-62100-4@http.gcc.gnu.org/bugzilla/>
References: <bug-62100-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-08/txt/msg00894.txt.bz2
Content-length: 565

https://gcc.gnu.org/bugzilla/show_bug.cgi?idb100

Peter A. Bigot <pab at pabigot dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |INVALID

--- Comment #6 from Peter A. Bigot <pab at pabigot dot com> ---
I built the release 4.9.1 gcc on the beaglebone and the problem does not occur.
 Pretty solid evidence this is a Yocto issue.  I'll take it up there.

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[jason at gcc dot gnu.org]

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

--- Comment #9 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Fri Aug 15 21:59:40 2014
New Revision: 214046

URL: https://gcc.gnu.org/viewcvs?rev=214046&root=gcc&view=rev
Log:
    PR c++/61566
    * pt.c (instantiate_class_template_1): Ignore lambda on
    CLASSTYPE_DECL_LIST.
    (push_template_decl_real): A lambda is not primary.
    (lookup_template_class_1): Don't look for a lambda partial
    instantiation.
    * lambda.c (maybe_add_lambda_conv_op): Distinguish between being
    currently in a function and the lambda living in a function.
    * mangle.c (CLASSTYPE_TEMPLATE_ID_P): False for lambda.

Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/lambda.c
    trunk/gcc/cp/mangle.c
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-template13.C

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[jason at gcc dot gnu.org]

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

--- Comment #10 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Fri Aug 15 22:27:06 2014
New Revision: 214049

URL: https://gcc.gnu.org/viewcvs?rev=214049&root=gcc&view=rev
Log:
    PR c++/61566
    * pt.c (lookup_template_class_1): Revert recent change.
    * mangle.c (CLASSTYPE_TEMPLATE_ID_P): Revert recent change.

Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/mangle.c
    trunk/gcc/cp/pt.c

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[jason at gcc dot gnu.org]

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

--- Comment #11 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Wed Aug 20 01:17:37 2014
New Revision: 214206

URL: https://gcc.gnu.org/viewcvs?rev=214206&root=gcc&view=rev
Log:
    PR c++/61566
    * pt.c (instantiate_class_template_1): Ignore lambda on
    CLASSTYPE_DECL_LIST.
    (push_template_decl_real): A lambda is not primary.
    * lambda.c (maybe_add_lambda_conv_op): Distinguish between being
    currently in a function and the lambda living in a function.

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

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|4.9.1                       |4.9.2

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

[Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name

[hp at gcc dot gnu.org]

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

Hans-Peter Nilsson <hp at gcc dot gnu.org> changed:

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

--- Comment #13 from Hans-Peter Nilsson <hp at gcc dot gnu.org> ---
(In reply to Jason Merrill from comment #11)
> Author: jason
> Date: Wed Aug 20 01:17:37 2014
> New Revision: 214206
> 
> URL: https://gcc.gnu.org/viewcvs?rev=214206&root=gcc&view=rev
> Log:
> 	PR c++/61566
> 	* pt.c (instantiate_class_template_1): Ignore lambda on
> 	CLASSTYPE_DECL_LIST.
> 	(push_template_decl_real): A lambda is not primary.
> 	* lambda.c (maybe_add_lambda_conv_op): Distinguish between being
> 	currently in a function and the lambda living in a function.
> 
> Modified:
>     branches/gcc-4_9-branch/gcc/cp/ChangeLog
>     branches/gcc-4_9-branch/gcc/cp/lambda.c
>     branches/gcc-4_9-branch/gcc/cp/pt.c
>    
> branches/gcc-4_9-branch/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-template13.C

This or another nearby commit of yours in the range (214200:214208] regressed
g++.dg/cpp0x/lambda/lambda-template13.C on the 4.9 branch for all targets
(presumably; at least those at the URLs and cris-elf) for the scan-assembler
match.
See <https://gcc.gnu.org/ml/gcc-testresults/2014-08/msg01967.html> and
<https://gcc.gnu.org/ml/gcc-testresults/2014-08/msg01954.html>.
>From gcc-bugs-return-458908-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Aug 20 21:45:55 2014
Return-Path: <gcc-bugs-return-458908-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 21665 invoked by alias); 20 Aug 2014 21:45:54 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 21597 invoked by uid 48); 20 Aug 2014 21:45:48 -0000
From: "jason at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/61566] [4.9/4.10 Regression] ICE in write_unscoped_name
Date: Wed, 20 Aug 2014 21:45:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 4.9.1
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jason at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: jason at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.2
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-61566-4-IK2kRGTpzV@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-61566-4@http.gcc.gnu.org/bugzilla/>
References: <bug-61566-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-08/txt/msg01405.txt.bz2
Content-length: 151

https://gcc.gnu.org/bugzilla/show_bug.cgi?ida566

--- Comment #14 from Jason Merrill <jason at gcc dot gnu.org> ---
Thanks, corrected the testcase.