Skip to content

Commit 47ec33c

Browse files
committed
baseline: disable jumpdest analysis
1 parent a66479f commit 47ec33c

File tree

2 files changed

+8
-8
lines changed

2 files changed

+8
-8
lines changed

lib/evmone/baseline.cpp

+2-2
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ namespace evmone::baseline
2626
{
2727
namespace
2828
{
29-
CodeAnalysis::JumpdestMap analyze_jumpdests(bytes_view code)
29+
[[maybe_unused]] CodeAnalysis::JumpdestMap analyze_jumpdests(bytes_view code)
3030
{
3131
// To find if op is any PUSH opcode (OP_PUSH1 <= op <= OP_PUSH32)
3232
// it can be noticed that OP_PUSH32 is INT8_MAX (0x7f) therefore
@@ -63,7 +63,7 @@ std::unique_ptr<uint8_t[]> pad_code(bytes_view code)
6363
CodeAnalysis analyze_legacy(bytes_view code)
6464
{
6565
// TODO: The padded code buffer and jumpdest bitmap can be created with single allocation.
66-
return {pad_code(code), code.size(), analyze_jumpdests(code)};
66+
return {pad_code(code), code.size(), {}};
6767
}
6868

6969
CodeAnalysis analyze_eof1(bytes_view container)

lib/evmone/instructions.hpp

+6-6
Original file line numberDiff line numberDiff line change
@@ -747,12 +747,12 @@ Result sstore(StackTop stack, int64_t gas_left, ExecutionState& state) noexcept;
747747
/// Internal jump implementation for JUMP/JUMPI instructions.
748748
inline code_iterator jump_impl(ExecutionState& state, const uint256& dst) noexcept
749749
{
750-
const auto& jumpdest_map = state.analysis.baseline->jumpdest_map;
751-
if (dst >= jumpdest_map.size() || !jumpdest_map[static_cast<size_t>(dst)])
752-
{
753-
state.status = EVMC_BAD_JUMP_DESTINATION;
754-
return nullptr;
755-
}
750+
// const auto& jumpdest_map = state.analysis.baseline->jumpdest_map;
751+
// if (dst >= jumpdest_map.size() || !jumpdest_map[static_cast<size_t>(dst)])
752+
// {
753+
// state.status = EVMC_BAD_JUMP_DESTINATION;
754+
// return nullptr;
755+
// }
756756

757757
return &state.analysis.baseline->executable_code[static_cast<size_t>(dst)];
758758
}

0 commit comments

Comments
 (0)