kernel/bpf/verifier.c

15106 	struct bpf_reg_state *dst_reg, *other_branch_regs, *src_reg = NULL;
15226 	other_branch_regs = other_branch->frame[other_branch->curframe]->regs;
15230 				      &other_branch_regs[insn->dst_reg],
15231 				      &other_branch_regs[insn->src_reg],
15235 				      &other_branch_regs[insn->dst_reg],
15245 	    !WARN_ON_ONCE(src_reg->id != other_branch_regs[insn->src_reg].id)) {
15247 		find_equal_scalars(other_branch, &other_branch_regs[insn->src_reg]);
15250 	    !WARN_ON_ONCE(dst_reg->id != other_branch_regs[insn->dst_reg].id)) {
15252 		find_equal_scalars(other_branch, &other_branch_regs[insn->dst_reg]);
15275 			eq_branch_regs = other_branch_regs;