https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100912
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |ASSIGNED
Keywords| |wrong-code
Assignee|unassigned at gcc dot gnu.org |redi at gcc dot gnu.org
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Thanks for the analysis! Looks like we need two different versions of that
symbol, with different mangled names.
