4334 	s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value,  in adjust_ptr_min_max_vals()  local
4344 	if ((known && (smin_val != smax_val || umin_val != umax_val)) ||  in adjust_ptr_min_max_vals()
4345 	    smin_val > smax_val || umin_val > umax_val) {  in adjust_ptr_min_max_vals()
4379 		if (!env->allow_ptr_leaks && !known && (smin_val < 0) != (smax_val < 0)) {  in adjust_ptr_min_max_vals()
4401 		ret = sanitize_ptr_alu(env, insn, ptr_reg, dst_reg, smin_val < 0);  in adjust_ptr_min_max_vals()
4409 		if (known && (ptr_reg->off + smin_val ==  in adjust_ptr_min_max_vals()
4410 			      (s64)(s32)(ptr_reg->off + smin_val))) {  in adjust_ptr_min_max_vals()
4417 			dst_reg->off = ptr_reg->off + smin_val;  in adjust_ptr_min_max_vals()
4430 		if (signed_add_overflows(smin_ptr, smin_val) ||  in adjust_ptr_min_max_vals()
4435 			dst_reg->smin_value = smin_ptr + smin_val;  in adjust_ptr_min_max_vals()
4456 		ret = sanitize_ptr_alu(env, insn, ptr_reg, dst_reg, smin_val < 0);  in adjust_ptr_min_max_vals()
4476 		if (known && (ptr_reg->off - smin_val ==  in adjust_ptr_min_max_vals()
4477 			      (s64)(s32)(ptr_reg->off - smin_val))) {  in adjust_ptr_min_max_vals()
4485 			dst_reg->off = ptr_reg->off - smin_val;  in adjust_ptr_min_max_vals()
4493 		    signed_sub_overflows(smax_ptr, smin_val)) {  in adjust_ptr_min_max_vals()
4499 			dst_reg->smax_value = smax_ptr - smin_val;  in adjust_ptr_min_max_vals()
4516 			if (smin_val < 0)  in adjust_ptr_min_max_vals()
4574 	s64 smin_val, smax_val;  in adjust_scalar_min_max_vals()  local
4589 	smin_val = src_reg.smin_value;  in adjust_scalar_min_max_vals()
4596 	if ((src_known && (smin_val != smax_val || umin_val != umax_val)) ||  in adjust_scalar_min_max_vals()
4597 	    smin_val > smax_val || umin_val > umax_val) {  in adjust_scalar_min_max_vals()
4618 		if (signed_add_overflows(dst_reg->smin_value, smin_val) ||  in adjust_scalar_min_max_vals()
4623 			dst_reg->smin_value += smin_val;  in adjust_scalar_min_max_vals()
4643 		    signed_sub_overflows(dst_reg->smax_value, smin_val)) {  in adjust_scalar_min_max_vals()
4649 			dst_reg->smax_value -= smin_val;  in adjust_scalar_min_max_vals()
4664 		if (smin_val < 0 || dst_reg->smin_value < 0) {  in adjust_scalar_min_max_vals()
4703 		if (dst_reg->smin_value < 0 || smin_val < 0) {  in adjust_scalar_min_max_vals()
4732 		if (dst_reg->smin_value < 0 || smin_val < 0) {  in adjust_scalar_min_max_vals()