]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b535f06) | patch
ada: Remove redundant condition in test of System.Val_Real.Integer_To_Real
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 18 Apr 2025 12:48:04 +0000 (14:48 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 30 Jun 2025 13:47:20 +0000 (15:47 +0200)
commita61eb1d4ad7e1bf53303ae3ff7e6141e54f1f9af
tree1c83b4700695ee7af9a1052b11cf99366ffae61ctree
parentb535f066ac9cae62fa14d5885c89c7b0a3682599commit | diff
ada: Remove redundant condition in test of System.Val_Real.Integer_To_Real

The second condition of the conjunction is redundant with the first.

gcc/ada/ChangeLog:

* libgnat/s-valrea.adb (Integer_to_Real): Rename to...
(Integer_To_Real): ...this.  Remove the second condition of the
conjunction in the test for the zero value.
(Scan_Real): Adjust to above renaming.
(Value_Real): Likewise.
* libgnat/s-valuer.ads (Scan_Raw_Real): Add note about Val.
gcc/ada/libgnat/s-valrea.adb diff | blob | blame | history
gcc/ada/libgnat/s-valuer.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git