https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127974
--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-16 branch has been updated by Eric Botcazou <[email protected]>: https://gcc.gnu.org/g:c35d40973a2413ba48c047c10a090433e731759c commit r16-9810-gc35d40973a2413ba48c047c10a090433e731759c Author: Liam Powell <[email protected]> Date: Mon Oct 19 20:48:27 2026 +0200 Ada: Fix questionable implementation of 'Valid for floating point This only pertains to obsolete targets that do not support denormals, but is worth fixing because it also improves the generated code for the others. gcc/ada PR ada/127974 * libgnat/s-fatgen.adb (Valid): Turn Rep into an imported constant and mask out the sign for the test on its Most Significant Word.
