cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add tests for inline assembly in modifiers

Browse Source
This commit is contained in:
Alex Beregszaszi 2016-10-20 23:36:05 +01:00
parent d50204d808
commit 13b2101ea7
2 changed files with 73 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
test/libsolidity/SolidityEndToEndTest.cpp
View File

@ -7304,6 +7304,28 @@ BOOST_AUTO_TEST_CASE(shift_negative_constant_right)
BOOST_CHECK(callContractFunction("a()") == encodeArgs(u256(-0x42)));
}
BOOST_AUTO_TEST_CASE(inline_assembly_in_modifiers)
{
char const* sourceCode = R"(
contract C {
modifier m {
uint a = 1;
assembly {
a := 2
}
if (a != 2)
throw;
_;
}
function f() m returns (bool) {
return true;
}
}
)";
compileAndRun(sourceCode, 0, "C");
BOOST_CHECK(callContractFunction("f()") == encodeArgs(true));
}
BOOST_AUTO_TEST_SUITE_END()
}

51
test/libsolidity/SolidityNameAndTypeResolution.cpp
View File

@ -4107,6 +4107,57 @@ BOOST_AUTO_TEST_CASE(inline_assembly_unbalanced_negative_stack)
BOOST_CHECK(expectError(text, true) == Error::Type::Warning);
}
BOOST_AUTO_TEST_CASE(inline_assembly_in_modifier)
{
char const* text = R"(
contract test {
modifier m {
uint a = 1;
assembly {
a := 2
}
_;
}
function f() m {
}
}
)";
BOOST_CHECK(success(text));
}
BOOST_AUTO_TEST_CASE(inline_assembly_storage)
{
char const* text = R"(
contract test {
uint x = 1;
function f() {
assembly {
x := 2
}
}
}
)";
BOOST_CHECK(expectError(text, false) == Error::Type::DeclarationError);
}
BOOST_AUTO_TEST_CASE(inline_assembly_storage_in_modifiers)
{
char const* text = R"(
contract test {
uint x = 1;
modifier m {
assembly {
x := 2
}
_;
}
function f() m {
}
}
)";
BOOST_CHECK(expectError(text, false) == Error::Type::DeclarationError);
}
BOOST_AUTO_TEST_SUITE_END()
}