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

size capabilities functioning properly for fixed types

Browse Source
This commit is contained in:
RJ Catalano 2016-03-18 13:52:00 -05:00 committed by VoR0220
parent 91fda50922
commit a1a2eac5fd
1 changed files with 4 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
libsolidity/ast/Types.cpp
View File

@ -580,16 +580,11 @@ bool ConstantNumberType::isImplicitlyConvertibleTo(Type const& _convertTo) const
int forSignBit = (targetType->isSigned() ? 1 : 0);
if (m_value > 0)
{
if (
m_value <= (u256(-1) >> (256 - targetType->numBits() + forSignBit)) &&
m_scalingFactor <= targetType->fractionalBits()
)
bool properlyScaledBits = m_scalingFactor <= targetType->fractionalBits() ?
true : m_scalingFactor == 1 && targetType->fractionalBits() == 0 ? true : false;
if (m_value <= (u256(-1) >> (256 - targetType->numBits() + forSignBit)) && properlyScaledBits)
return true;
else if (
targetType->isSigned() &&
-m_value <= (u256(1) >> (256 - targetType->numBits() + forSignBit)) &&
m_scalingFactor <= targetType->fractionalBits()
)
else if (targetType->isSigned() && -m_value <= (u256(1) << (targetType->numBits() - forSignBit)) && properlyScaledBits)
return true;
return false;
}