Fix #7284 (segfault in jl_demangle)

CC @Keno.