[Bug c++/70909] Libiberty Demangler segfaults (4)

[mark at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70909

--- Comment #11 from Mark Wielaard <mark at gcc dot gnu.org> ---
(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.

Does anybody have a smaller (valid) reproducer?