| commit | ad7ed87a43655162cbd5765445681870aa99a3a8 | |
| author | Eric Botcazou <ebotcazou@adacore.com> | |
| Mon, 23 May 2022 07:48:49 +0000 (23 09:48 +0200) | ||
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Mon, 4 Jul 2022 07:45:50 +0000 (4 07:45 +0000) | ||
| tree | 97af5b140e0610c8f20cb944573ed8a0efb286ea | treesnapshot (tar.gz zip) |
| parent | d74d98784a9d0101aad8095d692193a74a2f62f6 | commitdiff |
[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.
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.
| gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | diffblobblamehistory | |
| gcc/ada/gnat_rm.texi | diffblobblamehistory |