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