diff options
| author | chriseth <c@ethdev.com> | 2016-10-20 17:33:17 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2016-10-24 20:32:49 +0800 |
| commit | 2b00804d1df00fbd6ce26a9e34e8d2f24107988c (patch) | |
| tree | c8585557670858eeedc22888883c59e01234f042 | |
| parent | cb1fcaf6f65608d6528753f1a998c2cf9f67baab (diff) | |
| download | dexon-solidity-2b00804d1df00fbd6ce26a9e34e8d2f24107988c.tar.gz dexon-solidity-2b00804d1df00fbd6ce26a9e34e8d2f24107988c.tar.zst dexon-solidity-2b00804d1df00fbd6ce26a9e34e8d2f24107988c.zip | |
Fix crash in throw.
| -rw-r--r-- | libsolidity/ast/Types.cpp | 2 | ||||
| -rw-r--r-- | test/libsolidity/SolidityNameAndTypeResolution.cpp | 12 |
2 files changed, 13 insertions, 1 deletions
diff --git a/libsolidity/ast/Types.cpp b/libsolidity/ast/Types.cpp index a412d421..88bdee9f 100644 --- a/libsolidity/ast/Types.cpp +++ b/libsolidity/ast/Types.cpp @@ -483,7 +483,7 @@ tuple<bool, rational> RationalNumberType::isValidLiteral(Literal const& _literal !all_of(radixPoint + 1, _literal.value().end(), ::isdigit) || !all_of(_literal.value().begin(), radixPoint, ::isdigit) ) - throw; + return make_tuple(false, rational(0)); //Only decimal notation allowed here, leading zeros would switch to octal. auto fractionalBegin = find_if_not( radixPoint + 1, diff --git a/test/libsolidity/SolidityNameAndTypeResolution.cpp b/test/libsolidity/SolidityNameAndTypeResolution.cpp index f024c03e..44ac1511 100644 --- a/test/libsolidity/SolidityNameAndTypeResolution.cpp +++ b/test/libsolidity/SolidityNameAndTypeResolution.cpp @@ -4088,6 +4088,18 @@ BOOST_AUTO_TEST_CASE(using_directive_for_missing_selftype) BOOST_CHECK(expectError(text, false) == Error::Type::TypeError); } +BOOST_AUTO_TEST_CASE(invalid_fixed_point_literal) +{ + char const* text = R"( + contract A { + function a() { + .8E0; + } + } + )"; + BOOST_CHECK(expectError(text, false) == Error::Type::TypeError); +} + BOOST_AUTO_TEST_CASE(shift_constant_left_negative_rvalue) { char const* text = R"( |