5147 	int min_off, max_off;  in check_stack_write_var_off()  local
5159 	min_off = ptr_reg->smin_value + off;  in check_stack_write_var_off()
5167 	for (i = min_off; i < max_off; i++) {  in check_stack_write_var_off()
5176 	check_fastcall_stack_contract(env, state, insn_idx, min_off);  in check_stack_write_var_off()
5178 	for (i = min_off; i < max_off; i++) {  in check_stack_write_var_off()
5261 				int min_off, int max_off, int dst_regno)  in mark_reg_stack_read()  argument
5269 	for (i = min_off; i < max_off; i++) {  in mark_reg_stack_read()
5278 	if (zeros == max_off - min_off) {  in mark_reg_stack_read()
5464 	int min_off, max_off;  in check_stack_read_var_off()  local
5473 	min_off = reg->smin_value + off;  in check_stack_read_var_off()
5475 	mark_reg_stack_read(env, ptr_state, min_off, max_off + size, dst_regno);  in check_stack_read_var_off()
5476 	check_fastcall_stack_contract(env, ptr_state, env->insn_idx, min_off);  in check_stack_read_var_off()
7341 	s64 min_off, max_off;  in check_stack_access_within_bounds()  local
7351 		min_off = (s64)reg->var_off.value + off;  in check_stack_access_within_bounds()
7352 		max_off = min_off + access_size;  in check_stack_access_within_bounds()
7360 		min_off = reg->smin_value + off;  in check_stack_access_within_bounds()
7364 	err = check_stack_slot_within_bounds(env, min_off, state, type);  in check_stack_access_within_bounds()
7390 	return grow_stack_state(env, state, -min_off /* size */);  in check_stack_access_within_bounds()
7902 	int err, min_off, max_off, i, j, slot, spi;  in check_stack_range_initialized()  local
7922 		min_off = max_off = reg->var_off.value + off;  in check_stack_range_initialized()
7946 		min_off = reg->smin_value + off;  in check_stack_range_initialized()
7964 		for (i = min_off; i < max_off + access_size; i++) {  in check_stack_range_initialized()
7981 	for (i = min_off; i < max_off + access_size; i++) {  in check_stack_range_initialized()
8016 				regno, min_off, i - min_off, access_size);  in check_stack_range_initialized()
8022 				regno, tn_buf, i - min_off, access_size);  in check_stack_range_initialized()