diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2021-11-19 18:24:01 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-12-01 10:24:43 +0000 |
| commit | 82a7daa31a31922bbe44a878cd0313c048a02130 (patch) | |
| tree | 9db7700054d45266272e1ebf755106c0b318d2b1 /gcc/ada/einfo.ads | |
| parent | ba12deb95594b898094b199f9f5ec1a52542be6b (diff) | |
| download | gcc-82a7daa31a31922bbe44a878cd0313c048a02130.zip gcc-82a7daa31a31922bbe44a878cd0313c048a02130.tar.gz gcc-82a7daa31a31922bbe44a878cd0313c048a02130.tar.bz2 | |
[Ada] Fix incorrect fixed-point computation in expression function
gcc/ada/
* einfo.ads (E_Decimal_Fixed_Point_Subtype): Fix pasto.
* freeze.adb (Freeze_Fixed_Point_Type): Retrieve the underlying type
of the first subtype and do not use a stale value of Small_Value.
* sem_res.adb (Resolve_Real_Literal): In the case of a fixed-point
type, make sure that the base type is frozen and use its Small_Value
to compute the corresponding integer value of the literal.
Diffstat (limited to 'gcc/ada/einfo.ads')
| -rw-r--r-- | gcc/ada/einfo.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 4f74870..ca2ba20 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -5353,7 +5353,7 @@ package Einfo is -- Size_Clause (synth) -- E_Decimal_Fixed_Point_Type - -- E_Decimal_Fixed_Subtype$$$no such thing + -- E_Decimal_Fixed_Point_Subtype -- Scale_Value -- Digits_Value -- Scalar_Range |