https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64535
--- Comment #17 from Jonathan Wakely <redi at gcc dot gnu.org> --- Ah, I assumed the lack of destructor was intentional, so we can still deal with exceptions while destroying globals. Otherwise an exception could try to allocate from the pool after the destructor has run.
