[Bug c++/109803] New: [12 Regression] ICE with type defined in lambda inside generic lambda inside function template

[Bug c++/109803] New: [12 Regression] ICE with type defined in lambda inside generic lambda inside function template

[rs2740 at gmail dot com]

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

            Bug ID: 109803
           Summary: [12 Regression] ICE with type defined in lambda inside
                    generic lambda inside function template
           Product: gcc
           Version: 12.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: rs2740 at gmail dot com
  Target Milestone: ---

Repro:

template<class T>
void foo(T) {
    [](auto){
        [] {
            struct X {};
        };
    };
}

template void foo(int);

<source>: In instantiation of 'void foo(T) [with T = int]':
<source>:10:22:   required from here
<source>:4:9: internal compiler error: Segmentation fault
    4 |         [] {
      |         ^
0x1bbabfe internal_error(char const*, ...)
        ???:0
0x10b0223 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
        ???:0
0x10b0516 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
        ???:0
0x10b0223 walk_tree_1(tree_node**, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*,
tree_node* (*)(tree_node**, int*, tree_node* (*)(tree_node**, int*, void*),
void*, hash_set<tree_node*, false, default_hash_traits<tree_node*> >*))
        ???:0
0x870a79 check_for_bare_parameter_packs(tree_node*, unsigned int)
        ???:0
0x8a7dfb finish_expr_stmt(tree_node*)
        ???:0
0x891a08 tsubst_lambda_expr(tree_node*, tree_node*, int, tree_node*)
        ???:0
0x87e337 instantiate_decl(tree_node*, bool, bool)
        ???:0
0x899e8b instantiate_pending_templates(int)
        ???:0
0x7a5298 c_parse_final_cleanups()
        ???:0
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

https://gcc.godbolt.org/z/sb5crbxf6

This is a regression in 12.3.0. 12.2.0 and 13.1.0 both compile this fine.

[Bug c++/109803] [12 Regression] ICE with type defined in lambda inside generic lambda inside function template

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
   Target Milestone|---                         |12.4
      Known to work|                            |12.2.0
      Known to fail|                            |12.3.0, 13.1.0, 14.0

[Bug c++/109803] [12 Regression] ICE with type defined in lambda inside generic lambda inside function template

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

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

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
This is bug 109241 I think.  In GCC 13 it was fixed by

commit r13-6824-g4872e46e080c6695dfe1f9dc9db26b4703bc348c
Author: Jason Merrill <jason@redhat.com>
Date:   Wed Mar 22 16:11:47 2023 -0400

    c++: local class in nested generic lambda [PR109241]

[Bug c++/109803] [12 Regression] ICE with type defined in lambda inside generic lambda inside function template

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

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

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Let's reopen the other bug.

*** This bug has been marked as a duplicate of bug 109241 ***