613 				if (reg->smin_value != reg->umin_value &&  in print_verifier_state()
614 				    reg->smin_value != S64_MIN)  in print_verifier_state()
616 						(long long)reg->smin_value);  in print_verifier_state()
633 				if (reg->s32_min_value != reg->smin_value &&  in print_verifier_state()
1017 	reg->smin_value = (s64)imm;  in ___mark_reg_known()
1103 	reg->smin_value = S64_MIN;  in __mark_reg_unbounded()
1116 	reg->smin_value = S64_MIN;  in __mark_reg64_unbounded()
1148 	reg->smin_value = max_t(s64, reg->smin_value,  in __update_reg64_bounds()
1206 	if (reg->smin_value >= 0 || reg->smax_value < 0) {  in __reg64_deduce_bounds()
1207 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg64_deduce_bounds()
1220 		reg->smin_value = reg->umin_value;  in __reg64_deduce_bounds()
1227 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg64_deduce_bounds()
1265 		reg->smin_value = reg->s32_min_value;  in __reg_assign_32_into_64()
1267 		reg->smin_value = 0;  in __reg_assign_32_into_64()
1315 	if (__reg64_bound_s32(reg->smin_value) && __reg64_bound_s32(reg->smax_value)) {  in __reg_combine_64_into_32()
1316 		reg->s32_min_value = (s32)reg->smin_value;  in __reg_combine_64_into_32()
2237 	       reg->smin_value == S64_MIN && reg->smax_value == S64_MAX &&  in __is_scalar_unbounded()
2603 	if (reg->smin_value < 0 &&  in check_mem_region_access()
2604 	    (reg->smin_value == S64_MIN ||  in check_mem_region_access()
2605 	     (off + reg->smin_value != (s64)(s32)(off + reg->smin_value)) ||  in check_mem_region_access()
2606 	      reg->smin_value + off < 0)) {  in check_mem_region_access()
2611 	err = __check_mem_access(env, regno, reg->smin_value + off, size,  in check_mem_region_access()
2662 		if (reg->smin_value + off < lock + sizeof(struct bpf_spin_lock) &&  in check_map_access()
2735 	if (reg->smin_value < 0) {  in check_packet_access()
2816 	if (reg->smin_value < 0) {  in check_sock_access()
3242 	reg->smin_value = reg->umin_value;  in coerce_reg_to_size()
3715 		min_off = reg->smin_value + reg->off;  in check_stack_boundary()
4284 		if (reg->smin_value < 0) {  in check_func_arg()
4896 	ret_reg->smin_value = -MAX_ERRNO;  in do_refine_retval_range()
5294 	s64 smin = reg->smin_value;  in check_reg_sane_offset()
5350 			off = ptr_reg->smin_value + ptr_reg->off;  in retrieve_ptr_limit()
5459 	s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value,  in adjust_ptr_min_max_vals()
5460 	    smin_ptr = ptr_reg->smin_value, smax_ptr = ptr_reg->smax_value;  in adjust_ptr_min_max_vals()
5549 			dst_reg->smin_value = smin_ptr;  in adjust_ptr_min_max_vals()
5569 			dst_reg->smin_value = S64_MIN;  in adjust_ptr_min_max_vals()
5572 			dst_reg->smin_value = smin_ptr + smin_val;  in adjust_ptr_min_max_vals()
5616 			dst_reg->smin_value = smin_ptr;  in adjust_ptr_min_max_vals()
5632 			dst_reg->smin_value = S64_MIN;  in adjust_ptr_min_max_vals()
5635 			dst_reg->smin_value = smin_ptr - smax_val;  in adjust_ptr_min_max_vals()
5728 	s64 smin_val = src_reg->smin_value;  in scalar_min_max_add()
5733 	if (signed_add_overflows(dst_reg->smin_value, smin_val) ||  in scalar_min_max_add()
5735 		dst_reg->smin_value = S64_MIN;  in scalar_min_max_add()
5738 		dst_reg->smin_value += smin_val;  in scalar_min_max_add()
5782 	s64 smin_val = src_reg->smin_value;  in scalar_min_max_sub()
5787 	if (signed_sub_overflows(dst_reg->smin_value, smax_val) ||  in scalar_min_max_sub()
5790 		dst_reg->smin_value = S64_MIN;  in scalar_min_max_sub()
5793 		dst_reg->smin_value -= smax_val;  in scalar_min_max_sub()
5842 	s64 smin_val = src_reg->smin_value;  in scalar_min_max_mul()
5846 	if (smin_val < 0 || dst_reg->smin_value < 0) {  in scalar_min_max_mul()
5863 		dst_reg->smin_value = S64_MIN;  in scalar_min_max_mul()
5866 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_mul()
5912 	s64 smin_val = src_reg->smin_value;  in scalar_min_max_and()
5925 	if (dst_reg->smin_value < 0 || smin_val < 0) {  in scalar_min_max_and()
5929 		dst_reg->smin_value = S64_MIN;  in scalar_min_max_and()
5935 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_and()
5982 	s64 smin_val = src_reg->smin_value;  in scalar_min_max_or()
5995 	if (dst_reg->smin_value < 0 || smin_val < 0) {  in scalar_min_max_or()
5999 		dst_reg->smin_value = S64_MIN;  in scalar_min_max_or()
6005 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_or()
6047 	s64 smin_val = src_reg->smin_value;  in scalar_min_max_xor()
6059 	if (dst_reg->smin_value >= 0 && smin_val >= 0) {  in scalar_min_max_xor()
6063 		dst_reg->smin_value = dst_reg->umin_value;  in scalar_min_max_xor()
6066 		dst_reg->smin_value = S64_MIN;  in scalar_min_max_xor()
6125 		dst_reg->smin_value = (s64)dst_reg->s32_min_value << 32;  in __scalar64_min_max_lsh()
6127 		dst_reg->smin_value = S64_MIN;  in __scalar64_min_max_lsh()
6206 	dst_reg->smin_value = S64_MIN;  in scalar_min_max_rsh()
6251 	dst_reg->smin_value >>= umin_val;  in scalar_min_max_arsh()
6291 	smin_val = src_reg.smin_value;  in adjust_scalar_min_max_vals()
6894 		if (reg->smin_value > sval)  in is_branch64_taken()
6908 		else if (reg->smin_value >= sval)  in is_branch64_taken()
6918 		if (reg->smin_value >= sval)  in is_branch64_taken()
6932 		else if (reg->smin_value > sval)  in is_branch64_taken()
7069 			true_reg->smin_value = max(true_reg->smin_value, true_smin);  in reg_set_min_max()
7106 			false_reg->smin_value = max(false_reg->smin_value, false_smin);  in reg_set_min_max()
7170 	src_reg->smin_value = dst_reg->smin_value = max(src_reg->smin_value,  in __reg_combine_min_max()
7171 							dst_reg->smin_value);  in __reg_combine_min_max()
7219 		if (WARN_ON_ONCE(reg->smin_value || reg->smax_value ||  in mark_ptr_or_null_reg()
8465 	       old->smin_value <= cur->smin_value &&  in range_within()