5328 static int retrieve_ptr_limit(const struct bpf_reg_state *ptr_reg,  in retrieve_ptr_limit()  argument
5335 	switch (ptr_reg->type) {  in retrieve_ptr_limit()
5340 		off = ptr_reg->off + ptr_reg->var_off.value;  in retrieve_ptr_limit()
5348 			*ptr_limit = ptr_reg->umax_value + ptr_reg->off;  in retrieve_ptr_limit()
5350 			off = ptr_reg->smin_value + ptr_reg->off;  in retrieve_ptr_limit()
5351 			*ptr_limit = ptr_reg->map_ptr->value_size - off;  in retrieve_ptr_limit()
5395 			    const struct bpf_reg_state *ptr_reg,  in sanitize_ptr_alu()  argument
5401 	bool ptr_is_dst_reg = ptr_reg == dst_reg;  in sanitize_ptr_alu()
5421 	if (retrieve_ptr_limit(ptr_reg, &alu_limit, opcode, off_is_neg))  in sanitize_ptr_alu()
5437 		*dst_reg = *ptr_reg;  in sanitize_ptr_alu()
5452 				   const struct bpf_reg_state *ptr_reg,  in adjust_ptr_min_max_vals()  argument
5460 	    smin_ptr = ptr_reg->smin_value, smax_ptr = ptr_reg->smax_value;  in adjust_ptr_min_max_vals()
5462 	    umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value;  in adjust_ptr_min_max_vals()
5491 	switch (ptr_reg->type) {  in adjust_ptr_min_max_vals()
5494 			dst, reg_type_str[ptr_reg->type]);  in adjust_ptr_min_max_vals()
5510 			dst, reg_type_str[ptr_reg->type]);  in adjust_ptr_min_max_vals()
5526 	dst_reg->type = ptr_reg->type;  in adjust_ptr_min_max_vals()
5527 	dst_reg->id = ptr_reg->id;  in adjust_ptr_min_max_vals()
5529 	if (!check_reg_sane_offset(env, off_reg, ptr_reg->type) ||  in adjust_ptr_min_max_vals()
5530 	    !check_reg_sane_offset(env, ptr_reg, ptr_reg->type))  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()
5553 			dst_reg->var_off = ptr_reg->var_off;  in adjust_ptr_min_max_vals()
5554 			dst_reg->off = ptr_reg->off + smin_val;  in adjust_ptr_min_max_vals()
5555 			dst_reg->raw = ptr_reg->raw;  in adjust_ptr_min_max_vals()
5583 		dst_reg->var_off = tnum_add(ptr_reg->var_off, off_reg->var_off);  in adjust_ptr_min_max_vals()
5584 		dst_reg->off = ptr_reg->off;  in adjust_ptr_min_max_vals()
5585 		dst_reg->raw = ptr_reg->raw;  in adjust_ptr_min_max_vals()
5586 		if (reg_is_pkt_pointer(ptr_reg)) {  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()
5608 		if (ptr_reg->type == PTR_TO_STACK) {  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()
5620 			dst_reg->var_off = ptr_reg->var_off;  in adjust_ptr_min_max_vals()
5621 			dst_reg->id = ptr_reg->id;  in adjust_ptr_min_max_vals()
5622 			dst_reg->off = ptr_reg->off - smin_val;  in adjust_ptr_min_max_vals()
5623 			dst_reg->raw = ptr_reg->raw;  in adjust_ptr_min_max_vals()
5647 		dst_reg->var_off = tnum_sub(ptr_reg->var_off, off_reg->var_off);  in adjust_ptr_min_max_vals()
5648 		dst_reg->off = ptr_reg->off;  in adjust_ptr_min_max_vals()
5649 		dst_reg->raw = ptr_reg->raw;  in adjust_ptr_min_max_vals()
5650 		if (reg_is_pkt_pointer(ptr_reg)) {  in adjust_ptr_min_max_vals()
5671 	if (!check_reg_sane_offset(env, dst_reg, ptr_reg->type))  in adjust_ptr_min_max_vals()
6449 	struct bpf_reg_state *ptr_reg = NULL, off_reg = {0};  in adjust_reg_min_max_vals()  local
6456 		ptr_reg = dst_reg;  in adjust_reg_min_max_vals()
6489 		} else if (ptr_reg) {  in adjust_reg_min_max_vals()
6504 		if (ptr_reg) /* pointer += K */  in adjust_reg_min_max_vals()
6506 						       ptr_reg, src_reg);  in adjust_reg_min_max_vals()
6510 	if (WARN_ON_ONCE(ptr_reg)) {  in adjust_reg_min_max_vals()