https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122875
Bug ID: 122875
Summary: ICE on invalid std::meta::substitute()
Product: gcc
Version: 16.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/hK6o3j1na
```
template<auto>
constexpr bool x = true;
template<typename T>
concept test = [:substitute(^^x, bases_of(^^T,
std::meta::access_context::current())):];
struct A {};
struct B : A {};
static_assert(test<B>);
```
```
<source>:7:28: sorry, unimplemented: unexpected AST of kind tree_binfo
7 | concept test = [:substitute(^^x, bases_of(^^T,
std::meta::access_context::current())):];
|
~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
<source>:7:28: internal compiler error: in potential_constant_expression_1, at
cp/constexpr.cc:12777
0x2933b28 diagnostics::context::diagnostic_impl(rich_location*,
diagnostics::metadata const*, diagnostics::option_id, char const*,
__va_list_tag (*) [1], diagnostics::kind)
???:0
0x292891b internal_error(char const*, ...)
???:0
0xb1491a fancy_abort(char const*, int, char const*)
???:0
0xb98170 is_nondependent_constant_expression(tree_node*)
???:0
0xb99445 maybe_constant_value(tree_node*, tree_node*, mce_value)
???:0
0xda8073 coerce_template_parms(tree_node*, tree_node*, tree_node*, int, bool)
???:0
0xda924b lookup_template_variable(tree_node*, tree_node*, int)
???:0
0xdd9140 process_metafunction(constexpr_ctx const*, tree_node*, tree_node*,
bool*, bool*, tree_node**)
???:0
0xb81a24 cxx_eval_constant_expression(constexpr_ctx const*, tree_node*,
value_cat, bool*, bool*, tree_node**)
???:0
0xb935e3 cxx_constant_value(tree_node*, tree_node*, int)
???:0
0xdc8260 splice(tree_node*)
???:0
0xba7b38 evaluate_concept_check(tree_node*)
???:0
0xb8365c cxx_eval_constant_expression(constexpr_ctx const*, tree_node*,
value_cat, bool*, bool*, tree_node**)
???:0
0xb99549 maybe_constant_value(tree_node*, tree_node*, mce_value)
???:0
0xdf97d6 finish_static_assert(tree_node*, tree_node*, unsigned long, bool,
bool, bool)
???:0
0xd52a73 c_parse_file()
???:0
0xed9bf9 c_common_parse_file()
???:0
```
