[Bug c++/100030] New: ICE: in dependent_type_p, at cp/pt.c:26757

[Bug c++/100030] New: ICE: in dependent_type_p, at cp/pt.c:26757

[hewillk at gmail dot com]

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

            Bug ID: 100030
           Summary: ICE: in dependent_type_p, at cp/pt.c:26757
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hewillk at gmail dot com
  Target Milestone: ---

https://godbolt.org/z/G3a6Wq5e3

template <class... Ts>
auto f(Ts...) {
  [] { struct alignas(Ts) S {}; };
}

int main() {
  f(0);
}

<source>:3:23: internal compiler error: in dependent_type_p, at cp/pt.c:26757
    3 |   [] { struct alignas(Ts) S {}; };
      |                       ^~
0x1d00ea9 internal_error(char const*, ...)
        ???:0
0x6bb009 fancy_abort(char const*, int, char const*)
        ???:0
0x8fa4d8 dependent_type_p(tree_node*)
        ???:0
0x9c561f cxx_sizeof_or_alignof_type(unsigned int, tree_node*, tree_code, bool,
bool)
        ???:0
0x9168ca tsubst_tree_list(tree_node*, tree_node*, int, tree_node*)
        ???:0
0x95acdc instantiate_class_template(tree_node*)
        ???:0
0x94ad92 tsubst_lambda_expr(tree_node*, tree_node*, int, tree_node*)
        ???:0
0x91d71f instantiate_decl(tree_node*, bool, bool)
        ???:0
0x7c7a1e maybe_instantiate_decl(tree_node*)
        ???:0
0x7c9180 mark_used(tree_node*, int)
        ???:0
0x6de877 build_new_function_call(tree_node*, vec<tree_node*, va_gc,
vl_embed>**, int)
        ???:0
0x981e5c finish_call_expr(tree_node*, vec<tree_node*, va_gc, vl_embed>**, bool,
bool, int)
        ???:0
0x8e223d c_parse_file()
        ???:0
0xa614e2 c_common_parse_file()
        ???:0
Please submit a full bug report,
with preprocessed source if appropriate.

[Bug c++/100030] ICE: in dependent_type_p, at cp/pt.c:26757

[hewillk at gmail dot com]

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

--- Comment #1 from 康桓瑋 <hewillk at gmail dot com> ---
Related to RP 100006.

[Bug c++/100030] ICE: in dependent_type_p, at cp/pt.c:26757

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
                 CC|                            |mpolacek at gcc dot gnu.org
   Last reconfirmed|                            |2021-04-28

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.

[Bug c++/100030] ICE: in dependent_type_p, at cp/pt.c:26757

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jason Merrill <jason@gcc.gnu.org>:

https://gcc.gnu.org/g:4d2efec9f229c2e2e7cb6c3f06beb4c3e9d244a1

commit r12-6909-g4d2efec9f229c2e2e7cb6c3f06beb4c3e9d244a1
Author: Jason Merrill <jason@redhat.com>
Date:   Thu Jan 27 17:46:43 2022 -0500

    c++: pack in enumerator in lambda [PR100198]

    The GCC 8 lambda overhaul fixed most uses of lambdas in pack expansions,
but
    local enums and classes within such lambdas that depend on parameter packs
    are still broken.  For now, give a sorry instead of an ICE or incorrect
    error.

            PR c++/100198
            PR c++/100030
            PR c++/100282

    gcc/cp/ChangeLog:

            * parser.cc (cp_parser_enumerator_definition): Sorry on parameter
            pack in lambda.
            (cp_parser_class_head): And in class attributes.
            * pt.cc (check_for_bare_parameter_packs): Sorry instead of error
            in lambda.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp0x/lambda/lambda-variadic13.C: Accept the sorry
            as well as the correct error.
            * g++.dg/cpp0x/lambda/lambda-variadic14.C: Likewise.
            * g++.dg/cpp0x/lambda/lambda-variadic14a.C: New test.
            * g++.dg/cpp0x/lambda/lambda-variadic15.C: New test.
            * g++.dg/cpp0x/lambda/lambda-variadic16.C: New test.

[Bug c++/100030] ICE: in dependent_type_p, at cp/pt.c:26757

[pinskia at gcc dot gnu.org]

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

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 100031 has been marked as a duplicate of this bug. ***