cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #7658 from ethereum/inlineAssemblyDocs

Browse Source 
Document variable name restrictions for declarations in inline assembly.
This commit is contained in:
chriseth 2019-11-07 14:54:59 +01:00 committed by GitHub
commit 782de06554
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
docs/060-breaking-changes.rst
View File

@ -28,6 +28,13 @@ This section lists purely syntactic changes that do not affect the behavior of e
* New reserved keywords: ``virtual``. * New reserved keywords: ``virtual``.
* The names of variables declared in inline assembly may no longer end in ``_slot`` or ``_offset``.
* Variable declarations in inline assembly may no longer shadow any declaration outside the inline assembly block.
If the name contains a dot, its prefix up to the dot may not conflict with any declaration outside the inline
assembly block.
Semantic Only Changes Semantic Only Changes
===================== =====================
@ -72,6 +79,8 @@ This section gives detailed instructions on how to update prior code for every b
parameters like so: ``@return value The return value.``. You can mix named and un-named return parameters parameters like so: ``@return value The return value.``. You can mix named and un-named return parameters
documentation so long as the notices are in the order they appear in the tuple return type. documentation so long as the notices are in the order they appear in the tuple return type.
* Choose unique identifiers for variable declarations in inline assembly that do not conflict with declartions outside the inline assembly block.
New Features New Features
============ ============

6
docs/assembly.rst
View File

@ -439,6 +439,12 @@ for the variable and automatically removed again when the end of the block
is reached. You need to provide an initial value for the variable which can is reached. You need to provide an initial value for the variable which can
be just ``0``, but it can also be a complex functional-style expression. be just ``0``, but it can also be a complex functional-style expression.
Since 0.6.0 the name of a declared variable may not end in ``_offset`` or ``_slot``
and it may not shadow any declaration visible in the scope of the inline assembly block
(including variable, contract and function declarations). Similarly, if the name of a declared
variable contains a dot ``.``, the prefix up to the ``.`` may not conflict with any
declaration visible in the scope of the inline assembly block.
.. code:: .. code::
pragma solidity >=0.4.16 <0.7.0; pragma solidity >=0.4.16 <0.7.0;