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

[Sol->Yul] Adding assertion in order to give better error messages for fixed point types.

Browse Source
This commit is contained in:
Djordje Mijovic 2021-05-31 15:54:37 +02:00
parent c09dc6144c
commit 17eaa11657
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
libsolidity/codegen/ir/IRGeneratorForStatements.cpp
View File

@ -2718,7 +2718,8 @@ string IRGeneratorForStatements::binaryOperation(
solAssert(
_type.category() == Type::Category::Integer ||
_type.category() == Type::Category::FixedBytes,
"");
""
);
switch (_operator)
{
case Token::BitOr: fun = "or"; break;
@ -2729,6 +2730,10 @@ string IRGeneratorForStatements::binaryOperation(
}
else if (TokenTraits::isArithmeticOp(_operator))
{
solUnimplementedAssert(
_type.category() != Type::Category::FixedPoint,
"Not yet implemented - FixedPointType."
);
IntegerType const* type = dynamic_cast<IntegerType const*>(&_type);
solAssert(type, "");
bool checked = m_context.arithmetic() == Arithmetic::Checked;
@ -2765,7 +2770,8 @@ std::string IRGeneratorForStatements::shiftOperation(
)
{
solUnimplementedAssert(
_amountToShift.type().category() != Type::Category::FixedPoint,
_amountToShift.type().category() != Type::Category::FixedPoint &&
_value.type().category() != Type::Category::FixedPoint,
"Not yet implemented - FixedPointType."
);
IntegerType const* amountType = dynamic_cast<IntegerType const*>(&_amountToShift.type());