https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100474
Bug ID: 100474
Summary: ICE: in diagnose_trait_expr, at cp/constraint.cc:3706
Product: gcc
Version: 12.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 is a very tough one that is extremely difficult to reduce, but I will try.
https://godbolt.org/z/69GsTKrxe
#include <range/v3/all.hpp>
struct S {
S(auto, auto...);
};
ranges::single_view<S> s(ranges::in_place, {0});
/opt/compiler-explorer/libs/rangesv3/trunk/include/concepts/concepts.hpp:1076:13:
internal compiler error: in diagnose_trait_expr, at cp/constraint.cc:3706
1076 | META_IS_CONSTRUCTIBLE(T, Args...);
| ^~~~~~~~~~~~~~~~~~~~~
0x1d05ab9 internal_error(char const*, ...)
???:0
0x6bdddd fancy_abort(char const*, int, char const*)
???:0
0x742edf diagnose_constraints(unsigned int, tree_node*, tree_node*)
???:0
0x959a35 fn_type_unification(tree_node*, tree_node*, tree_node*, tree_node*
const*, unsigned int, tree_node*, unification_kind_t, int, conversion**, bool,
bool)
???:0
0x6e2a4a build_new_method_call(tree_node*, tree_node*, vec<tree_node*, va_gc,
vl_embed>**, tree_node*, int, tree_node**, int)
???:0
0x6e3f50 build_special_member_call(tree_node*, tree_node*, vec<tree_node*,
va_gc, vl_embed>**, tree_node*, int, int)
???:0
0x7f7fd8 build_aggr_init(tree_node*, tree_node*, int, int)
???:0
0x7b65f4 cp_finish_decl(tree_node*, tree_node*, bool, tree_node*, int)
???:0
0x8e533d c_parse_file()
???:0
0xa65902 c_common_parse_file()
???:0
Please submit a full bug report,
with preprocessed source if appropriate.
