477 				if (reg->smin_value != reg->umin_value &&  in print_verifier_state()
478 				    reg->smin_value != S64_MIN)  in print_verifier_state()
480 						(long long)reg->smin_value);  in print_verifier_state()
866 	reg->smin_value = (s64)imm;  in __mark_reg_known()
928 	reg->smin_value = max_t(s64, reg->smin_value,  in __update_reg_bounds()
946 	if (reg->smin_value >= 0 || reg->smax_value < 0) {  in __reg_deduce_bounds()
947 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg_deduce_bounds()
960 		reg->smin_value = reg->umin_value;  in __reg_deduce_bounds()
967 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg_deduce_bounds()
984 	reg->smin_value = S64_MIN;  in __mark_reg_unbounded()
2188 	if (reg->smin_value < 0 &&  in check_map_access()
2189 	    (reg->smin_value == S64_MIN ||  in check_map_access()
2190 	     (off + reg->smin_value != (s64)(s32)(off + reg->smin_value)) ||  in check_map_access()
2191 	      reg->smin_value + off < 0)) {  in check_map_access()
2196 	err = __check_map_access(env, regno, reg->smin_value + off, size,  in check_map_access()
2227 		if (reg->smin_value + off < lock + sizeof(struct bpf_spin_lock) &&  in check_map_access()
2308 	if (reg->smin_value < 0) {  in check_packet_access()
2383 	if (reg->smin_value < 0) {  in check_sock_access()
2738 	reg->smin_value = reg->umin_value;  in coerce_reg_to_size()
3017 		min_off = reg->smin_value + reg->off;  in check_stack_boundary()
3393 		if (reg->smin_value < 0) {  in check_func_arg()
4169 	s64 smin = reg->smin_value;  in check_reg_sane_offset()
4225 			off = ptr_reg->smin_value + ptr_reg->off;  in retrieve_ptr_limit()
4334 	s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value,  in adjust_ptr_min_max_vals()
4335 	    smin_ptr = ptr_reg->smin_value, smax_ptr = ptr_reg->smax_value;  in adjust_ptr_min_max_vals()
4412 			dst_reg->smin_value = smin_ptr;  in adjust_ptr_min_max_vals()
4432 			dst_reg->smin_value = S64_MIN;  in adjust_ptr_min_max_vals()
4435 			dst_reg->smin_value = smin_ptr + smin_val;  in adjust_ptr_min_max_vals()
4479 			dst_reg->smin_value = smin_ptr;  in adjust_ptr_min_max_vals()
4495 			dst_reg->smin_value = S64_MIN;  in adjust_ptr_min_max_vals()
4498 			dst_reg->smin_value = smin_ptr - smax_val;  in adjust_ptr_min_max_vals()
4589 	smin_val = src_reg.smin_value;  in adjust_scalar_min_max_vals()
4618 		if (signed_add_overflows(dst_reg->smin_value, smin_val) ||  in adjust_scalar_min_max_vals()
4620 			dst_reg->smin_value = S64_MIN;  in adjust_scalar_min_max_vals()
4623 			dst_reg->smin_value += smin_val;  in adjust_scalar_min_max_vals()
4642 		if (signed_sub_overflows(dst_reg->smin_value, smax_val) ||  in adjust_scalar_min_max_vals()
4645 			dst_reg->smin_value = S64_MIN;  in adjust_scalar_min_max_vals()
4648 			dst_reg->smin_value -= smax_val;  in adjust_scalar_min_max_vals()
4664 		if (smin_val < 0 || dst_reg->smin_value < 0) {  in adjust_scalar_min_max_vals()
4684 			dst_reg->smin_value = S64_MIN;  in adjust_scalar_min_max_vals()
4687 			dst_reg->smin_value = dst_reg->umin_value;  in adjust_scalar_min_max_vals()
4703 		if (dst_reg->smin_value < 0 || smin_val < 0) {  in adjust_scalar_min_max_vals()
4707 			dst_reg->smin_value = S64_MIN;  in adjust_scalar_min_max_vals()
4713 			dst_reg->smin_value = dst_reg->umin_value;  in adjust_scalar_min_max_vals()
4732 		if (dst_reg->smin_value < 0 || smin_val < 0) {  in adjust_scalar_min_max_vals()
4736 			dst_reg->smin_value = S64_MIN;  in adjust_scalar_min_max_vals()
4742 			dst_reg->smin_value = dst_reg->umin_value;  in adjust_scalar_min_max_vals()
4759 		dst_reg->smin_value = S64_MIN;  in adjust_scalar_min_max_vals()
4795 		dst_reg->smin_value = S64_MIN;  in adjust_scalar_min_max_vals()
4815 		dst_reg->smin_value >>= umin_val;  in adjust_scalar_min_max_vals()
5217 			reg->smin_value = S32_MIN;  in is_branch_taken()
5220 		reg->smin_value = (s64)(s32)reg->smin_value;  in is_branch_taken()
5251 		if (reg->smin_value > sval)  in is_branch_taken()
5265 		else if (reg->smin_value >= sval)  in is_branch_taken()
5275 		if (reg->smin_value >= sval)  in is_branch_taken()
5289 		else if (reg->smin_value > sval)  in is_branch_taken()
5315 		reg->smin_value >= 0 && reg->smax_value <= S32_MAX) ||  in cmp_val_with_extended_s64()
5317 		reg->smax_value <= 0 && reg->smin_value >= S32_MIN);  in cmp_val_with_extended_s64()
5398 		true_reg->smin_value = max(true_reg->smin_value, true_smin);  in reg_set_min_max()
5423 		false_reg->smin_value = max(false_reg->smin_value, false_smin);  in reg_set_min_max()
5506 		false_reg->smin_value = max(false_reg->smin_value, false_smin);  in reg_set_min_max_inv()
5533 		true_reg->smin_value = max(true_reg->smin_value, true_smin);  in reg_set_min_max_inv()
5561 	src_reg->smin_value = dst_reg->smin_value = max(src_reg->smin_value,  in __reg_combine_min_max()
5562 							dst_reg->smin_value);  in __reg_combine_min_max()
5609 		if (WARN_ON_ONCE(reg->smin_value || reg->smax_value ||  in mark_ptr_or_null_reg()
6676 	       old->smin_value <= cur->smin_value &&  in range_within()