https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62042
--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Why we cannot?! Because the correct semantics of the program need to be preserved. > If you are afraid that this may introduce errors, you are not right, as this > is allowed by Ada standards. Only under certain circumstances though.