diff options
| -rw-r--r-- | test/libsolidity/SolidityEndToEndTest.cpp | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/libsolidity/SolidityEndToEndTest.cpp b/test/libsolidity/SolidityEndToEndTest.cpp index c56845aa..43a5043d 100644 --- a/test/libsolidity/SolidityEndToEndTest.cpp +++ b/test/libsolidity/SolidityEndToEndTest.cpp @@ -5262,6 +5262,23 @@ BOOST_AUTO_TEST_CASE(library_stray_values) BOOST_CHECK(callContractFunction("f(uint256)", u256(33)) == encodeArgs(u256(42))); } +BOOST_AUTO_TEST_CASE(array_out_of_bound_access) +{ + char const* sourceCode = R"( + contract c { + uint[4] data; + function set(uint index) returns (bool) { + data[index] = 2; + return true; + } + } + )"; +// compileAndRun(sourceCode, 0, "Test"); +// BOOST_CHECK(callContractFunction("set()", u256(7)) == encodeArgs(false)); +// BOOST_CHECK(callContractFunction("set()", u256(3)) == encodeArgs(true)); + compileRequireThrow<CompilerError>(sourceCode); +} + BOOST_AUTO_TEST_SUITE_END() } |