Function transfer_instruction

src/lower2/stackmaps.rs:439–958

(
    instruction_index: usize,
    instruction: &Instruction,
    mut state: FrameState,
    local_hints: &[FrameValue],
    constant_pool: &ConstantPool,
    context: &str,
)

    let remaining = locals_loaded_before_definite_store(
        instructions,
        initial_locals,
        max_locals as usize,
        context,
        exception_table,
    )?;
    if !remaining.is_empty() {
        return Err(jvm::Error::VerificationError {
            context: context.to_string(),
            message: format!(
                "Local initialization could not resolve verifier Top loads: {remaining:?}"
            ),
        });
    }

    let analysis = solve_frame_states(
        instructions,
        initial_locals,
        local_hints,
        max_locals as usize,
        constant_pool,
        context,
        exception_table,
    )?;

    Ok((usize::from(prefix_len), analysis))
}

fn shift_exception_table(
    exception_table: &mut [ExceptionTableEntry],
    amount: u16,
    context: &str,
) -> jvm::Result<()> {
    for entry in exception_table {
        entry.range_pc.start = entry.range_pc.start.checked_add(amount).ok_or_else(|| {
            jvm::Error::VerificationError {
                context: context.to_string(),
                message: "exception range start overflowed while inserting a prefix".to_string(),
            }
        })?;
        entry.range_pc.end = entry.range_pc.end.checked_add(amount).ok_or_else(|| {
            jvm::Error::VerificationError {
                context: context.to_string(),
                message: "exception range end overflowed while inserting a prefix".to_string(),
            }
        })?;
        entry.handler_pc =
            entry
                .handler_pc
                .checked_add(amount)
                .ok_or_else(|| jvm::Error::VerificationError {
                    context: context.to_string(),
                    message: "exception handler overflowed while inserting a prefix".to_string(),
                })?;
    }
    Ok(())
}

fn loaded_local(instruction: &Instruction) -> Option<(u16, FrameValue)> {