projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba89624) | patch
[Ada] Fix problematic underflow for Float_Type'Value
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 4 Apr 2022 21:16:53 +0000 (23:16 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 18 May 2022 08:41:03 +0000 (08:41 +0000)
commit7c77ec1199c3a3d1ac48c9d963b8389c10a2a5bf
tree904bee0edef98e3888ec13167fc9078842cac055tree | snapshot
parentba89624e938a9309a0a8a672b2753159cf0a8a78commit | diff
[Ada] Fix problematic underflow for Float_Type'Value

We need a couple of guards for boundary conditions in the support code.

gcc/ada/

* libgnat/s-dourea.adb ("/"): Add guard for zero and infinite
divisor.
* libgnat/s-valuer.adb (Scan_Raw_Real): Add guard for very large
exponent values.
gcc/ada/libgnat/s-dourea.adb diff | blob | history
gcc/ada/libgnat/s-valuer.adb diff | blob | history
Domain: System / Toolchain;