Fix simulation for jumpdest analysis (0xPolygonZero#1467)

topos-protocol · Jan 15, 2024 · 30b4799 · 30b4799
1 parent 5c1ec52
commit 30b4799
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/evm/src/generation/mod.rs b/evm/src/generation/mod.rs
@@ -365,7 +365,9 @@ fn simulate_cpu_between_labels_and_get_user_jumps<F: Field>(
 
         loop {
             // skip jumpdest table validations in simulations
-            if state.registers.program_counter == KERNEL.global_labels["jumpdest_analysis"] {
+            if state.registers.is_kernel
+                && state.registers.program_counter == KERNEL.global_labels["jumpdest_analysis"]
+            {
                 state.registers.program_counter = KERNEL.global_labels["jumpdest_analysis_end"]
             }
             let pc = state.registers.program_counter;