[Bug ada/125695] Big_Exp special case for (+/-)2 ** K is broken for -2 and even K

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125695

--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-16 branch has been updated by Eric Botcazou
<ebotcazou@gcc.gnu.org>:

https://gcc.gnu.org/g:d89f56a2ab85d1529a7f3c8a69b9b36fa2e01cf5

commit r16-9078-gd89f56a2ab85d1529a7f3c8a69b9b36fa2e01cf5
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Tue Jun 9 20:51:09 2026 +0200

    Ada: Fix couple of oversights in Big_Integer package

    Having too many special cases can be counter-productive as shown here.

    gcc/ada/
            PR ada/125695
            * libgnat/s-genbig.adb ("**"): Do not drop the sign on the floor.
            (Big_Exp): Take into account the parity of the exponent for -2.

    gcc/testsuite/
            * gnat.dg/bigint1.adb: New  test.