OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Minor fixes in GNAT RM

Browse Source 
gcc/ada/

	* doc/gnat_rm/implementation_defined_characteristics.rst: Minor
	fixes.
	* gnat_rm.texi: Regenerate.
This commit is contained in:
Eric Botcazou 2020-08-18 16:04:09 +02:00 committed by Pierre-Marie de Rodat
parent 9032759659
commit ea56c18c50
2 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst
View File

@ -13,8 +13,7 @@ Manual, and are summarized in Annex M.
A requirement for conforming Ada compilers is that they provide A requirement for conforming Ada compilers is that they provide
documentation describing how the implementation deals with each of these documentation describing how the implementation deals with each of these
issues. In this chapter you will find each point in Annex M listed, issues. In this chapter you will find each point in Annex M listed,
followed by a description of how GNAT followed by a description of how GNAT handles the implementation dependence.
handles the implementation dependence.
You can use this chapter as a guide to minimizing implementation You can use this chapter as a guide to minimizing implementation
dependent features in your programs if portability to other compilers 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 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. ``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 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 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. 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 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 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 "The result of a fixed point arithmetic operation in

7
gcc/ada/gnat_rm.texi
View File

@ -15379,8 +15379,7 @@ Manual, and are summarized in Annex M.
A requirement for conforming Ada compilers is that they provide A requirement for conforming Ada compilers is that they provide
documentation describing how the implementation deals with each of these documentation describing how the implementation deals with each of these
issues. In this chapter you will find each point in Annex M listed, issues. In this chapter you will find each point in Annex M listed,
followed by a description of how GNAT followed by a description of how GNAT handles the implementation dependence.
handles the implementation dependence.
You can use this chapter as a guide to minimizing implementation You can use this chapter as a guide to minimizing implementation
dependent features in your programs if portability to other compilers 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 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. @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 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 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. 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 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 can be computed by a single scaling operation involving a scale factor
representable in 64-bits. representable in 64 bits.
@itemize * @itemize *