Lines Matching refs:other_branch
16176 struct bpf_verifier_state *other_branch) in try_match_pkt_pointers() argument
16194 mark_pkt_end(other_branch, insn->dst_reg, true); in try_match_pkt_pointers()
16200 find_good_pkt_pointers(other_branch, src_reg, in try_match_pkt_pointers()
16213 find_good_pkt_pointers(other_branch, dst_reg, in try_match_pkt_pointers()
16223 mark_pkt_end(other_branch, insn->src_reg, true); in try_match_pkt_pointers()
16236 mark_pkt_end(other_branch, insn->dst_reg, false); in try_match_pkt_pointers()
16242 find_good_pkt_pointers(other_branch, src_reg, in try_match_pkt_pointers()
16255 find_good_pkt_pointers(other_branch, dst_reg, in try_match_pkt_pointers()
16265 mark_pkt_end(other_branch, insn->src_reg, false); in try_match_pkt_pointers()
16374 struct bpf_verifier_state *other_branch; in check_cond_jmp_op() local
16507 other_branch = push_stack(env, *insn_idx + insn->off + 1, *insn_idx, in check_cond_jmp_op()
16509 if (!other_branch) in check_cond_jmp_op()
16511 other_branch_regs = other_branch->frame[other_branch->curframe]->regs; in check_cond_jmp_op()
16538 sync_linked_regs(other_branch, &other_branch_regs[insn->src_reg], &linked_regs); in check_cond_jmp_op()
16543 sync_linked_regs(other_branch, &other_branch_regs[insn->dst_reg], &linked_regs); in check_cond_jmp_op()
16595 mark_ptr_or_null_regs(other_branch, insn->dst_reg, in check_cond_jmp_op()
16598 this_branch, other_branch) && in check_cond_jmp_op()