projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 416d48e) | patch
[Ada] Couple of adjustments for the sake of static analyzers
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 7 Dec 2020 21:04:43 +0000 (22:04 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 28 Apr 2021 09:37:59 +0000 (05:37 -0400)
commit75716ebc25bfb4a647b05d0b2443b5495dab425e
tree23e2f3cbfc3860885181cd359f3ec1810a0880f1tree | snapshot
parent416d48eba3a3809757ef7c9d35dd0ac0c9795be4commit | diff
[Ada] Couple of adjustments for the sake of static analyzers

gcc/ada/

* libgnat/s-valrea.adb (Integer_to_Real): Use a subtype of Num
for the component type of the table of powers of ten.
* libgnat/s-valuer.adb (Round_Extra): Add assertion on Base.
gcc/ada/libgnat/s-valrea.adb diff | blob | history
gcc/ada/libgnat/s-valuer.adb diff | blob | history
Domain: System / Toolchain;