https://gcc.gnu.org/g:04f84457772946904f5882ef1b528fe1766ef006
commit r16-7381-g04f84457772946904f5882ef1b528fe1766ef006 Author: Jakub Jelinek <[email protected]> Date: Sat Feb 7 11:07:28 2026 +0100 c++: Handle SPLICE_SCOPE in cp_walk_subtrees [PR123659] SPLICE_SCOPE is a TYPE_P, but didn't have its SPLICE_SCOPE_EXPR walked by cp_walk_tree, so the following testcase has been rejected because it didn't find a pack in it. SPLICE_EXPR is fine, as it is tcc_expression and walk_tree by default walks all the tcc_exception operands for unknown trees. 2026-02-07 Jakub Jelinek <[email protected]> PR c++/123659 * tree.cc (cp_walk_subtrees): Handle SPLICE_SCOPE. * g++.dg/reflect/splice9.C: New test. Diff: --- gcc/cp/tree.cc | 5 +++++ gcc/testsuite/g++.dg/reflect/splice9.C | 21 +++++++++++++++++++++ 2 files changed, 26 insertions(+) diff --git a/gcc/cp/tree.cc b/gcc/cp/tree.cc index b8820baf203f..74e387c2d416 100644 --- a/gcc/cp/tree.cc +++ b/gcc/cp/tree.cc @@ -6273,6 +6273,11 @@ cp_walk_subtrees (tree *tp, int *walk_subtrees_p, walk_tree_fn func, WALK_SUBTREE (TYPE_MAX_VALUE (t)); break; + case SPLICE_SCOPE: + WALK_SUBTREE (SPLICE_SCOPE_EXPR (t)); + *walk_subtrees_p = 0; + break; + default: return NULL_TREE; } diff --git a/gcc/testsuite/g++.dg/reflect/splice9.C b/gcc/testsuite/g++.dg/reflect/splice9.C new file mode 100644 index 000000000000..458b651e54e1 --- /dev/null +++ b/gcc/testsuite/g++.dg/reflect/splice9.C @@ -0,0 +1,21 @@ +// PR c++/123659 +// { dg-do compile { target c++26 } } +// { dg-additional-options "-freflection" } + +#include <meta> + +struct S {}; + +template <int...I> +void +foo () +{ + static constexpr std::meta::info t[] { ^^int, ^^long, ^^S, ^^double }; + [] (typename [: t[I] :]... a) {} (1, S {}, 2.5, 3L, 4L); +} + +void +bar () +{ + foo <0, 2, 3, 1, 1> (); +}
