Function merge_state

src/lower2/stackmaps.rs:1093–1125

(existing: &mut FrameState, incoming: &FrameState, live_locals: &[bool])

    let Some(&block) = block_by_instruction.get(target) else {
        return Ok(());
    };
    if block_starts[block] != target {
        return Err(jvm::Error::VerificationError {
            context: context.to_string(),
            message: format!("Control flow targets the middle of bytecode block at {target}"),
        });
    }
    let changed = match &mut entry_states[block] {
        Some(existing) => merge_state(existing, &incoming),
        slot @ None => {
            *slot = Some(incoming);
            true
        }
    };
    if changed && !queued[block] {
        queued[block] = true;
        worklist.push_back(block);
    }
    Ok(())
}

fn describe_instruction(instruction: &Instruction, constant_pool: &ConstantPool) -> String {
    let method = match instruction {
        Instruction::Invokevirtual(index) | Instruction::Invokespecial(index) => {
            method_ref_info(constant_pool, *index, false).ok()
        }
        Instruction::Invokestatic(index) => static_method_ref_info(constant_pool, *index).ok(),
        Instruction::Invokeinterface(index, _) => method_ref_info(constant_pool, *index, true).ok(),
        _ => None,
    };
    method.map_or_else(
        || format!("{instruction:?}"),
        |method| {
            format!(
                "{instruction:?} => {}.{}{}",
                method.class_name, method.method_name, method.descriptor