diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-11-25 19:32:15 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-12-15 06:41:56 -0500 |
| commit | 04974721aeee72da4dc497d371bad42a779ad89e (patch) | |
| tree | e47cdfac5d02b850f3688b7e7373fbd70bd81465 /gcc/ada/par-ch11.adb | |
| parent | a1023434a8dd3ce2281a726d30ef370caa425252 (diff) | |
| download | gcc-04974721aeee72da4dc497d371bad42a779ad89e.zip gcc-04974721aeee72da4dc497d371bad42a779ad89e.tar.gz gcc-04974721aeee72da4dc497d371bad42a779ad89e.tar.bz2 | |
[Ada] Small adjustment to parameterization of System.Value_R
gcc/ada/
* doc/gnat_ugn/gnat_and_program_execution.rst: Minor fix.
* gnat_ugn.texi: Regenerate.
* libgnat/s-valuer.ads (Precision_Limit): New formal parameter.
* libgnat/s-valuer.adb (Precision_Limit): Remove.
(Scan_Decimal_Digits): Robustify overflow check.
(Scan_Integral_Digits): Likewise.
* libgnat/s-valrea.adb: Add assertion on the size of the unsigned
type and instantiate System.Value_R with the mantissa limit.
(Integer_to_Real): Add Extra parameter and take it into account.
(Scan_Real): Pass Extra to Integer_to_Real.
(Value_Real): Likewise.
* libgnat/s-valued.adb: Add assertion on the size of the unsigned
type and instantiate System.Value_R with the mantissa limit.
* libgnat/s-valuef.adb: Likewise.
Diffstat (limited to 'gcc/ada/par-ch11.adb')
0 files changed, 0 insertions, 0 deletions