[Bug c++/103885] New: ICE in capturing lambda for certain constexpr/auto combination

[Bug c++/103885] New: ICE in capturing lambda for certain constexpr/auto combination

[cbcode at gmail dot com]

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

            Bug ID: 103885
           Summary: ICE in capturing lambda for certain constexpr/auto
                    combination
           Product: gcc
           Version: 11.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: cbcode at gmail dot com
  Target Milestone: ---

ICE on the line indicated below.

void test() {
    constexpr int N = 1;
    constexpr auto a1 = [](auto){
        static_assert(N == 1); //OK
        return 2;
    }(3);
    constexpr auto a2 = [=](auto){
        static_assert(N == 1); //OK
        return 2;
    }(3);
    constexpr auto a3 = [&](int){
        static_assert(N == 1); //OK
        return 2;
    }(3);
    constexpr auto a4 = [&](auto){
        static_assert(N == 1); //ICE in tsubst_copy, at cp/pt.c:16780
        return 2;
    }(3);
}

[Bug c++/103885] [9/10/11 Regression] ICE in capturing lambda for certain constexpr/auto combination

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |9.5

[Bug c++/103885] [9/10/11 Regression] ICE in capturing lambda for certain constexpr/auto combination

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |needs-bisection

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Looks to be fixed on the trunk.

[Bug c++/103885] [9/10/11 Regression] ICE in capturing lambda for certain constexpr/auto combination

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
                 CC|                            |ppalka at gcc dot gnu.org
           Keywords|needs-bisection             |
           Assignee|unassigned at gcc dot gnu.org      |ppalka at gcc dot gnu.org
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2022-01-04

--- Comment #2 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Started with r8-4571 and fixed with r12-1095.

[Bug c++/103885] [9/10/11 Regression] ICE in capturing lambda for certain constexpr/auto combination

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug c++/103885] [9/10/11 Regression] ICE in capturing lambda for certain constexpr/auto combination

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Patrick Palka
<ppalka@gcc.gnu.org>:

https://gcc.gnu.org/g:2837450c4e8f5f241db5519977ab24c1f871258f

commit r11-9801-g2837450c4e8f5f241db5519977ab24c1f871258f
Author: Patrick Palka <ppalka@redhat.com>
Date:   Thu May 27 14:25:33 2021 -0400

    c++: parameter pack inside static_assert [PR99893]

    Here, we're not finding the parameter pack inside the static_assert because
    STATIC_ASSERT trees are tcc_exceptional, and we weren't explicitly walking
    them in cp_walk_subtrees.

            PR c++/99893
            PR c++/103885

    gcc/cp/ChangeLog:

            * tree.c (cp_walk_subtrees) <case STATIC_ASSERT>: New case.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp0x/static_assert17.C: New test.

    (cherry picked from commit fc3fdf0f2196e805a3a43ccb73595c33673670f3)

[Bug c++/103885] [9/10 Regression] ICE in capturing lambda for certain constexpr/auto combination

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.5                         |11.3
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #4 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Fixed for GCC 11.3/12, thanks for the bug report.