[Bug c++/102629] New: internal compiler error: tree check: expected record_type or union_type or qual_union_type, have decltype_type in lookup_base, at cp/search.c:233

[Bug c++/102629] New: internal compiler error: tree check: expected record_type or union_type or qual_union_type, have decltype_type in lookup_base, at cp/search.c:233

[hewillk at gmail dot com]

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

            Bug ID: 102629
           Summary: internal compiler error: tree check: expected
                    record_type or union_type or qual_union_type, have
                    decltype_type in lookup_base, at cp/search.c:233
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hewillk at gmail dot com
  Target Milestone: ---

12 Regression:


#include <utility>

struct S {};

template <typename... Args>
void foo(Args&&... args) {
  [...args = std::forward<Args> /*(args)*/] {
    [](auto...) { } (std::forward<Args>(args)...);
  };
}

void bar( ) {
  foo(S{});
}

https://godbolt.org/z/WhnWTbvoj

[Bug c++/102629] ICE: tree check: expected record_type or union_type or qual_union_type, have decltype_type in lookup_base, at cp/search.c:233 since r10-2194-g10acaf4db9f8b54b

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jason at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
            Summary|internal compiler error:    |ICE: tree check: expected
                   |tree check: expected        |record_type or union_type
                   |record_type or union_type   |or qual_union_type, have
                   |or qual_union_type, have    |decltype_type in
                   |decltype_type in            |lookup_base, at
                   |lookup_base, at             |cp/search.c:233 since
                   |cp/search.c:233             |r10-2194-g10acaf4db9f8b54b

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Likely started with r10-2194-g10acaf4db9f8b54b, it was rejected before the
revision.

[Bug c++/102629] [10/11/12 Regression] ICE: tree check in lookup_base, at cp/search.c:233 since r10-2194-g10acaf4db9f8b54b

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ICE: tree check: expected   |[10/11/12 Regression] ICE:
                   |record_type or union_type   |tree check in lookup_base,
                   |or qual_union_type, have    |at cp/search.c:233 since
                   |decltype_type in            |r10-2194-g10acaf4db9f8b54b
                   |lookup_base, at             |
                   |cp/search.c:233 since       |
                   |r10-2194-g10acaf4db9f8b54b  |
   Target Milestone|---                         |10.4

[Bug c++/102629] [10/11/12 Regression] ICE: tree check in lookup_base, at cp/search.c:233 since r10-2194-g10acaf4db9f8b54b

[mpolacek at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org
   Last reconfirmed|                            |2022-03-31
           Priority|P3                          |P2
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed, but even GCC 9 ICEs for me.

[Bug c++/102629] [10/11/12 Regression] ICE: tree check in lookup_base, at cp/search.c:233 since r10-2194-g10acaf4db9f8b54b

[jason at gcc dot gnu.org]

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

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

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

[Bug c++/102629] [10/11/12 Regression] ICE: tree check in lookup_base, at cp/search.c:233 since r10-2194-g10acaf4db9f8b54b

[cvs-commit at gcc dot gnu.org]

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

--- 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:9ace5d4dab2ab39072b0f07089621a823580f27c

commit r12-8273-g9ace5d4dab2ab39072b0f07089621a823580f27c
Author: Jason Merrill <jason@redhat.com>
Date:   Tue Apr 26 00:19:40 2022 -0400

    c++: pack init-capture of unresolved overload [PR102629]

    Here we were failing to diagnose that the initializer for the capture pack
    is an unresolved overload.  It turns out that the reason we didn't
recognize
    the deduction failure in do_auto_deduction was that the individual 'auto'
in
    the expansion of the capture pack was still marked as a parameter pack, so
    we were deducing it to an empty pack instead of failing.

            PR c++/102629

    gcc/cp/ChangeLog:

            * pt.cc (gen_elem_of_pack_expansion_instantiation): Clear
            TEMPLATE_TYPE_PARAMETER_PACK on auto.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/lambda-pack-init7.C: New test.

[Bug c++/102629] [10/11 Regression] ICE: tree check in lookup_base, at cp/search.c:233 since r10-2194-g10acaf4db9f8b54b

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:f0484f60e6409ef6e837e4712d212a5d827767ba

commit r11-9988-gf0484f60e6409ef6e837e4712d212a5d827767ba
Author: Jason Merrill <jason@redhat.com>
Date:   Tue Apr 26 00:19:40 2022 -0400

    c++: pack init-capture of unresolved overload [PR102629]

    Here we were failing to diagnose that the initializer for the capture pack
    is an unresolved overload.  It turns out that the reason we didn't
recognize
    the deduction failure in do_auto_deduction was that the individual 'auto'
in
    the expansion of the capture pack was still marked as a parameter pack, so
    we were deducing it to an empty pack instead of failing.

            PR c++/102629

    gcc/cp/ChangeLog:

            * pt.c (gen_elem_of_pack_expansion_instantiation): Clear
            TEMPLATE_TYPE_PARAMETER_PACK on auto.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/lambda-pack-init7.C: New test.

[Bug c++/102629] [10 Regression] ICE: tree check in lookup_base, at cp/search.c:233 since r10-2194-g10acaf4db9f8b54b

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:93ec7bf22530610ef697fd3a64a28bebd589c790

commit r10-10724-g93ec7bf22530610ef697fd3a64a28bebd589c790
Author: Jason Merrill <jason@redhat.com>
Date:   Tue Apr 26 00:19:40 2022 -0400

    c++: pack init-capture of unresolved overload [PR102629]

    Here we were failing to diagnose that the initializer for the capture pack
    is an unresolved overload.  It turns out that the reason we didn't
recognize
    the deduction failure in do_auto_deduction was that the individual 'auto'
in
    the expansion of the capture pack was still marked as a parameter pack, so
    we were deducing it to an empty pack instead of failing.

            PR c++/102629

    gcc/cp/ChangeLog:

            * pt.c (gen_elem_of_pack_expansion_instantiation): Clear
            TEMPLATE_TYPE_PARAMETER_PACK on auto.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/lambda-pack-init7.C: New test.

[Bug c++/102629] [10 Regression] ICE: tree check in lookup_base, at cp/search.c:233 since r10-2194-g10acaf4db9f8b54b

[jason at gcc dot gnu.org]

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

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

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

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed for 10.4/11.3/12.

[Bug c++/102629] [10 Regression] ICE: tree check in lookup_base, at cp/search.c:233 since r10-2194-g10acaf4db9f8b54b

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |11.3

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> ---
The fix caused a regression on the 10 branch, so I backed it out.