public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/109070] New: ICE in class template member function overloads distinguished by non-functionally-equivalent constraints and return type
@ 2023-03-08 21:01 ed at catmur dot uk
2023-03-08 21:08 ` [Bug c++/109070] " pinskia at gcc dot gnu.org
0 siblings, 1 reply; 2+ messages in thread
From: ed at catmur dot uk @ 2023-03-08 21:01 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109070
Bug ID: 109070
Summary: ICE in class template member function overloads
distinguished by non-functionally-equivalent
constraints and return type
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: ed at catmur dot uk
Target Milestone: ---
template<int I> concept C = true;
template<typename T> struct A {
int f() requires C<42> { return 1; } // #1
unsigned f() requires true { return 2u; } // #2
};
int main() {
int (A<int>::*p)() = &A<int>::f;
unsigned (A<int>::*q)() = &A<int>::f;
return (A<int>().*p)() + (A<int>().*q)();
}
<source>:10:1: error: Two symbols with same comdat_group are not linked by the
same_comdat_group list.
10 | }
| ^
_ZN1AIiE1fEv/2 (unsigned int A<T>::f() requires true [with T = int])
Type: function definition analyzed
Visibility: semantic_interposition public weak comdat
comdat_group:_ZN1AIiE1fEv one_only
previous sharing asm name: 1
Address is taken.
References:
Referring: main/0 (addr)
Function flags: body
Called by:
Calls:
_ZN1AIiE1fEv/1 (int A<T>::f() requires C<42> [with T = int])
Type: function definition analyzed
Visibility: semantic_interposition public weak comdat
comdat_group:_ZN1AIiE1fEv one_only
next sharing asm name: 2
Address is taken.
References:
Referring: main/0 (addr)
Function flags: body
Called by:
Calls:
<source>:10:1: internal compiler error: symtab_node::verify failed
0x247b73e internal_error(char const*, ...)
???:0
0xed5c22 symtab_node::verify_symtab_nodes()
???:0
0xef042b symbol_table::finalize_compilation_unit()
???:0
This is valid per [temp.over.link]/5, but that seems impossible to implement -
I've filed https://github.com/cplusplus/CWG/issues/256.
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Bug c++/109070] ICE in class template member function overloads distinguished by non-functionally-equivalent constraints and return type
2023-03-08 21:01 [Bug c++/109070] New: ICE in class template member function overloads distinguished by non-functionally-equivalent constraints and return type ed at catmur dot uk
@ 2023-03-08 21:08 ` pinskia at gcc dot gnu.org
0 siblings, 0 replies; 2+ messages in thread
From: pinskia at gcc dot gnu.org @ 2023-03-08 21:08 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109070
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |DUPLICATE
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Dup of bug 68608.
*** This bug has been marked as a duplicate of bug 68608 ***
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2023-03-08 21:08 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-03-08 21:01 [Bug c++/109070] New: ICE in class template member function overloads distinguished by non-functionally-equivalent constraints and return type ed at catmur dot uk
2023-03-08 21:08 ` [Bug c++/109070] " pinskia at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).