[Ada] implementation_defined_pragmas.rst: Update Initialize_Scalars docs

2019-12-13  Ghjuvan Lacambre  <lacambre@adacore.com>

gcc/ada/

	* doc/gnat_rm/implementation_defined_pragmas.rst: Update
	Initialize_Scalars documentation.
	* gnat_rm.texi: Regenerate.

From-SVN: r279366

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index bfc9be15be2a9e1b445f16e61fe75e02b7c13356..cfa051ad3124874d27d3804b6f449b8a803da77f 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2019-12-13  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+       * doc/gnat_rm/implementation_defined_pragmas.rst: Update
+       Initialize_Scalars documentation.
+       * gnat_rm.texi: Regenerate.
+
 2019-12-13  Javier Miranda  <miranda@adacore.com>
 
        * sem_ch13.adb (Analyze_Aspect_Specification): Processing a

diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
index fd66aedfe26e69966051dbbb2ab860ffa6dc2495..04e4ac8049f91ddae089e7e9b4513e71585d9172 100644 (file)
--- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
@@ -3057,7 +3057,9 @@ different ways:
   particular family of scalar types using the optional arguments of the pragma.
 
   The compile-time approach is intended to optimize the generated code for the
-  pragma, by possibly using fast operations such as ``memset``.
+  pragma, by possibly using fast operations such as ``memset``. Note that such
+  optimizations require using values the bytes of which all have the same
+  binary representation.
 
 * At bind time, the programmer has several options:
 
@@ -3077,7 +3079,7 @@ different ways:
   The bind-time approach is intended to provide fast turnaround for testing
   with different values, without having to recompile the program.
 
-* At execution time, the programmer can speify the invalid values using an
+* At execution time, the programmer can specify the invalid values using an
   environment variable. See the GNAT User's Guide for details.
 
   The execution-time approach is intended to provide fast turnaround for

diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 8d909deaf8d28aa45026ce3317681c7273a68c7b..19c6290edd36aa225d28b43874f2d26f808efb99 100644 (file)
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -4508,7 +4508,9 @@ At compile time, the programmer can specify the invalid value for a
 particular family of scalar types using the optional arguments of the pragma.
 
 The compile-time approach is intended to optimize the generated code for the
-pragma, by possibly using fast operations such as @code{memset}.
+pragma, by possibly using fast operations such as @code{memset}. Note that such
+optimizations require using values the bytes of which all have the same
+binary representation.
 
 @item 
 At bind time, the programmer has several options:
@@ -4538,7 +4540,7 @@ The bind-time approach is intended to provide fast turnaround for testing
 with different values, without having to recompile the program.
 
 @item 
-At execution time, the programmer can speify the invalid values using an
+At execution time, the programmer can specify the invalid values using an
 environment variable. See the GNAT User's Guide for details.
 
 The execution-time approach is intended to provide fast turnaround for