diff options
| -rw-r--r-- | docs/miscellaneous.rst | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/docs/miscellaneous.rst b/docs/miscellaneous.rst index 251d77d2..6e1b575a 100644 --- a/docs/miscellaneous.rst +++ b/docs/miscellaneous.rst @@ -114,28 +114,28 @@ the boolean values before they are used as the condition for 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: - -+---------------+---------------+------------------+ -|Type |Cleaned Form |Overflow Means | -+===============+===============+==================+ -|enum of n |0 until n - 1 |exception | -|members | | | -+---------------+---------------+------------------+ -|bool |0 or 1 |zero or nonzero | -+---------------+---------------+------------------+ -|signed integers|sign-extended |currently silently| -| |word |wraps; in the | -| | |future exceptions | -| | |will be thrown | -| | | | -| | | | -+---------------+---------------+------------------+ -|unsigned |higher bits |currently silently| -|integers |zeroed |wraps; in the | -| | |future exceptions | -| | |will be thrown | -+---------------+---------------+------------------+ +Different types have different rules for cleaning up invalid values: + ++---------------+---------------+-------------------+ +|Type |Valid Valies |Invalid Values Mean| ++===============+===============+===================+ +|enum of n |0 until n - 1 |exception | +|members | | | ++---------------+---------------+-------------------+ +|bool |0 or 1 |1 | ++---------------+---------------+-------------------+ +|signed integers|sign-extended |currently silently | +| |word |wraps; in the | +| | |future exceptions | +| | |will be thrown | +| | | | +| | | | ++---------------+---------------+-------------------+ +|unsigned |higher bits |currently silently | +|integers |zeroed |wraps; in the | +| | |future exceptions | +| | |will be thrown | ++---------------+---------------+-------------------+ ***************** |