(constant_pool: &ConstantPool, index: u16)
| 1509 | | I::If_icmpne(target) |
| 1510 | | I::If_icmplt(target) |
| 1511 | | I::If_icmpge(target) |
| 1512 | | I::If_icmpgt(target) |
| 1513 | | I::If_icmple(target) |
| 1514 | | I::If_acmpeq(target) |
| 1515 | | I::If_acmpne(target) => { |
| 1516 | state.pop(context, instruction_index)?; |
| 1517 | state.pop(context, instruction_index)?; |
| 1518 | return Ok(branch_successors(instruction_index, *target, state)); |
| 1519 | } |
| 1520 | I::Ifnull(target) | I::Ifnonnull(target) => { |
| 1521 | state.pop_reference(context, instruction_index)?; |
| 1522 | return Ok(branch_successors(instruction_index, *target, state)); |
| 1523 | } |
| 1524 | I::Goto(target) => return Ok(vec![(*target as usize, state)]), |
| 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); |
no test coverage detected