aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlex Beregszaszi <alex@rtfs.hu>2017-05-26 08:49:32 +0800
committerAlex Beregszaszi <alex@rtfs.hu>2017-05-26 10:20:34 +0800
commit05fcf1989ca619d197d22d3acab79b25ef7aa695 (patch)
tree2f06e29fca75919589aeeb29f822ece123c0d803
parentc64bd3378427b46b0ae37e5d39e8ca6586d697c2 (diff)
downloaddexon-solidity-05fcf1989ca619d197d22d3acab79b25ef7aa695.tar
dexon-solidity-05fcf1989ca619d197d22d3acab79b25ef7aa695.tar.gz
dexon-solidity-05fcf1989ca619d197d22d3acab79b25ef7aa695.tar.bz2
dexon-solidity-05fcf1989ca619d197d22d3acab79b25ef7aa695.tar.lz
dexon-solidity-05fcf1989ca619d197d22d3acab79b25ef7aa695.tar.xz
dexon-solidity-05fcf1989ca619d197d22d3acab79b25ef7aa695.tar.zst
dexon-solidity-05fcf1989ca619d197d22d3acab79b25ef7aa695.zip
Better error messages for invalid switch cases
-rw-r--r--libsolidity/inlineasm/AsmParser.cpp4
-rw-r--r--test/libsolidity/InlineAssembly.cpp4
2 files changed, 6 insertions, 2 deletions
diff --git a/libsolidity/inlineasm/AsmParser.cpp b/libsolidity/inlineasm/AsmParser.cpp
index 847735f4..ccc735f7 100644
--- a/libsolidity/inlineasm/AsmParser.cpp
+++ b/libsolidity/inlineasm/AsmParser.cpp
@@ -78,6 +78,10 @@ assembly::Statement Parser::parseStatement()
_switch.cases.emplace_back(parseCase());
if (m_scanner->currentToken() == Token::Default)
_switch.cases.emplace_back(parseCase());
+ if (m_scanner->currentToken() == Token::Default)
+ fatalParserError("Only one default case allowed.");
+ else if (m_scanner->currentToken() == Token::Case)
+ fatalParserError("Case not allowed after default case.");
if (_switch.cases.size() == 0)
fatalParserError("Switch statement without any cases.");
_switch.location.end = _switch.cases.back().body.location.end;
diff --git a/test/libsolidity/InlineAssembly.cpp b/test/libsolidity/InlineAssembly.cpp
index f695e1d1..39cec731 100644
--- a/test/libsolidity/InlineAssembly.cpp
+++ b/test/libsolidity/InlineAssembly.cpp
@@ -252,12 +252,12 @@ BOOST_AUTO_TEST_CASE(switch_invalid_expression)
BOOST_AUTO_TEST_CASE(switch_default_before_case)
{
- CHECK_PARSE_ERROR("{ switch 42 default {} case 1 {} }", ParserError, "Expected elementary inline assembly operation.");
+ CHECK_PARSE_ERROR("{ switch 42 default {} case 1 {} }", ParserError, "Case not allowed after default case.");
}
BOOST_AUTO_TEST_CASE(switch_duplicate_default_case)
{
- CHECK_PARSE_ERROR("{ switch 42 default {} default {} }", ParserError, "Expected elementary inline assembly operation.");
+ CHECK_PARSE_ERROR("{ switch 42 default {} default {} }", ParserError, "Only one default case allowed.");
}
BOOST_AUTO_TEST_CASE(switch_invalid_case)