From: Eric Botcazou Date: Tue, 18 Aug 2020 14:04:09 +0000 (+0200) Subject: [Ada] Minor fixes in GNAT RM X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ea56c18c501657906e72a693dba7775b2f39a004;p=gcc.git [Ada] Minor fixes in GNAT RM gcc/ada/ * doc/gnat_rm/implementation_defined_characteristics.rst: Minor fixes. * gnat_rm.texi: Regenerate. --- diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst b/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst index 2d546216a8e..71e18343532 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst @@ -13,8 +13,7 @@ Manual, and are summarized in Annex M. A requirement for conforming Ada compilers is that they provide documentation describing how the implementation deals with each of these issues. In this chapter you will find each point in Annex M listed, -followed by a description of how GNAT -handles the implementation dependence. +followed by a description of how GNAT handles the implementation dependence. You can use this chapter as a guide to minimizing implementation dependent features in your programs if portability to other compilers @@ -157,7 +156,7 @@ Type Representation Any combinations are permitted that do not result in a small less than ``Fine_Delta`` and do not result in a mantissa larger than 63 bits. If the mantissa is larger than 53 bits on machines where Long_Long_Float -is 64 bits (true of all architectures except ia32), then the output from +is 64 bits (true of all architectures except x86), then the output from Text_IO is accurate to only 53 bits, rather than the full mantissa. This is because floating-point conversions are used to convert fixed point. @@ -1222,7 +1221,7 @@ is converted to the target type. The result is only defined to be in the perfect result set if the result can be computed by a single scaling operation involving a scale factor -representable in 64-bits. +representable in 64 bits. * "The result of a fixed point arithmetic operation in diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index e5ea2e01686..88e24791fed 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -15379,8 +15379,7 @@ Manual, and are summarized in Annex M. A requirement for conforming Ada compilers is that they provide documentation describing how the implementation deals with each of these issues. In this chapter you will find each point in Annex M listed, -followed by a description of how GNAT -handles the implementation dependence. +followed by a description of how GNAT handles the implementation dependence. You can use this chapter as a guide to minimizing implementation dependent features in your programs if portability to other compilers @@ -15681,7 +15680,7 @@ supported for fixed point types. See 3.5.9(10)." Any combinations are permitted that do not result in a small less than @code{Fine_Delta} and do not result in a mantissa larger than 63 bits. If the mantissa is larger than 53 bits on machines where Long_Long_Float -is 64 bits (true of all architectures except ia32), then the output from +is 64 bits (true of all architectures except x86), then the output from Text_IO is accurate to only 53 bits, rather than the full mantissa. This is because floating-point conversions are used to convert fixed point. @@ -17505,7 +17504,7 @@ perfect result set. See G.2.3(22)." The result is only defined to be in the perfect result set if the result can be computed by a single scaling operation involving a scale factor -representable in 64-bits. +representable in 64 bits. @itemize *