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

f

Browse Source
This commit is contained in:
Daniel Kirchner 2022-12-21 16:59:06 +01:00
parent cca0b5ac08
commit e5e02dab91
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
libevmasm/Assembly.cpp
View File

@ -552,7 +552,7 @@ LinkerObject const& Assembly::assemble() const
); );
assertThrow(!m_codeSections.empty(), AssemblyException, "Expected at least one code section."); assertThrow(!m_codeSections.empty(), AssemblyException, "Expected at least one code section.");
assertThrow(eof || m_codeSections.size() > 1, AssemblyException, "Expected exactly one code section in non-EOF code."); assertThrow(eof || m_codeSections.size() == 1, AssemblyException, "Expected exactly one code section in non-EOF code.");
assertThrow( assertThrow(
m_codeSections.front().inputs == 0 && m_codeSections.front().outputs == 0, AssemblyException, m_codeSections.front().inputs == 0 && m_codeSections.front().outputs == 0, AssemblyException,
"Expected the first code section to have zero inputs and outputs." "Expected the first code section to have zero inputs and outputs."
@ -858,8 +858,8 @@ LinkerObject const& Assembly::assemble() const
assertThrow(m_eofVersion.has_value(), AssemblyException, "Relative jump outside EOF"); assertThrow(m_eofVersion.has_value(), AssemblyException, "Relative jump outside EOF");
assertThrow(subId == numeric_limits<size_t>::max(), AssemblyException, "Relative jump to sub"); assertThrow(subId == numeric_limits<size_t>::max(), AssemblyException, "Relative jump to sub");
assertThrow( assertThrow(
static_cast<ssize_t>(pos) - static_cast<ssize_t>(bytecodeOffset + 2u) < 0x7FFF && static_cast<ptrdiff_t>(pos) - static_cast<ptrdiff_t>(bytecodeOffset + 2u) < 0x7FFF &&
static_cast<ssize_t>(pos) - static_cast<ssize_t>(bytecodeOffset + 2u) >= -0x8000, static_cast<ptrdiff_t>(pos) - static_cast<ptrdiff_t>(bytecodeOffset + 2u) >= -0x8000,
AssemblyException, AssemblyException,
"Relative jump too far" "Relative jump too far"
); );