[Ada] Minor fixes in GNAT RM
authorEric Botcazou <ebotcazou@adacore.com>
Tue, 18 Aug 2020 14:04:09 +0000 (16:04 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 22 Oct 2020 12:11:22 +0000 (08:11 -0400)
gcc/ada/

* doc/gnat_rm/implementation_defined_characteristics.rst: Minor
fixes.
* gnat_rm.texi: Regenerate.

gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst
gcc/ada/gnat_rm.texi

index 2d546216a8ec072c264b31c544b52a93bb0d8647..71e18343532bff6e7aec8ef01f789845d0057440 100644 (file)
@@ -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
index e5ea2e016869daa0926f0dcde64fa804ffb60a86..88e24791fed2497f286b1f4a4c1f2a2f38abb977 100644 (file)
@@ -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 *