https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124143
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- The patch is incorrect though, since 1) you may not dereference Subpool after the call to Deallocate_Subpool since it can have been set to null and 2) you may not access the subpool since it has been deallocated.
