[Bug c++/91241] [8/9/10/11 Regression] internal compiler error: symtab_node::verify failed

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #14 from CVS Commits  ---
The master branch has been updated by Jason Merrill :

https://gcc.gnu.org/g:55f40d968b0bd3be4478a9481e829a99ee0fa04f

commit r11-7998-g55f40d968b0bd3be4478a9481e829a99ee0fa04f
Author: Jason Merrill 
Date:   Mon Apr 5 22:50:44 2021 -0400

c++: mangling of lambdas in default args [PR91241]

In this testcase, the parms remembered in LAMBDA_EXPR_EXTRA_SCOPE are no
longer the parms of the FUNCTION_DECL they have as their DECL_CONTEXT, so
we
were mangling both lambdas as parm #0.  But since the parms are numbered
from right to left we don't need to need to find them in the FUNCTION_DECL,
we can measure their own DECL_CHAIN.

gcc/cp/ChangeLog:

PR c++/91241
* mangle.c (write_compact_number): Add sanity check.
(write_local_name): Use list_length for parm number.

gcc/testsuite/ChangeLog:

PR c++/91241
* g++.dg/abi/lambda-defarg1.C: New test.

[Bug c++/91241] [8/9/10/11 Regression] internal compiler error: symtab_node::verify failed

[jason at gcc dot gnu.org via Gcc-bugs]

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

Jason Merrill  changed:

   What|Removed |Added

   Assignee|unassigned at gcc dot gnu.org  |jason at gcc dot gnu.org
 Status|NEW |ASSIGNED

[Bug c++/91241] [8/9/10/11 Regression] internal compiler error: symtab_node::verify failed

[mpolacek at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #13 from Marek Polacek  ---
Ah, so a C++ front end issue after all.  Thanks Martin & Honza.

[Bug c++/91241] [8/9/10/11 Regression] internal compiler error: symtab_node::verify failed

[marxin at gcc dot gnu.org via Gcc-bugs]

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

Martin Liška  changed:

   What|Removed |Added

 CC||jason at gcc dot gnu.org

--- Comment #12 from Martin Liška  ---
Btw. it started with r5-960-gd67ff7b75deab58eaac2edccafbc55d32f60ed0d.

[Bug c++/91241] [8/9/10/11 Regression] internal compiler error: symtab_node::verify failed

[hubicka at ucw dot cz via Gcc-bugs]

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

--- Comment #11 from Jan Hubicka  ---
> @Marek: The callgraph checking error is correct.
> If you disable it, you will likely see duplicate assembler names in GAS. And
> that's the error that 2 symbol names clash.
Indeed, there are two lambdas, but I think C++ FE should assign them
different symbol names.

Honza

Re: [Bug c++/91241] [8/9/10/11 Regression] internal compiler error: symtab_node::verify failed

[Jan Hubicka]

> @Marek: The callgraph checking error is correct.
> If you disable it, you will likely see duplicate assembler names in GAS. And
> that's the error that 2 symbol names clash.
Indeed, there are two lambdas, but I think C++ FE should assign them
different symbol names.

Honza

[Bug c++/91241] [8/9/10/11 Regression] internal compiler error: symtab_node::verify failed

[marxin at gcc dot gnu.org via Gcc-bugs]

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

Martin Liška  changed:

   What|Removed |Added

 CC||marxin at gcc dot gnu.org

--- Comment #10 from Martin Liška  ---
@Marek: The callgraph checking error is correct.
If you disable it, you will likely see duplicate assembler names in GAS. And
that's the error that 2 symbol names clash.

[Bug c++/91241] [8/9/10/11 Regression] internal compiler error: symtab_node::verify failed

[mpolacek at gcc dot gnu.org]

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

Marek Polacek  changed:

   What|Removed |Added

 CC||tangyixuan at mail dot 
dlut.edu.cn

--- Comment #9 from Marek Polacek  ---
*** Bug 96975 has been marked as a duplicate of this bug. ***