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()
5498 		if (known && smin_val == 0 && opcode == BPF_ADD)  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()
5538 		ret = sanitize_ptr_alu(env, insn, ptr_reg, dst_reg, smin_val < 0);  in adjust_ptr_min_max_vals()
5546 		if (known && (ptr_reg->off + smin_val ==  in adjust_ptr_min_max_vals()
5547 			      (s64)(s32)(ptr_reg->off + smin_val))) {  in adjust_ptr_min_max_vals()
5554 			dst_reg->off = ptr_reg->off + smin_val;  in adjust_ptr_min_max_vals()
5567 		if (signed_add_overflows(smin_ptr, smin_val) ||  in adjust_ptr_min_max_vals()
5572 			dst_reg->smin_value = smin_ptr + smin_val;  in adjust_ptr_min_max_vals()
5593 		ret = sanitize_ptr_alu(env, insn, ptr_reg, dst_reg, smin_val < 0);  in adjust_ptr_min_max_vals()
5613 		if (known && (ptr_reg->off - smin_val ==  in adjust_ptr_min_max_vals()
5614 			      (s64)(s32)(ptr_reg->off - smin_val))) {  in adjust_ptr_min_max_vals()
5622 			dst_reg->off = ptr_reg->off - smin_val;  in adjust_ptr_min_max_vals()
5630 		    signed_sub_overflows(smax_ptr, smin_val)) {  in adjust_ptr_min_max_vals()
5636 			dst_reg->smax_value = smax_ptr - smin_val;  in adjust_ptr_min_max_vals()
5653 			if (smin_val < 0)  in adjust_ptr_min_max_vals()
5702 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_add()  local
5707 	if (signed_add32_overflows(dst_reg->s32_min_value, smin_val) ||  in scalar32_min_max_add()
5712 		dst_reg->s32_min_value += smin_val;  in scalar32_min_max_add()
5728 	s64 smin_val = src_reg->smin_value;  in scalar_min_max_add()  local
5733 	if (signed_add_overflows(dst_reg->smin_value, smin_val) ||  in scalar_min_max_add()
5738 		dst_reg->smin_value += smin_val;  in scalar_min_max_add()
5754 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_sub()  local
5760 	    signed_sub32_overflows(dst_reg->s32_max_value, smin_val)) {  in scalar32_min_max_sub()
5766 		dst_reg->s32_max_value -= smin_val;  in scalar32_min_max_sub()
5782 	s64 smin_val = src_reg->smin_value;  in scalar_min_max_sub()  local
5788 	    signed_sub_overflows(dst_reg->smax_value, smin_val)) {  in scalar_min_max_sub()
5794 		dst_reg->smax_value -= smin_val;  in scalar_min_max_sub()
5810 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_mul()  local
5814 	if (smin_val < 0 || dst_reg->s32_min_value < 0) {  in scalar32_min_max_mul()
5842 	s64 smin_val = src_reg->smin_value;  in scalar_min_max_mul()  local
5846 	if (smin_val < 0 || dst_reg->smin_value < 0) {  in scalar_min_max_mul()
5877 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_and()  local
5891 	if (dst_reg->s32_min_value < 0 || smin_val < 0) {  in scalar32_min_max_and()
5912 	s64 smin_val = src_reg->smin_value;  in scalar_min_max_and()  local
5925 	if (dst_reg->smin_value < 0 || smin_val < 0) {  in scalar_min_max_and()
5948 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_or()  local
5962 	if (dst_reg->s32_min_value < 0 || smin_val < 0) {  in scalar32_min_max_or()
5982 	s64 smin_val = src_reg->smin_value;  in scalar_min_max_or()  local
5995 	if (dst_reg->smin_value < 0 || smin_val < 0) {  in scalar_min_max_or()
6018 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_xor()  local
6030 	if (dst_reg->s32_min_value >= 0 && smin_val >= 0) {  in scalar32_min_max_xor()
6047 	s64 smin_val = src_reg->smin_value;  in scalar_min_max_xor()  local
6059 	if (dst_reg->smin_value >= 0 && smin_val >= 0) {  in scalar_min_max_xor()
6282 	s64 smin_val, smax_val;  in adjust_scalar_min_max_vals()  local
6291 	smin_val = src_reg.smin_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()