https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71808
Bug ID: 71808
Summary: [concepts] ICE in finish_member_declaration
Product: gcc
Version: 7.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: lucdanton at free dot fr
Target Milestone: ---
ICE on both 6.1 and 7 trunk (rev. 238124), although I can't verify if the
stacktraces are similar. I don't know if the code should be rejected or not.
$ cat main.cpp
template<typename X>
concept bool Fooable = requires(X x) { x.foo(); };
Fooable{X}
struct container {
using member_type = typename X::member_type;
X payload;
};
template<typename X>
struct model {
using member_type = X;
void foo() {}
container<model<X>> bar() { return {}; }
};
int main()
{
container<model<int>> {}.payload.bar();
}
$ g++-trunk -std=c++1z -fconcepts main.cpp
main.cpp: In instantiation of 'struct container<model<int> >':
main.cpp:22:42: required from here
main.cpp:5:18: internal compiler error: in finish_member_declaration, at
cp/semantics.c:2949
struct container {
^
0x7032d9 finish_member_declaration(tree_node*)
../../gcc/gcc/cp/semantics.c:2949
0x674916 instantiate_class_template_1
../../gcc/gcc/cp/pt.c:10203
0x674916 instantiate_class_template(tree_node*)
../../gcc/gcc/cp/pt.c:10417
0x6d682d complete_type(tree_node*)
../../gcc/gcc/cp/typeck.c:133
0x6d68d4 complete_type_or_maybe_complain(tree_node*, tree_node*, int)
../../gcc/gcc/cp/typeck.c:145
0x6d69b1 require_complete_type_sfinae(tree_node*, int)
../../gcc/gcc/cp/typeck.c:89
0x61e969 build_cxx_call(tree_node*, int, tree_node**, int)
../../gcc/gcc/cp/call.c:7920
0x628c13 build_over_call
../../gcc/gcc/cp/call.c:7831
0x627694 build_new_method_call_1
../../gcc/gcc/cp/call.c:8521
0x627694 build_new_method_call(tree_node*, tree_node*, vec<tree_node*, va_gc,
vl_embed>**, tree_node*, int, tree_node**, int)
../../gcc/gcc/cp/call.c:8591
0x6b3f78 cp_parser_postfix_expression
../../gcc/gcc/cp/parser.c:6880
0x6b2142 cp_parser_unary_expression
../../gcc/gcc/cp/parser.c:7991
0x6ba157 cp_parser_cast_expression
../../gcc/gcc/cp/parser.c:8668
0x6ba723 cp_parser_binary_expression
../../gcc/gcc/cp/parser.c:8769
0x6bae04 cp_parser_assignment_expression
../../gcc/gcc/cp/parser.c:9056
0x6bd27a cp_parser_expression
../../gcc/gcc/cp/parser.c:9225
0x6bd85f cp_parser_expression_statement
../../gcc/gcc/cp/parser.c:10686
0x6c9a83 cp_parser_statement
../../gcc/gcc/cp/parser.c:10537
0x6ca2fc cp_parser_statement_seq_opt
../../gcc/gcc/cp/parser.c:10809
0x6ca3df cp_parser_compound_statement
../../gcc/gcc/cp/parser.c:10763
