diff options
| author | chriseth <chris@ethereum.org> | 2017-08-16 19:52:06 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2017-08-16 19:54:28 +0800 |
| commit | 3d595d4b149e590138f35a6f535c0a20a28e6f04 (patch) | |
| tree | eb1cc0d4735e34f121684d6099f4f0c663b850ef /test | |
| parent | 83561e136c992287211f348e0b7bd85b8087fe23 (diff) | |
| download | dexon-solidity-3d595d4b149e590138f35a6f535c0a20a28e6f04.tar dexon-solidity-3d595d4b149e590138f35a6f535c0a20a28e6f04.tar.gz dexon-solidity-3d595d4b149e590138f35a6f535c0a20a28e6f04.tar.bz2 dexon-solidity-3d595d4b149e590138f35a6f535c0a20a28e6f04.tar.lz dexon-solidity-3d595d4b149e590138f35a6f535c0a20a28e6f04.tar.xz dexon-solidity-3d595d4b149e590138f35a6f535c0a20a28e6f04.tar.zst dexon-solidity-3d595d4b149e590138f35a6f535c0a20a28e6f04.zip | |
Warn about shift of literals.
Diffstat (limited to 'test')
| -rw-r--r-- | test/libsolidity/SolidityNameAndTypeResolution.cpp | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/test/libsolidity/SolidityNameAndTypeResolution.cpp b/test/libsolidity/SolidityNameAndTypeResolution.cpp index 51d60596..1c83e1a3 100644 --- a/test/libsolidity/SolidityNameAndTypeResolution.cpp +++ b/test/libsolidity/SolidityNameAndTypeResolution.cpp @@ -1765,6 +1765,44 @@ BOOST_AUTO_TEST_CASE(exp_warn_literal_base) CHECK_SUCCESS(sourceCode); } +BOOST_AUTO_TEST_CASE(shift_warn_literal_base) +{ + char const* sourceCode = R"( + contract test { + function f() returns(uint) { + uint8 x = 100; + return 10 << x; + } + } + )"; + CHECK_WARNING(sourceCode, "might overflow"); + sourceCode = R"( + contract test { + function f() returns(uint) { + uint8 x = 100; + return uint8(10) << x; + } + } + )"; + CHECK_SUCCESS(sourceCode); + sourceCode = R"( + contract test { + function f() returns(uint) { + return 2 << 80; + } + } + )"; + CHECK_SUCCESS(sourceCode); + sourceCode = R"( + contract test { + function f() returns(uint) { + uint8 x = 100; + return 10 >> x; + } + } + )"; + CHECK_SUCCESS(sourceCode); +} BOOST_AUTO_TEST_CASE(warn_var_from_zero) { |