diff options
| author | Ghjuvan Lacambre <lacambre@adacore.com> | 2019-12-13 09:05:33 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-12-13 09:05:33 +0000 |
| commit | e203dd6e24ebb349128e3a4354e5847a90422c64 (patch) | |
| tree | f081969336657fa9667f8efe972e56fee684537d | |
| parent | c90e1eca3782b667c081e08dad03aee5b4f16276 (diff) | |
| download | gcc-e203dd6e24ebb349128e3a4354e5847a90422c64.zip gcc-e203dd6e24ebb349128e3a4354e5847a90422c64.tar.gz gcc-e203dd6e24ebb349128e3a4354e5847a90422c64.tar.bz2 | |
[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
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 6 | ||||
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 6 |
3 files changed, 14 insertions, 4 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index bfc9be1..cfa051a 100644 --- 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 fd66aed..04e4ac8 100644 --- 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 8d909de..19c6290 100644 --- 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 |