diff options
| author | liangdzou <liang.d.zou@gmail.com> | 2018-09-26 17:52:09 +0800 |
|---|---|---|
| committer | liangdzou <liang.d.zou@gmail.com> | 2018-09-26 17:52:09 +0800 |
| commit | 12565fdf79ff607fbf45d079a51fa5fae3751c94 (patch) | |
| tree | da98a63c45b27b4f62d945cfa18a521a818fc421 /libjulia | |
| parent | 608f36d77b0dc6d908d89fe3a1b8e1626df8391c (diff) | |
| download | dexon-solidity-12565fdf79ff607fbf45d079a51fa5fae3751c94.tar dexon-solidity-12565fdf79ff607fbf45d079a51fa5fae3751c94.tar.gz dexon-solidity-12565fdf79ff607fbf45d079a51fa5fae3751c94.tar.bz2 dexon-solidity-12565fdf79ff607fbf45d079a51fa5fae3751c94.tar.lz dexon-solidity-12565fdf79ff607fbf45d079a51fa5fae3751c94.tar.xz dexon-solidity-12565fdf79ff607fbf45d079a51fa5fae3751c94.tar.zst dexon-solidity-12565fdf79ff607fbf45d079a51fa5fae3751c94.zip | |
code refactoring
Diffstat (limited to 'libjulia')
| -rw-r--r-- | libjulia/backends/evm/EVMCodeTransform.cpp | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/libjulia/backends/evm/EVMCodeTransform.cpp b/libjulia/backends/evm/EVMCodeTransform.cpp index f4e49655..dc536f77 100644 --- a/libjulia/backends/evm/EVMCodeTransform.cpp +++ b/libjulia/backends/evm/EVMCodeTransform.cpp @@ -545,11 +545,13 @@ void CodeTransform::expectDeposit(int _deposit, int _oldHeight) const void CodeTransform::checkStackHeight(void const* _astElement) const { solAssert(m_info.stackHeightInfo.count(_astElement), "Stack height for AST element not found."); + int stackHeightInAnalysis = m_info.stackHeightInfo.at(_astElement); + int stackHeightInCodegen = m_assembly.stackHeight() - m_stackAdjustment; solAssert( - m_info.stackHeightInfo.at(_astElement) == m_assembly.stackHeight() - m_stackAdjustment, + stackHeightInAnalysis == stackHeightInCodegen, "Stack height mismatch between analysis and code generation phase: Analysis: " + - to_string(m_info.stackHeightInfo.at(_astElement)) + + to_string(stackHeightInAnalysis) + " code gen: " + - to_string(m_assembly.stackHeight() - m_stackAdjustment) + to_string(stackHeightInCodegen) ); } |