kernel/bpf/verifier.c

4213 		 * This is needed to estimate effect of find_equal_scalars().
4227 		 *     if (r2 > 10) goto exit; // find_equal_scalars() assigns range to r1
4444 		 * dst_reg and then will be used by find_equal_scalars() to
14053 		 * incorrectly propagated into other registers by find_equal_scalars()
14265 						 * propagated into src_reg by find_equal_scalars()
15088 static void find_equal_scalars(struct bpf_verifier_state *vstate,
15246 		find_equal_scalars(this_branch, src_reg);
15247 		find_equal_scalars(other_branch, &other_branch_regs[insn->src_reg]);
15251 		find_equal_scalars(this_branch, dst_reg);
15252 		find_equal_scalars(other_branch, &other_branch_regs[insn->dst_reg]);
16737 		 * - at (5) r6 would be marked <= X, find_equal_scalars() would also mark