Fix jump_to (#453)

* Fix jump_to * Apply comments
0xPolygonZero · Aug 1, 2024 · 096386c · 096386c
1 parent b0cda17
commit 096386c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/evm_arithmetization/src/generation/state.rs b/evm_arithmetization/src/generation/state.rs
@@ -455,6 +455,10 @@ impl<F: Field> GenerationState<F> {
     /// we're jumping to a special location.
     pub(crate) fn jump_to(&mut self, dst: usize) -> Result<(), ProgramError> {
         self.registers.program_counter = dst;
+        if self.stack().is_empty() {
+            // We cannot observe anything as the stack is empty.
+            return Ok(());
+        }
         if dst == KERNEL.global_labels["observe_new_address"] {
             let tip_u256 = stack_peek(self, 0)?;
             let tip_h256 = H256::from_uint(&tip_u256);