[Bug c++/117054] [14/15 Regression] checking ICE on generic lambda inside a template containing constexpr-if containing instantiation of template with a NTTP defaulted to a lambda

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Patrick Palka <ppa...@gcc.gnu.org>:

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

commit r15-4365-gbb2bfdb2048aed18ef7dc01b51816a800e83ce54
Author: Patrick Palka <ppa...@redhat.com>
Date:   Tue Oct 15 13:13:15 2024 -0400

    c++: checking ICE w/ constexpr if and lambda as def targ [PR117054]

    Here we're tripping over the assert in extract_locals_r which enforces
    that an extra-args tree appearing inside another extra-args tree doesn't
    actually have extra args.  This invariant doesn't always hold for lambdas
    (which recently gained the extra-args mechanism) but that should be
    harmless since cp_walk_subtrees doesn't walk LAMBDA_EXPR_EXTRA_ARGS and
    so should be immune to the PR114303 issue for now.  So let's just disable
    this assert for lambdas.

            PR c++/117054

    gcc/cp/ChangeLog:

            * pt.cc (extract_locals_r): Disable tree_extra_args assert
            for LAMBDA_EXPR.

    gcc/testsuite/ChangeLog:

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

    Reviewed-by: Jason Merrill <ja...@redhat.com>