[Bug c++/99584] New: ICE Segmentation fault when expanding lambda noexcept specifier with invalid parameter pack

[Bug c++/99584] New: ICE Segmentation fault when expanding lambda noexcept specifier with invalid parameter pack

[hewillk at gmail dot com]

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

            Bug ID: 99584
           Summary: ICE Segmentation fault when expanding lambda noexcept
                    specifier with invalid parameter pack
           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: ---

This may be related/duplicated to PR 99513 or PR 99583, but I am not sure.

The following invalid code triggers ICE in gcc-trunk:


void f(...);

template <typename... Args> 
void g(Args... args) {  
 f([](Args) noexcept(args) {} ...);  
}

int main() { g(0); }

(godbolt: https://gcc.godbolt.org/z/477Mn8)
(wandbox: https://wandbox.org/permlink/qA74qnIHdaZSX6JF)

[Bug c++/99584] [11 Regression] ICE Segmentation fault when expanding lambda noexcept specifier with invalid parameter pack

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.0
            Summary|ICE Segmentation fault when |[11 Regression] ICE
                   |expanding lambda noexcept   |Segmentation fault when
                   |specifier with invalid      |expanding lambda noexcept
                   |parameter pack              |specifier with invalid
                   |                            |parameter pack
      Known to work|                            |10.2.1
           Keywords|                            |ice-on-invalid-code
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2021-03-15

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.

[Bug c++/99584] [11 Regression] ICE Segmentation fault when expanding lambda noexcept specifier with invalid parameter pack

[jason at gcc dot gnu.org]

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

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

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

[Bug c++/99584] [11 Regression] ICE Segmentation fault when expanding lambda noexcept specifier with invalid parameter pack

[jason at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|ice-on-invalid-code         |ice-on-valid-code

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> ---
Probably the same issue as PR 95583.

[Bug c++/99584] [11 Regression] ICE Segmentation fault when expanding lambda noexcept specifier with invalid parameter pack

[cvs-commit at gcc dot gnu.org]

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

--- 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:0cf4813202f19768e31666f6aa82bde4dce4065a

commit r11-7953-g0cf4813202f19768e31666f6aa82bde4dce4065a
Author: Jason Merrill <jason@redhat.com>
Date:   Thu Apr 1 15:17:40 2021 -0400

    c++: variadic lambda noexcept-specifier [PR99583]

    The tree-walk looking for parameter packs didn't find this one because we
    weren't stepping into TYPE_RAISES_EXCEPTIONS.

    gcc/cp/ChangeLog:

            PR c++/99583
            PR c++/99584
            * tree.c (cp_walk_subtrees) [FUNCTION_TYPE]: Walk into
            TYPE_RAISES_EXCEPTIONS.

    gcc/testsuite/ChangeLog:

            PR c++/99583
            * g++.dg/cpp0x/lambda/lambda-variadic12.C: New test.

[Bug c++/99584] [11 Regression] ICE Segmentation fault when expanding lambda noexcept specifier with invalid parameter pack

[jason at gcc dot gnu.org]

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

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

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed.

[Bug c++/99584] [11 Regression] ICE Segmentation fault when expanding lambda noexcept specifier with invalid parameter pack

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
*** Bug 99583 has been marked as a duplicate of this bug. ***