https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70909
--- Comment #12 from Markus Trippelsdorf <trippels at gcc dot gnu.org> --- (In reply to Mark Wielaard from comment #11) > (In reply to Markus Trippelsdorf from comment #10) > > The symbol was demangled with libcxxabi's demangler. > > The other two demanglers reject it. > > Thanks. Do you know which demangler is correct for this input string? > The question is whether this symbol was incorrectly generated. If so then > rejecting it is it the right thing to do. If it is correct then there is > still the question whether the produced output is correct. Which is slightly > hard given how big this input/output pair is. I'm not sure. The libc++abi demangler is rather permissive, so anything it accepts doesn't necessarily have to be correct. Perhaps Matt could attach a preprocessed testcase that produces the symbol?
