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] Fixing uncheked increment/decrement.

Browse Source
This commit is contained in:
Djordje Mijovic 2021-01-14 13:38:23 +01:00
parent 2a62814686
commit dc3e76bc2c
2 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -684,10 +684,11 @@ void IRGeneratorForStatements::endVisit(UnaryOperation const& _unaryOperation)
IRVariable modifiedValue(m_context.newYulVariable(), resultType); IRVariable modifiedValue(m_context.newYulVariable(), resultType);
IRVariable originalValue = readFromLValue(*m_currentLValue); IRVariable originalValue = readFromLValue(*m_currentLValue);
bool checked = m_context.arithmetic() == Arithmetic::Checked;
define(modifiedValue) << define(modifiedValue) <<
(op == Token::Inc ? (op == Token::Inc ?
m_utils.incrementCheckedFunction(resultType) : (checked ? m_utils.incrementCheckedFunction(resultType) : m_utils.incrementWrappingFunction(resultType)) :
m_utils.decrementCheckedFunction(resultType) (checked ? m_utils.decrementCheckedFunction(resultType) : m_utils.decrementWrappingFunction(resultType))
) << ) <<
"(" << "(" <<
originalValue.name() << originalValue.name() <<

3
test/libsolidity/semanticTests/storage/packed_storage_overflow.sol
View File

@ -11,6 +11,7 @@ contract C {
return (x, c, b, a); return (x, c, b, a);
} }
} }
// ====
// compileViaYul: also
// ---- // ----
// f() -> 0x1234, 0x0, 0x0, 0xfffe // f() -> 0x1234, 0x0, 0x0, 0xfffe