481 				if (reg->smax_value != reg->umax_value &&  in print_verifier_state()
482 				    reg->smax_value != S64_MAX)  in print_verifier_state()
484 						(long long)reg->smax_value);  in print_verifier_state()
867 	reg->smax_value = (s64)imm;  in __mark_reg_known()
931 	reg->smax_value = min_t(s64, reg->smax_value,  in __update_reg_bounds()
946 	if (reg->smin_value >= 0 || reg->smax_value < 0) {  in __reg_deduce_bounds()
949 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg_deduce_bounds()
961 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg_deduce_bounds()
969 		reg->smax_value = reg->umax_value;  in __reg_deduce_bounds()
985 	reg->smax_value = S64_MAX;  in __mark_reg_unbounded()
2739 	reg->smax_value = reg->umax_value;  in coerce_reg_to_size()
3011 		if (reg->smax_value >= BPF_MAX_VAR_OFF ||  in check_stack_boundary()
3012 		    reg->smax_value <= -BPF_MAX_VAR_OFF) {  in check_stack_boundary()
3018 		max_off = reg->smax_value + reg->off;  in check_stack_boundary()
3379 		meta->msize_smax_value = reg->smax_value;  in check_func_arg()
3879 	ret_reg->smax_value = meta->msize_smax_value;  in do_refine_retval_range()
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()
4413 			dst_reg->smax_value = smax_ptr;  in adjust_ptr_min_max_vals()
4433 			dst_reg->smax_value = S64_MAX;  in adjust_ptr_min_max_vals()
4436 			dst_reg->smax_value = smax_ptr + smax_val;  in adjust_ptr_min_max_vals()
4480 			dst_reg->smax_value = smax_ptr;  in adjust_ptr_min_max_vals()
4496 			dst_reg->smax_value = S64_MAX;  in adjust_ptr_min_max_vals()
4499 			dst_reg->smax_value = smax_ptr - smin_val;  in adjust_ptr_min_max_vals()
4590 	smax_val = src_reg.smax_value;  in adjust_scalar_min_max_vals()
4619 		    signed_add_overflows(dst_reg->smax_value, smax_val)) {  in adjust_scalar_min_max_vals()
4621 			dst_reg->smax_value = S64_MAX;  in adjust_scalar_min_max_vals()
4624 			dst_reg->smax_value += smax_val;  in adjust_scalar_min_max_vals()
4643 		    signed_sub_overflows(dst_reg->smax_value, smin_val)) {  in adjust_scalar_min_max_vals()
4646 			dst_reg->smax_value = S64_MAX;  in adjust_scalar_min_max_vals()
4649 			dst_reg->smax_value -= smin_val;  in adjust_scalar_min_max_vals()
4685 			dst_reg->smax_value = S64_MAX;  in adjust_scalar_min_max_vals()
4688 			dst_reg->smax_value = dst_reg->umax_value;  in adjust_scalar_min_max_vals()
4708 			dst_reg->smax_value = S64_MAX;  in adjust_scalar_min_max_vals()
4714 			dst_reg->smax_value = dst_reg->umax_value;  in adjust_scalar_min_max_vals()
4737 			dst_reg->smax_value = S64_MAX;  in adjust_scalar_min_max_vals()
4743 			dst_reg->smax_value = dst_reg->umax_value;  in adjust_scalar_min_max_vals()
4760 		dst_reg->smax_value = S64_MAX;  in adjust_scalar_min_max_vals()
4796 		dst_reg->smax_value = S64_MAX;  in adjust_scalar_min_max_vals()
4816 		dst_reg->smax_value >>= umin_val;  in adjust_scalar_min_max_vals()
5218 			reg->smax_value = S32_MAX;  in is_branch_taken()
5221 		reg->smax_value = (s64)(s32)reg->smax_value;  in is_branch_taken()
5253 		else if (reg->smax_value < sval)  in is_branch_taken()
5263 		if (reg->smax_value < sval)  in is_branch_taken()
5277 		else if (reg->smax_value < sval)  in is_branch_taken()
5287 		if (reg->smax_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()
5397 		false_reg->smax_value = min(false_reg->smax_value, false_smax);  in reg_set_min_max()
5424 		true_reg->smax_value = min(true_reg->smax_value, true_smax);  in reg_set_min_max()
5507 		true_reg->smax_value = min(true_reg->smax_value, true_smax);  in reg_set_min_max_inv()
5532 		false_reg->smax_value = min(false_reg->smax_value, false_smax);  in reg_set_min_max_inv()
5563 	src_reg->smax_value = dst_reg->smax_value = min(src_reg->smax_value,  in __reg_combine_min_max()
5564 							dst_reg->smax_value);  in __reg_combine_min_max()
5609 		if (WARN_ON_ONCE(reg->smin_value || reg->smax_value ||  in mark_ptr_or_null_reg()
6677 	       old->smax_value >= cur->smax_value;  in range_within()