(constant_pool: &ConstantPool, index: u16)
| 1525 | I::Goto_w(target) => return Ok(vec![(*target as usize, state)]), |
| 1526 | I::Tableswitch(table_switch) => { |
| 1527 | state.pop(context, instruction_index)?; |
| 1528 | let mut successors = Vec::with_capacity(table_switch.offsets.len() + 1); |
| 1529 | successors.push(( |
| 1530 | relative_switch_target(instruction_index, table_switch.default, context)?, |
| 1531 | state.clone(), |
| 1532 | )); |
| 1533 | for target in &table_switch.offsets { |
| 1534 | successors.push(( |
| 1535 | relative_switch_target(instruction_index, *target, context)?, |
| 1536 | state.clone(), |
| 1537 | )); |
no outgoing calls
no test coverage detected