diff options
| author | Nicolas Roche <roche@adacore.com> | 2019-09-18 08:32:23 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-09-18 08:32:23 +0000 |
| commit | b67723ddeea0206e68f122a26b1a7b46382b79e7 (patch) | |
| tree | 679d3f9a2a3cd0c71e0f14cbc55318b4c748deb6 /gcc/gimplify.c | |
| parent | d2880e695410cf607d77be03908d7107e41a5271 (diff) | |
| download | gcc-b67723ddeea0206e68f122a26b1a7b46382b79e7.zip gcc-b67723ddeea0206e68f122a26b1a7b46382b79e7.tar.gz gcc-b67723ddeea0206e68f122a26b1a7b46382b79e7.tar.bz2 | |
[Ada] Ensure that Scan_Real result does not depend on trailing zeros
Previous change in that procedure to handle overflow issues during
scanning removed the special handling for trailing zeros in the decimal
part. Beside the absence of overflow during scanning the special
handling of these zeros is still necessary.
2019-09-18 Nicolas Roche <roche@adacore.com>
gcc/ada/
* libgnat/s-valrea.adb (Scan_Integral_Digits): New procedure.
(Scan_Decimal_Digits): New procedure.
(As_Digit): New function.
(Scan_Real): Use Scan_Integral_Digits and Scan_Decimal_Digits.
gcc/testsuite/
* gnat.dg/float_value2.adb: New testcase.
From-SVN: r275849
Diffstat (limited to 'gcc/gimplify.c')
0 files changed, 0 insertions, 0 deletions