5459 	s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value,  in adjust_ptr_min_max_vals()  local
5469 	if ((known && (smin_val != smax_val || umin_val != umax_val)) ||  in adjust_ptr_min_max_vals()
5470 	    smin_val > smax_val || umin_val > umax_val) {  in adjust_ptr_min_max_vals()
5513 		if (!env->allow_ptr_leaks && !known && (smin_val < 0) != (smax_val < 0)) {  in adjust_ptr_min_max_vals()
5568 		    signed_add_overflows(smax_ptr, smax_val)) {  in adjust_ptr_min_max_vals()
5573 			dst_reg->smax_value = smax_ptr + smax_val;  in adjust_ptr_min_max_vals()
5629 		if (signed_sub_overflows(smin_ptr, smax_val) ||  in adjust_ptr_min_max_vals()
5635 			dst_reg->smin_value = smin_ptr - smax_val;  in adjust_ptr_min_max_vals()
5703 	s32 smax_val = src_reg->s32_max_value;  in scalar32_min_max_add()  local
5708 	    signed_add32_overflows(dst_reg->s32_max_value, smax_val)) {  in scalar32_min_max_add()
5713 		dst_reg->s32_max_value += smax_val;  in scalar32_min_max_add()
5729 	s64 smax_val = src_reg->smax_value;  in scalar_min_max_add()  local
5734 	    signed_add_overflows(dst_reg->smax_value, smax_val)) {  in scalar_min_max_add()
5739 		dst_reg->smax_value += smax_val;  in scalar_min_max_add()
5755 	s32 smax_val = src_reg->s32_max_value;  in scalar32_min_max_sub()  local
5759 	if (signed_sub32_overflows(dst_reg->s32_min_value, smax_val) ||  in scalar32_min_max_sub()
5765 		dst_reg->s32_min_value -= smax_val;  in scalar32_min_max_sub()
5783 	s64 smax_val = src_reg->smax_value;  in scalar_min_max_sub()  local
5787 	if (signed_sub_overflows(dst_reg->smin_value, smax_val) ||  in scalar_min_max_sub()
5793 		dst_reg->smin_value -= smax_val;  in scalar_min_max_sub()
6282 	s64 smin_val, smax_val;  in adjust_scalar_min_max_vals()  local
6292 	smax_val = src_reg.smax_value;  in adjust_scalar_min_max_vals()
6315 		     (smin_val != smax_val || umin_val != umax_val)) ||  in adjust_scalar_min_max_vals()
6316 		    smin_val > smax_val || umin_val > umax_val) {  in adjust_scalar_min_max_vals()