https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66311 --- Comment #9 from mrs at gcc dot gnu.org <mrs at gcc dot gnu.org> --- I've audited the patch for the memory management nightmares; we are safe with it.