7987 			    const struct bpf_reg_state *off_reg,  in sanitize_ptr_alu()  argument
7994 	bool off_is_imm = tnum_is_const(off_reg->var_off);  in sanitize_ptr_alu()
7995 	bool off_is_neg = off_reg->smin_value < 0;  in sanitize_ptr_alu()
8014 		if (!tnum_is_const(off_reg->var_off) &&  in sanitize_ptr_alu()
8015 		    (off_reg->smin_value < 0) != (off_reg->smax_value < 0))  in sanitize_ptr_alu()
8095 			const struct bpf_reg_state *off_reg,  in sanitize_err()  argument
8105 			off_reg == dst_reg ? dst : src, err);  in sanitize_err()
8109 			off_reg == dst_reg ? src : dst, err);  in sanitize_err()
8206 				   const struct bpf_reg_state *off_reg)  in adjust_ptr_min_max_vals()  argument
8211 	bool known = tnum_is_const(off_reg->var_off);  in adjust_ptr_min_max_vals()
8212 	s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value,  in adjust_ptr_min_max_vals()
8214 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,  in adjust_ptr_min_max_vals()
8275 	if (!check_reg_sane_offset(env, off_reg, ptr_reg->type) ||  in adjust_ptr_min_max_vals()
8283 		ret = sanitize_ptr_alu(env, insn, ptr_reg, off_reg, dst_reg,  in adjust_ptr_min_max_vals()
8286 			return sanitize_err(env, insn, ret, off_reg, dst_reg);  in adjust_ptr_min_max_vals()
8331 		dst_reg->var_off = tnum_add(ptr_reg->var_off, off_reg->var_off);  in adjust_ptr_min_max_vals()
8341 		if (dst_reg == off_reg) {  in adjust_ptr_min_max_vals()
8390 		dst_reg->var_off = tnum_sub(ptr_reg->var_off, off_reg->var_off);  in adjust_ptr_min_max_vals()
8420 		ret = sanitize_ptr_alu(env, insn, dst_reg, off_reg, dst_reg,  in adjust_ptr_min_max_vals()
8423 			return sanitize_err(env, insn, ret, off_reg, dst_reg);  in adjust_ptr_min_max_vals()
9167 	struct bpf_reg_state *ptr_reg = NULL, off_reg = {0};  in adjust_reg_min_max_vals()  local
9219 		off_reg.type = SCALAR_VALUE;  in adjust_reg_min_max_vals()
9220 		__mark_reg_known(&off_reg, insn->imm);  in adjust_reg_min_max_vals()
9221 		src_reg = &off_reg;  in adjust_reg_min_max_vals()
13993 			u32 off_reg;  in do_misc_fixups()  local
14005 			off_reg = issrc ? insn->src_reg : insn->dst_reg;  in do_misc_fixups()
14010 					*patch++ = BPF_ALU64_IMM(BPF_MUL, off_reg, -1);  in do_misc_fixups()
14012 				*patch++ = BPF_ALU64_REG(BPF_SUB, BPF_REG_AX, off_reg);  in do_misc_fixups()
14013 				*patch++ = BPF_ALU64_REG(BPF_OR, BPF_REG_AX, off_reg);  in do_misc_fixups()
14016 				*patch++ = BPF_ALU64_REG(BPF_AND, BPF_REG_AX, off_reg);  in do_misc_fixups()
14026 				*patch++ = BPF_ALU64_IMM(BPF_MUL, off_reg, -1);  in do_misc_fixups()