[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 #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-14 branch has been updated by Eric Botcazou
<ebotcazou@gcc.gnu.org>:

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

commit r14-12643-gcdd9f96efc0b76095b7b844fff391e673c48323d
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.