| commit | ad7ed87a43655162cbd5765445681870aa99a3a8 | [log] [tgz] |
|---|---|---|
| author | Eric Botcazou <ebotcazou@adacore.com> | Mon May 23 09:48:49 2022 +0200 |
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | Mon Jul 04 07:45:50 2022 +0000 |
| tree | 97af5b140e0610c8f20cb944573ed8a0efb286ea | |
| parent | d74d98784a9d0101aad8095d692193a74a2f62f6 [diff] |
[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.