https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68608
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-valid-code
Last reconfirmed|2017-10-28 00:00:00 |2019-10-15
Known to fail| |10.0, 9.2.0
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Still ICEs on current trunk with -std=c++17 -fconcepts, and also with
-std=c++2a after modernising the code:
template <class T> concept C = true;
template <class T>
struct A {
int f() requires C<T> { return 1; }
int f() requires (!C<T>) { return 2; }
};
int main() {
return 0;
}
template struct A<int>;
68608.cc:13:23: error: Two symbols with same comdat_group are not linked by the
same_comdat_group list.
13 | template struct A<int>;
| ^
_ZN1AIiE1fEv/2 (int A<T>::f() requires !(C<T>) [with T = int]) @0x7fe58ee599d8
Type: function definition analyzed
Visibility: forced_by_abi no_reorder public weak comdat_group:_ZN1AIiE1fEv
one_only
previous sharing asm name: 1
References:
Referring:
Function flags: body
Called by:
Calls:
_ZN1AIiE1fEv/1 (int A<T>::f() requires C<T> [with T = int]) @0x7fe58ee59870
Type: function definition analyzed
Visibility: forced_by_abi no_reorder public weak comdat_group:_ZN1AIiE1fEv
one_only
next sharing asm name: 2
References:
Referring:
Function flags: body
Called by:
Calls:
68608.cc:13:23: internal compiler error: symtab_node::verify failed
0xb3ca36 symtab_node::verify_symtab_nodes()
/home/jwakely/src/gcc/gcc/gcc/symtab.c:1310
0xb4ec04 symtab_node::checking_verify_symtab_nodes()
/home/jwakely/src/gcc/gcc/gcc/cgraph.h:647
0xb4ec04 symbol_table::compile()
/home/jwakely/src/gcc/gcc/gcc/cgraphunit.c:2598
0xb512cc symbol_table::compile()
/home/jwakely/src/gcc/gcc/gcc/cgraphunit.c:2595
0xb512cc symbol_table::finalize_compilation_unit()
/home/jwakely/src/gcc/gcc/gcc/cgraphunit.c:2868
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
