https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68092
Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2015-10-26
CC| |trippels at gcc dot gnu.org
Summary|[possibly concepts] ICE: |[C++1z] error: Two symbols
|symtab_node::verify failed. |with same comdat_group are
|Overloaded function by |not linked by the
|concept requires |same_comdat_group list.
Ever confirmed|0 |1
--- Comment #6 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
markus@x4 tmp % cat class.ii
template <int> bool ConceptTest();
template <int N> class A {
void foo() const requires ConceptTest<N>() {}
int foo() const {}
};
template class A<3>;
markus@x4 tmp % g++ -c -std=c++1z class.ii
class.ii:6:20: error: Two symbols with same comdat_group are not linked by the
same_comdat_group list.
template class A<3>;
^
_ZNK1AILi3EE3fooEv/1 (void A<N>::foo() const [with int N = 3]) @0x7f2d92c57170
Type: function definition analyzed
Visibility: forced_by_abi public weak comdat_group:_ZNK1AILi3EE3fooEv
one_only
previous sharing asm name: 0
References:
Referring:
First run: 0
Function flags: body
Called by:
Calls:
_ZNK1AILi3EE3fooEv/0 (void A<N>::foo() const requires
predicate((ConceptTest<N>)()) [with int N = 3]) @0x7f2d92c57000
Type: function definition analyzed
Visibility: forced_by_abi public weak comdat_group:_ZNK1AILi3EE3fooEv
one_only
next sharing asm name: 1
References:
Referring:
First run: 0
Function flags: body
Called by:
Calls:
class.ii:6:20: internal compiler error: symtab_node::verify failed
