Lines Matching defs:other_branch
14987 struct bpf_verifier_state *other_branch)
15005 mark_pkt_end(other_branch, insn->dst_reg, true);
15011 find_good_pkt_pointers(other_branch, src_reg,
15024 find_good_pkt_pointers(other_branch, dst_reg,
15034 mark_pkt_end(other_branch, insn->src_reg, true);
15047 mark_pkt_end(other_branch, insn->dst_reg, false);
15053 find_good_pkt_pointers(other_branch, src_reg,
15066 find_good_pkt_pointers(other_branch, dst_reg,
15076 mark_pkt_end(other_branch, insn->src_reg, false);
15104 struct bpf_verifier_state *other_branch;
15222 other_branch = push_stack(env, *insn_idx + insn->off + 1, *insn_idx,
15224 if (!other_branch)
15226 other_branch_regs = other_branch->frame[other_branch->curframe]->regs;
15247 find_equal_scalars(other_branch, &other_branch_regs[insn->src_reg]);
15252 find_equal_scalars(other_branch, &other_branch_regs[insn->dst_reg]);
15304 mark_ptr_or_null_regs(other_branch, insn->dst_reg,
15307 this_branch, other_branch) &&
16621 * insn 2 will be seen as !REG_LIVE_READ. Then the verifier pops the other_branch