From 6b493d6faa1f36ddf653c5fcafcb5ded24a41481 Mon Sep 17 00:00:00 2001 From: Jacqueline Nabaglo Date: Sat, 8 Jul 2023 16:52:26 -0400 Subject: [PATCH] Remove redundant case (error in kernel mode) --- evm/src/witness/operation.rs | 16 ++++++---------- 1 file changed, 6 insertions(+), 10 deletions(-) diff --git a/evm/src/witness/operation.rs b/evm/src/witness/operation.rs index f7a21c8b..76a551c3 100644 --- a/evm/src/witness/operation.rs +++ b/evm/src/witness/operation.rs @@ -684,17 +684,13 @@ pub(crate) fn generate_exception( return Err(ProgramError::GasLimitError); } - if state.registers.is_kernel { - row.stack_len_bounds_aux = F::ZERO; + let disallowed_len = F::from_canonical_usize(MAX_USER_STACK_SIZE + 1); + let diff = row.stack_len - disallowed_len; + if let Some(inv) = diff.try_inverse() { + row.stack_len_bounds_aux = inv; } else { - let disallowed_len = F::from_canonical_usize(MAX_USER_STACK_SIZE + 1); - let diff = row.stack_len - disallowed_len; - if let Some(inv) = diff.try_inverse() { - row.stack_len_bounds_aux = inv; - } else { - // This is a stack overflow that should have been caught earlier. - return Err(ProgramError::InterpreterError); - } + // This is a stack overflow that should have been caught earlier. + return Err(ProgramError::InterpreterError); } row.general.exception_mut().exc_code_bits = [