diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-11-23 11:39:05 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-12-14 10:51:55 -0500 |
| commit | 951d7d1319923e5188df3224a9f79ee5804bac80 (patch) | |
| tree | b88c429620a3e3d7e05f348dcb984c30be590c7f /gcc/ada/libgnat/a-wtfiio.adb | |
| parent | 430dd877b8692d1711d772cf5d19526d7a452bb6 (diff) | |
| download | gcc-951d7d1319923e5188df3224a9f79ee5804bac80.zip gcc-951d7d1319923e5188df3224a9f79ee5804bac80.tar.gz gcc-951d7d1319923e5188df3224a9f79ee5804bac80.tar.bz2 | |
[Ada] Small adjustments to fixed-point I/O units
gcc/ada/
* libgnat/a-tifiio.adb: Adjust documentation.
(OK_Get_32): Compare the object size of the base type.
(OK_Put_32): Likewise.
(OK_Get_64): Likewise.
(OK_Put_64): Likewise.
* libgnat/a-tifiio__128.adb: Adjust documentation.
(OK_Get_32): Compare the object size of the base type.
(OK_Put_32): Likewise.
(OK_Get_64): Likewise.
(OK_Put_64): Likewise.
(OK_Get_128): Likewise.
(OK_Put_128): Likewise.
* libgnat/a-wtfiio.adb (OK_Get_32): Likewise.
(OK_Put_32): Likewise.
(OK_Get_64): Likewise.
(OK_Put_64): Likewise
* libgnat/a-wtfiio__128.adb (OK_Get_32): Likewise.
(OK_Put_32): Likewise.
(OK_Get_64): Likewise.
(OK_Put_64): Likewise.
(OK_Get_128): Likewise.
(OK_Put_128): Likewise.
* libgnat/a-ztfiio.adb (OK_Get_32): Likewise.
(OK_Put_32): Likewise.
(OK_Get_64): Likewise.
(OK_Put_64): Likewise
* libgnat/a-ztfiio__128.adb (OK_Get_32): Likewise.
(OK_Put_32): Likewise.
(OK_Get_64): Likewise.
(OK_Put_64): Likewise.
(OK_Get_128): Likewise.
(OK_Put_128): Likewise.
Diffstat (limited to 'gcc/ada/libgnat/a-wtfiio.adb')
| -rw-r--r-- | gcc/ada/libgnat/a-wtfiio.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/libgnat/a-wtfiio.adb b/gcc/ada/libgnat/a-wtfiio.adb index fa9c1e0..570c5da 100644 --- a/gcc/ada/libgnat/a-wtfiio.adb +++ b/gcc/ada/libgnat/a-wtfiio.adb @@ -62,7 +62,7 @@ package body Ada.Wide_Text_IO.Fixed_IO is -- static (although it is not a static expressions in the RM sense). OK_Get_32 : constant Boolean := - Num'Object_Size <= 32 + Num'Base'Object_Size <= 32 and then ((Num'Small_Numerator = 1 and then Num'Small_Denominator <= 2**31) or else @@ -73,7 +73,7 @@ package body Ada.Wide_Text_IO.Fixed_IO is -- These conditions are derived from the prerequisites of System.Value_F OK_Put_32 : constant Boolean := - Num'Object_Size <= 32 + Num'Base'Object_Size <= 32 and then ((Num'Small_Numerator = 1 and then Num'Small_Denominator <= 2**31) or else @@ -87,7 +87,7 @@ package body Ada.Wide_Text_IO.Fixed_IO is -- These conditions are derived from the prerequisites of System.Image_F OK_Get_64 : constant Boolean := - Num'Object_Size <= 64 + Num'Base'Object_Size <= 64 and then ((Num'Small_Numerator = 1 and then Num'Small_Denominator <= 2**63) or else @@ -98,7 +98,7 @@ package body Ada.Wide_Text_IO.Fixed_IO is -- These conditions are derived from the prerequisites of System.Value_F OK_Put_64 : constant Boolean := - Num'Object_Size <= 64 + Num'Base'Object_Size <= 64 and then ((Num'Small_Numerator = 1 and then Num'Small_Denominator <= 2**63) or else |