projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52860cc) | patch
[Ada] Ensure meaningless digits in a string are discarded
authorNicolas Roche <roche@adacore.com>
Mon, 22 Jul 2019 13:56:59 +0000 (13:56 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 22 Jul 2019 13:56:59 +0000 (13:56 +0000)
commit7ddc639b7717278075ab1989568d1769ccc040e1
tree1477f342b83f62fafa3f575a5875330166c756b8tree
parent52860cc145a7075a9f30840703f96b242cd0150fcommit | diff
[Ada] Ensure meaningless digits in a string are discarded

2019-07-22  Nicolas Roche  <roche@adacore.com>

gcc/ada/

* libgnat/s-valrea.adb (Scan_Real): Ignore non significative
digits to avoid converging to infinity in some cases.

gcc/testsuite/

* gnat.dg/float_value1.adb: New testcase.

From-SVN: r273675
gcc/ada/ChangeLog diff | blob | history
gcc/ada/libgnat/s-valrea.adb diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gnat.dg/float_value1.adb [new file with mode: 0644] blob