https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80117
--- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > So the real bug is that Standard'Word_Size doesn't follow -mabi. Surely > there should be no need to copy the whole file just to change Word_Size. That's what we do for x32 though, as there is no general mechanism, but I agree that we ought to better support this kind of setup.
