https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119265
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ebotcazou at gcc dot gnu.org
Summary|unsigned __int128 not |unsigned __int128 not
|converted properly by |converted properly by
|-fdump-ada-spec, while |-fdump-ada-spec unlike
|__int128 is |__int128
Last reconfirmed| |2025-03-13
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Small loophole indeed.