(instructions: &[Instruction], target: i32)
| 1465 | .get(old) |
| 1466 | .and_then(|mapped| *mapped) |
| 1467 | .and_then(|mapped| u16::try_from(mapped).ok()) |
| 1468 | .ok_or_else(|| jvm::Error::VerificationError { |
| 1469 | context: "optimise2".to_string(), |
| 1470 | message: format!("Removed or invalid exception boundary {old}"), |
| 1471 | }) |
| 1472 | }; |
| 1473 | let map_end_boundary = |old: u16| -> jvm::Result<u16> { |
| 1474 | let old = usize::from(old); |
| 1475 | let mapped = old_to_new |
| 1476 | .iter() |
| 1477 | .skip(old) |
| 1478 | .find_map(|mapped| *mapped) |
| 1479 | .unwrap_or(next_index); |
| 1480 | u16::try_from(mapped).map_err(|_| jvm::Error::VerificationError { |
no test coverage detected