kernel/bpf/verifier.c

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