kernel/bpf/verifier.c

4628 	int min_off, max_off;
4641 	max_off = ptr_reg->smax_value + off + size;
4648 	for (i = min_off; i < max_off; i++) {
4658 	for (i = min_off; i < max_off; i++) {
4731  * max_off), we set the register's type according to the types of the
4741 				int min_off, int max_off, int dst_regno)
4749 	for (i = min_off; i < max_off; i++) {
4758 	if (zeros == max_off - min_off) {
4943 	int min_off, max_off;
4953 	max_off = reg->smax_value + off;
4954 	mark_reg_stack_read(env, ptr_state, min_off, max_off + size, dst_regno);
6675 	s64 min_off, max_off;
6689 		max_off = min_off + access_size;
6698 		max_off = reg->smax_value + off + access_size;
6702 	if (!err && max_off > 0)
7096 	int err, min_off, max_off, i, j, slot, spi;
7126 		min_off = max_off = reg->var_off.value + off;
7151 		max_off = reg->smax_value + off;
7168 		for (i = min_off; i < max_off + access_size; i++) {
7185 	for (i = min_off; i < max_off + access_size; i++) {