diff options
| author | Dimitry <dimitry@ethdev.com> | 2016-04-04 19:41:35 +0800 |
|---|---|---|
| committer | Dimitry <dimitry@ethdev.com> | 2016-04-04 19:41:35 +0800 |
| commit | d2cee6f9c6babdf8c857e9860d68b6876d71a7eb (patch) | |
| tree | c60a596054e999de8ad797e8af9b38598041d3fa /libevmasm/PathGasMeter.cpp | |
| parent | d43d4347bf1e37bb8f114c9df0e2ae62545fbc87 (diff) | |
| download | dexon-solidity-d2cee6f9c6babdf8c857e9860d68b6876d71a7eb.tar.gz dexon-solidity-d2cee6f9c6babdf8c857e9860d68b6876d71a7eb.tar.zst dexon-solidity-d2cee6f9c6babdf8c857e9860d68b6876d71a7eb.zip | |
reduce unnecessary solidity:: namespace
Diffstat (limited to 'libevmasm/PathGasMeter.cpp')
| -rw-r--r-- | libevmasm/PathGasMeter.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libevmasm/PathGasMeter.cpp b/libevmasm/PathGasMeter.cpp index 5988c280..2113008b 100644 --- a/libevmasm/PathGasMeter.cpp +++ b/libevmasm/PathGasMeter.cpp @@ -76,7 +76,7 @@ GasMeter::GasConsumption PathGasMeter::handleQueueItem() bool branchStops = false; jumpTags.clear(); AssemblyItem const& item = m_items.at(index); - if (item.type() == Tag || item == AssemblyItem(solidity::Instruction::JUMPDEST)) + if (item.type() == Tag || item == AssemblyItem(Instruction::JUMPDEST)) { // Do not allow any backwards jump. This is quite restrictive but should work for // the simplest things. @@ -84,14 +84,14 @@ GasMeter::GasConsumption PathGasMeter::handleQueueItem() return GasMeter::GasConsumption::infinite(); path->visitedJumpdests.insert(index); } - else if (item == AssemblyItem(solidity::Instruction::JUMP)) + else if (item == AssemblyItem(Instruction::JUMP)) { branchStops = true; jumpTags = state->tagsInExpression(state->relativeStackElement(0)); if (jumpTags.empty()) // unknown jump destination return GasMeter::GasConsumption::infinite(); } - else if (item == AssemblyItem(solidity::Instruction::JUMPI)) + else if (item == AssemblyItem(Instruction::JUMPI)) { ExpressionClasses::Id condition = state->relativeStackElement(-1); if (classes.knownNonZero(condition) || !classes.knownZero(condition)) |