327 				if (reg->smin_value != reg->umin_value &&  in print_verifier_state()
328 				    reg->smin_value != S64_MIN)  in print_verifier_state()
330 						(long long)reg->smin_value);  in print_verifier_state()
558 	reg->smin_value = (s64)imm;  in __mark_reg_known()
621 	reg->smin_value = max_t(s64, reg->smin_value,  in __update_reg_bounds()
639 	if (reg->smin_value >= 0 || reg->smax_value < 0) {  in __reg_deduce_bounds()
640 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg_deduce_bounds()
653 		reg->smin_value = reg->umin_value;  in __reg_deduce_bounds()
660 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,  in __reg_deduce_bounds()
677 	reg->smin_value = S64_MIN;  in __mark_reg_unbounded()
1273 	if (reg->smin_value < 0) {  in check_map_access()
1278 	err = __check_map_access(env, regno, reg->smin_value + off, size,  in check_map_access()
1364 	if (reg->smin_value < 0) {  in check_packet_access()
1664 	reg->smin_value = reg->umin_value;  in coerce_reg_to_size()
2073 		if (reg->smin_value < 0) {  in check_func_arg()
2656 	s64 smin = reg->smin_value;  in check_reg_sane_offset()
2699 	s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value,  in adjust_ptr_min_max_vals()
2700 	    smin_ptr = ptr_reg->smin_value, smax_ptr = ptr_reg->smax_value;  in adjust_ptr_min_max_vals()
2759 			dst_reg->smin_value = smin_ptr;  in adjust_ptr_min_max_vals()
2779 			dst_reg->smin_value = S64_MIN;  in adjust_ptr_min_max_vals()
2782 			dst_reg->smin_value = smin_ptr + smin_val;  in adjust_ptr_min_max_vals()
2820 			dst_reg->smin_value = smin_ptr;  in adjust_ptr_min_max_vals()
2836 			dst_reg->smin_value = S64_MIN;  in adjust_ptr_min_max_vals()
2839 			dst_reg->smin_value = smin_ptr - smax_val;  in adjust_ptr_min_max_vals()
2908 	smin_val = src_reg.smin_value;  in adjust_scalar_min_max_vals()
2932 		if (signed_add_overflows(dst_reg->smin_value, smin_val) ||  in adjust_scalar_min_max_vals()
2934 			dst_reg->smin_value = S64_MIN;  in adjust_scalar_min_max_vals()
2937 			dst_reg->smin_value += smin_val;  in adjust_scalar_min_max_vals()
2951 		if (signed_sub_overflows(dst_reg->smin_value, smax_val) ||  in adjust_scalar_min_max_vals()
2954 			dst_reg->smin_value = S64_MIN;  in adjust_scalar_min_max_vals()
2957 			dst_reg->smin_value -= smax_val;  in adjust_scalar_min_max_vals()
2973 		if (smin_val < 0 || dst_reg->smin_value < 0) {  in adjust_scalar_min_max_vals()
2993 			dst_reg->smin_value = S64_MIN;  in adjust_scalar_min_max_vals()
2996 			dst_reg->smin_value = dst_reg->umin_value;  in adjust_scalar_min_max_vals()
3012 		if (dst_reg->smin_value < 0 || smin_val < 0) {  in adjust_scalar_min_max_vals()
3016 			dst_reg->smin_value = S64_MIN;  in adjust_scalar_min_max_vals()
3022 			dst_reg->smin_value = dst_reg->umin_value;  in adjust_scalar_min_max_vals()
3041 		if (dst_reg->smin_value < 0 || smin_val < 0) {  in adjust_scalar_min_max_vals()
3045 			dst_reg->smin_value = S64_MIN;  in adjust_scalar_min_max_vals()
3051 			dst_reg->smin_value = dst_reg->umin_value;  in adjust_scalar_min_max_vals()
3068 		dst_reg->smin_value = S64_MIN;  in adjust_scalar_min_max_vals()
3104 		dst_reg->smin_value = S64_MIN;  in adjust_scalar_min_max_vals()
3124 		dst_reg->smin_value >>= umin_val;  in adjust_scalar_min_max_vals()
3505 		true_reg->smin_value = max_t(s64, true_reg->smin_value, val + 1);  in reg_set_min_max()
3512 		false_reg->smin_value = max_t(s64, false_reg->smin_value, val);  in reg_set_min_max()
3521 		true_reg->smin_value = max_t(s64, true_reg->smin_value, val);  in reg_set_min_max()
3528 		false_reg->smin_value = max_t(s64, false_reg->smin_value, val + 1);  in reg_set_min_max()
3577 		false_reg->smin_value = max_t(s64, false_reg->smin_value, val);  in reg_set_min_max_inv()
3584 		true_reg->smin_value = max_t(s64, true_reg->smin_value, val + 1);  in reg_set_min_max_inv()
3593 		false_reg->smin_value = max_t(s64, false_reg->smin_value, val + 1);  in reg_set_min_max_inv()
3600 		true_reg->smin_value = max_t(s64, true_reg->smin_value, val);  in reg_set_min_max_inv()
3628 	src_reg->smin_value = dst_reg->smin_value = max(src_reg->smin_value,  in __reg_combine_min_max()
3629 							dst_reg->smin_value);  in __reg_combine_min_max()
3677 		if (WARN_ON_ONCE(reg->smin_value || reg->smax_value ||  in mark_map_reg()
4331 	       old->smin_value <= cur->smin_value &&  in range_within()