[Bug other/61233] Demangler crash (GDB PR 16957)

[palves at redhat dot com]

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

--- Comment #2 from Pedro Alves <palves at redhat dot com> ---
This fixes it:

 https://gcc.gnu.org/ml/gcc-patches/2014-05/msg02279.html

See bug 61321.