https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126679
Bug ID: 126679
Summary: ICE segfault with reflection
Product: gcc
Version: 17.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: eczbek.void at gmail dot com
Target Milestone: ---
https://godbolt.org/z/6WvMejnKh
The error message changes if `std::views::filter` is removed or if `g(auto&&
obj)` is changed to `g(auto obj)`
```
template<typename... Ts>
struct visitor : Ts... {
using Ts::operator()...;
};
struct S {
void f(int) {}
};
void g(auto&& obj) {
static constexpr auto members = std::define_static_array(
members_of(remove_cvref(^^decltype(obj)),
std::meta::access_context::unchecked())
| std::views::filter([](auto member) { return
has_identifier(member) && (identifier_of(member) == "f"); })
);
[]<std::size_t... i> {
return visitor {
[](auto obj) requires(requires { obj.[:members[i]:](0);
}) { i; }...
};
}.template operator()<0>()(obj);
}
int main() {
g(S());
}
```
```
<source>: In substitution of 'template<class auto:60>
g<S>(S&&)::<lambda()>::<lambda(auto:60)> [with auto:60 = S]':
<source>:22:28: required from 'void g(auto:58&&) [with auto:58 = S]'
18 | []<std::size_t... i> {
| ~~~~~~~~~~~~~~~~~~~~~~
19 | return visitor {
| ~~~~~~~~~~~~~~~~
20 | [](auto obj) requires(requires {
obj.[:members[i]:](0); }) { i; }...
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
21 | };
| ~~
22 | }.template operator()<0>()(obj);
| ~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~
<source>:26:3: required from here
26 | g(S());
| ~^~~~~
<source>:16:38: internal compiler error: Segmentation fault
16 | | std::views::filter([](auto member) { return
has_identifier(member) && (identifier_of(member) == "f"); })
|
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
0x2b8ff08 diagnostics::context::diagnostic_impl(rich_location*,
diagnostics::metadata const*, diagnostics::option_id, char const*,
__va_list_tag (*) [1], diagnostics::kind)
???:0
0x2b84b4b internal_error(char const*, ...)
???:0
0xda65f1 template_parms_to_args(tree_node*)
???:0
0xdbe9b7 tsubst_lambda_expr(tree_node*, tree_node*, int, tree_node*)
???:0
0xbd4376 tsubst_requires_expr(tree_node*, tree_node*, int, tree_node*)
???:0
0xbd5878 constraints_satisfied_p(tree_node*, tree_node*)
???:0
0xdfcb91 fn_type_unification(tree_node*, tree_node*, tree_node*, tree_node*
const*, unsigned int, tree_node*, unification_kind_t, int, conversion**, bool,
bool)
???:0
0xb7cbf7 build_op_call(tree_node*, vec<tree_node*, va_gc, vl_embed>**, int)
???:0
0xe38936 finish_call_expr(tree_node*, vec<tree_node*, va_gc, vl_embed>**, bool,
bool, int)
???:0
0xdf9f7d instantiate_decl(tree_node*, bool, bool)
???:0
0xe03dfa instantiate_pending_templates(int)
???:0
0xc65d18 c_parse_final_cleanups()
???:0
0xf282b8 c_common_parse_file()
???:0
/cefs/71/7162170c670fadfdb1a6fa5f_gcc-trunk-20260806/bin/../libexec/gcc/x86_64-linux-gnu/17.0.0/cc1plus
-quiet -imultiarch x86_64-linux-gnu -iprefix
/cefs/71/7162170c670fadfdb1a6fa5f_gcc-trunk-20260806/bin/../lib/gcc/x86_64-linux-gnu/17.0.0/
-D_GNU_SOURCE <source> -quiet -dumpdir /app/ -dumpbase output.cpp -dumpbase-ext
.cpp -masm=intel -mtune=generic -march=x86-64 -g -std=c++26
-fdiagnostics-color=always -fno-verbose-asm -freflection -o /app/output.s
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
```
