cerc-io/solidity
15
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

Reject negative shifts within constants

Browse Source
This commit is contained in:
Alex Beregszaszi 2016-06-07 19:36:42 +01:00
parent 48f2028911
commit 33250eef9e
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
libsolidity/ast/Types.cpp
View File

@ -710,9 +710,11 @@ TypePointer RationalNumberType::binaryOperatorResult(Token::Value _operator, Typ
using boost::multiprecision::pow;
if (fractional)
return TypePointer();
else if (abs(other.m_value) > numeric_limits<uint32_t>::max())
else if (other.m_value < 0)
return TypePointer();
uint32_t exponent = abs(other.m_value).numerator().convert_to<uint32_t>();
else if (other.m_value > numeric_limits<uint32_t>::max())
return TypePointer();
uint32_t exponent = other.m_value.numerator().convert_to<uint32_t>();
value = m_value.numerator() * pow(bigint(2), exponent);
break;
}
@ -721,9 +723,11 @@ TypePointer RationalNumberType::binaryOperatorResult(Token::Value _operator, Typ
using boost::multiprecision::pow;
if (fractional)
return TypePointer();
else if (abs(other.m_value) > numeric_limits<uint32_t>::max())
else if (other.m_value < 0)
return TypePointer();
uint32_t exponent = abs(other.m_value).numerator().convert_to<uint32_t>();
else if (other.m_value > numeric_limits<uint32_t>::max())
return TypePointer();
uint32_t exponent = other.m_value.numerator().convert_to<uint32_t>();
value = rational(m_value.numerator() / pow(bigint(2), exponent), 1);
break;
}