diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2017-08-01 19:54:59 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2017-08-02 03:51:52 +0800 |
| commit | d1b13c0624f93913c08fc2fdd152abef3002d2d2 (patch) | |
| tree | 63e9f24849470ffccdd1b5103afef71718e2aae3 /docs/control-structures.rst | |
| parent | f63bb0a442bc3e7676739073fe498877c9b15927 (diff) | |
| download | dexon-solidity-d1b13c0624f93913c08fc2fdd152abef3002d2d2.tar.gz dexon-solidity-d1b13c0624f93913c08fc2fdd152abef3002d2d2.tar.zst dexon-solidity-d1b13c0624f93913c08fc2fdd152abef3002d2d2.zip | |
Add warning that low-level call/callcode/delegatecall don't check for existence
Diffstat (limited to 'docs/control-structures.rst')
| -rw-r--r-- | docs/control-structures.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/control-structures.rst b/docs/control-structures.rst index a7af69f5..796e9238 100644 --- a/docs/control-structures.rst +++ b/docs/control-structures.rst @@ -393,6 +393,9 @@ When exceptions happen in a sub-call, they "bubble up" (i.e. exceptions are reth and the low-level functions ``call``, ``delegatecall`` and ``callcode`` -- those return ``false`` in case of an exception instead of "bubbling up". +.. warning:: + The low-level ``call``, ``delegatecall`` and ``callcode`` will return success if the calling account is non-existent, as part of the design of EVM. Existence must be checked prior to calling if desired. + Catching exceptions is not yet possible. In the following example, you can see how ``require`` can be used to easily check conditions on inputs |