kernel/bpf/verifier.c

4628 	int min_off, max_off;
4640 	min_off = ptr_reg->smin_value + off;
4648 	for (i = min_off; i < max_off; i++) {
4658 	for (i = min_off; i < max_off; i++) {
4730 /* When register 'dst_regno' is assigned some values from stack[min_off,
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;
4952 	min_off = reg->smin_value + off;
4954 	mark_reg_stack_read(env, ptr_state, min_off, max_off + size, dst_regno);
6675 	s64 min_off, max_off;
6688 		min_off = (s64)reg->var_off.value + off;
6689 		max_off = min_off + access_size;
6697 		min_off = reg->smin_value + off;
6701 	err = check_stack_slot_within_bounds(env, min_off, state, type);
6725 	 * size is -min_off, not -min_off+1.
6727 	return grow_stack_state(env, state, -min_off /* size */);
7096 	int err, min_off, max_off, i, j, slot, spi;
7126 		min_off = max_off = reg->var_off.value + off;
7150 		min_off = reg->smin_value + off;
7168 		for (i = min_off; i < max_off + access_size; i++) {
7185 	for (i = min_off; i < max_off + access_size; i++) {
7220 				err_extra, regno, min_off, i - min_off, access_size);
7226 				err_extra, regno, tn_buf, i - min_off, access_size);