diff options
| author | Liaiss Merzougue <merzougue@adacore.com> | 2020-10-30 08:19:09 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-26 03:39:58 -0500 |
| commit | 0938e5145854954f5143e08d25fbad231c6cfa90 (patch) | |
| tree | a5f3955190d09e84746fba8d21d0b61962ab77a6 | |
| parent | 781fb9a006d48621849d4aa45b7f33657733f319 (diff) | |
| download | gcc-0938e5145854954f5143e08d25fbad231c6cfa90.tar.gz | |
[Ada] Add the remark concerning the use of Image_Ordinary_Fixed_Point
gcc/ada/
* libgnat/s-imgrea.ads (Image_Ordinary_Fixed_Point): Add a
remark concerning the irrelevant use of Inf and -0.0
| -rw-r--r-- | gcc/ada/libgnat/s-imgrea.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/libgnat/s-imgrea.ads b/gcc/ada/libgnat/s-imgrea.ads index 565666a483c..d8eb721b62a 100644 --- a/gcc/ada/libgnat/s-imgrea.ads +++ b/gcc/ada/libgnat/s-imgrea.ads @@ -46,6 +46,9 @@ package System.Img_Real is -- ordinary fixed point (see package System.Img_Dec for handling of decimal -- fixed point). The caller guarantees that S is long enough to hold the -- result and has a lower bound of 1. + -- + -- Remark: This procedure should NOT be called with V = -0.0 or V = +/-Inf, + -- The result is irrelevant. procedure Image_Floating_Point (V : Long_Long_Float; |