diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-05-23 09:48:49 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-04 07:45:50 +0000 |
| commit | ad7ed87a43655162cbd5765445681870aa99a3a8 (patch) | |
| tree | 97af5b140e0610c8f20cb944573ed8a0efb286ea /gcc/gimple-loop-jam.cc | |
| parent | d74d98784a9d0101aad8095d692193a74a2f62f6 (diff) | |
| download | gcc-ad7ed87a43655162cbd5765445681870aa99a3a8.zip gcc-ad7ed87a43655162cbd5765445681870aa99a3a8.tar.gz gcc-ad7ed87a43655162cbd5765445681870aa99a3a8.tar.bz2 | |
[Ada] Adjust description of Pure_Function pragma
The current wording can be read as implying that the result of a call
to a pure function does not depend on the context, which is incorrect.
The pragma only guarantees the absence of side effects of such a call.
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst (Pure_Function):
Fix ambiguous wording about context dependence.
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/gimple-loop-jam.cc')
0 files changed, 0 insertions, 0 deletions