fix: EOF validation in CLI

paradigmxyz · Aug 9, 2024 · e3424da · e3424da
1 parent 0b5aec1
commit e3424da
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/crates/revmc/src/compiler/mod.rs b/crates/revmc/src/compiler/mod.rs
@@ -359,7 +359,7 @@ impl<B: Backend> EvmCompiler<B> {
         if !self.config.validate_eof {
             return Ok(());
         }
-        revm_interpreter::analysis::validate_eof(eof).map_err(|e| match e {
+        revm_interpreter::analysis::validate_eof_inner(eof, None).map_err(|e| match e {
             revm_interpreter::analysis::EofError::Decode(e) => e.into(),
             revm_interpreter::analysis::EofError::Validation(e) => {
                 eyre!("validation error: {e:?}")

diff --git a/crates/revmc/src/tests/mod.rs b/crates/revmc/src/tests/mod.rs
@@ -664,7 +664,7 @@ tests! {
             expected_stack: &[U256::from_be_slice(&DEF_DATA[..32])],
             expected_gas: 3,
         }),
-        // TODO: Revm does not allow out-of-bounds `DATALOADN`. Is this right?
+        // NOTE: out-of-bounds `DATALOADN` is not allowed.
         // dataloadn2(@raw {
         //     bytecode: &eof(&[op::DATALOADN, 0x00, 63, op::STOP]),
         //     spec_id: SpecId::PRAGUE_EOF,