Deprecate throw.

This commit is contained in:
chriseth
2017-07-05 21:15:00 +02:00
parent 4bde6fa961
commit 0400e61e28
4 changed files with 27 additions and 1 deletions
@@ -5860,6 +5860,18 @@ BOOST_AUTO_TEST_CASE(using_interface_complex)
success(text);
}
BOOST_AUTO_TEST_CASE(warn_about_throw)
{
char const* text = R"(
contract C {
function f() {
throw;
}
}
)";
CHECK_WARNING(text, "\"throw\" is deprecated");
}
BOOST_AUTO_TEST_CASE(bare_revert)
{
char const* text = R"(