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

Implement abi encoding.

Browse Source
This commit is contained in:
chriseth 2021-08-17 19:52:53 +02:00
parent a6f739f38d
commit c1c4b4951c
1 changed files with 2 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
libsolidity/analysis/TypeChecker.cpp
View File

@ -1641,6 +1641,7 @@ void TypeChecker::endVisit(BinaryOperation const& _operation)
// These rules are enforced by the binary operator, but assert them here too. // These rules are enforced by the binary operator, but assert them here too.
if (auto type = dynamic_cast<IntegerType const*>(commonType)) if (auto type = dynamic_cast<IntegerType const*>(commonType))
solAssert(type->numBits() == 256, ""); solAssert(type->numBits() == 256, "");
solUnimplementedAssert(!dynamic_cast<FixedPointType const*>(commonType), "");
if (auto type = dynamic_cast<FixedPointType const*>(commonType)) if (auto type = dynamic_cast<FixedPointType const*>(commonType))
solAssert(type->numBits() == 256, ""); solAssert(type->numBits() == 256, "");
} }
@ -1953,17 +1954,7 @@ void TypeChecker::typeCheckABIEncodeFunctions(
if (argType->category() == Type::Category::RationalNumber) if (argType->category() == Type::Category::RationalNumber)
{ {
auto const& rationalType = dynamic_cast<RationalNumberType const&>(*argType); if (!argType->mobileType())
if (rationalType.isFractional())
{
m_errorReporter.typeError(
6090_error,
arguments[i]->location(),
"Fractional numbers cannot yet be encoded."
);
continue;
}
else if (!argType->mobileType())
{ {
m_errorReporter.typeError( m_errorReporter.typeError(
8009_error, 8009_error,