Merge pull request #12256 from ethereum/clarifyPure

Clarify ``pure``.
2023-10-03 13:03:40 +00:00 · 2021-11-08 16:04:15 +01:00
parent ea3c34a082 aa4d3cabf1
commit b6d69eea47
1 changed files with 3 additions and 0 deletions
@@ -222,6 +222,9 @@ Pure Functions
 --------------

 Functions can be declared ``pure`` in which case they promise not to read from or modify the state.
+In particular, it should be possible to evaluate a ``pure`` function at compile-time given
+only its inputs and ``msg.data``, but without any knowledge of the current blockchain state.
+This means that reading from ``immutable`` variables can be a non-pure operation.

 .. note::
  If the compiler's EVM target is Byzantium or newer (default) the opcode ``STATICCALL`` is used,