[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-Id:
<175935301050.2619259.17892458478308442429.git-patchwork-notify@kernel.org>
Date: Wed, 01 Oct 2025 21:10:10 +0000
From: patchwork-bot+netdevbpf@...nel.org
To: Brahmajit Das <listout@...tout.xyz>
Cc: syzbot+d36d5ae81e1b0a53ef58@...kaller.appspotmail.com, andrii@...nel.org,
ast@...nel.org, bpf@...r.kernel.org, daniel@...earbox.net, eddyz87@...il.com,
haoluo@...gle.com, john.fastabend@...il.com, jolsa@...nel.org,
kpsingh@...nel.org, linux-kernel@...r.kernel.org, martin.lau@...ux.dev,
sdf@...ichev.me, song@...nel.org, syzkaller-bugs@...glegroups.com,
yonghong.song@...ux.dev, kafai.wan@...ux.dev
Subject: Re: [PATCH v4 1/2] bpf: Skip scalar adjustment for BPF_NEG if dst is
a
pointer
Hello:
This series was applied to bpf/bpf.git (master)
by Alexei Starovoitov <ast@...nel.org>:
On Thu, 2 Oct 2025 00:58:58 +0530 you wrote:
> In check_alu_op(), the verifier currently calls check_reg_arg() and
> adjust_scalar_min_max_vals() unconditionally for BPF_NEG operations.
> However, if the destination register holds a pointer, these scalar
> adjustments are unnecessary and potentially incorrect.
>
> This patch adds a check to skip the adjustment logic when the destination
> register contains a pointer.
>
> [...]
Here is the summary with links:
- [v4,1/2] bpf: Skip scalar adjustment for BPF_NEG if dst is a pointer
https://git.kernel.org/bpf/bpf/c/34904582b502
- [v4,2/2] selftests/bpf: Add test for BPF_NEG alu on CONST_PTR_TO_MAP
https://git.kernel.org/bpf/bpf/c/8709c1685220
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
Powered by blists - more mailing lists