Function apply_invoke

src/lower2/stackmaps.rs:966–1000

(
    state: &mut FrameState,
    method: &MethodRefInfo,
    is_static: bool,
    is_special: bool,
    context: &str,
    instruction_index: usize,
)

                        context: context.to_string(),
                        message: format!(
                            "Bytecode block ended unexpectedly after instruction {index}"
                        ),
                    });
                };
                state = successors.swap_remove(position).1;
                if !successors.is_empty() {
                    return Err(jvm::Error::VerificationError {
                        context: context.to_string(),
                        message: format!(
                            "Bytecode block contains an internal branch at instruction {index}"
                        ),
                    });
                }
            } else {
                for (target, successor_state) in successors {
                    if target >= instructions.len() {
                        continue;
                    }
                    merge_block_entry(
                        target,
                        successor_state,
                        &block_starts,
                        &block_by_instruction,
                        &mut entry_states,
                        &mut worklist,
                        &mut queued,
                        context,
                    )?;
                }
                break;
            }
        }
    }

    Ok(FrameAnalysis {
        block_starts,
        entry_states,
    })