diff options
| author | Yoichi Hirai <i@yoichihirai.com> | 2016-11-24 18:57:28 +0800 |
|---|---|---|
| committer | Yoichi Hirai <i@yoichihirai.com> | 2016-12-01 00:42:03 +0800 |
| commit | 547deec4be55fc10b44de9ff92bb2d598d5b04f5 (patch) | |
| tree | 14f73907ce89d7c4c54a091040cc08d0c88d5f5c /docs/miscellaneous.rst | |
| parent | 7959ee49beb664238e58dcb589f386b2dff7438c (diff) | |
| download | dexon-solidity-547deec4be55fc10b44de9ff92bb2d598d5b04f5.tar.gz dexon-solidity-547deec4be55fc10b44de9ff92bb2d598d5b04f5.tar.zst dexon-solidity-547deec4be55fc10b44de9ff92bb2d598d5b04f5.zip | |
codegen: clean any data from the input
Diffstat (limited to 'docs/miscellaneous.rst')
| -rw-r--r-- | docs/miscellaneous.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/miscellaneous.rst b/docs/miscellaneous.rst index 7e9cee44..251d77d2 100644 --- a/docs/miscellaneous.rst +++ b/docs/miscellaneous.rst @@ -111,6 +111,9 @@ value is considered ``true`` by ``JUMPI`` instruction, we do not clean the boolean values before they are used as the condition for ``JUMPI``. +In addition to the design principle above, the Solidity compiler +cleans input data when it is loaded onto the stack. + Different types have different rules for cleaning up overflows: +---------------+---------------+------------------+ |