diff options
| -rw-r--r-- | test/libsolidity/SolidityOptimizer.cpp | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test/libsolidity/SolidityOptimizer.cpp b/test/libsolidity/SolidityOptimizer.cpp index 732f599f..2f1eb04e 100644 --- a/test/libsolidity/SolidityOptimizer.cpp +++ b/test/libsolidity/SolidityOptimizer.cpp @@ -369,6 +369,27 @@ BOOST_AUTO_TEST_CASE(successor_not_found_bug) compileBothVersions(sourceCode); } +BOOST_AUTO_TEST_CASE(incorrect_storage_access_bug) +{ + // This bug appeared because a sha3 operation with too low sequence number was used, + // resulting in memory not being rewritten before the sha3. The fix was to + // take the max of the min sequence numbers when merging the states. + char const* sourceCode = R"( + contract C + { + mapping(uint => uint) data; + function f() returns (uint) + { + if(data[now] == 0) + data[uint(-7)] = 5; + return data[now]; + } + } + )"; + compileBothVersions(sourceCode); + compareVersions("f()"); +} + BOOST_AUTO_TEST_CASE(cse_intermediate_swap) { eth::KnownState state; |