From: "Alexei Starovoitov" <alexei.starovoitov@gmail.com>
To: "Rahad Bhuiya" <rahadbhuiya2021@gmail.com>, <bpf@vger.kernel.org>
Cc: <daniel@iogearbox.net>, <andrii@kernel.org>, <eddyz87@gmail.com>,
<martin.lau@linux.dev>
Subject: Re: [PATCH bpf-next v4] bpf: fix symmetric register-form NULL-pointer check in check_cond_jmp_op()
Date: Fri, 09 Oct 2026 09:56:22 +0000 [thread overview]
Message-ID: <DM07UMA0WYOJ.35PFW44XMAKP@gmail.com> (raw)
In-Reply-To: <20261009043819.1208-1-rahadbhuiya2021@gmail.com>
On Fri, Oct 09, 2026 at 10:38 AM Rahad Bhuiya <rahadbhuiya2021@gmail.com> wrote:
Four versions in 22 hours. Not a single changelog.
v2 answered sashiko, v3 the CI build failure, v4 the bpf-ci AI review.
Pls slow down.
> The symmetric case is left unhandled:
>
> dst_reg = known-zero scalar, src_reg = nullable pointer
> (e.g. 'if r6 == r0' where r6 has been proven zero)
Which compiler generates 'if r6 == r0' with zero in dst_reg?
I don't think we need this patch.
pw-bot: cr
prev parent reply other threads:[~2026-10-09 9:56 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-10-08 6:33 [PATCH bpf-next] bpf: fix symmetric register-form NULL-pointer check in check_cond_jmp_op() Rahad Bhuiya
2026-10-08 6:44 ` sashiko-bot
2026-10-08 6:57 ` [PATCH bpf-next v2] " Rahad Bhuiya
2026-10-08 18:53 ` [PATCH bpf-next v3] " Rahad Bhuiya
2026-10-08 19:52 ` bot+bpf-ci
2026-10-09 4:38 ` [PATCH bpf-next v4] " Rahad Bhuiya
2026-10-09 5:57 ` bot+bpf-ci
2026-10-09 8:32 ` Rahad Bhuiya
2026-10-09 9:56 ` Alexei Starovoitov [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=DM07UMA0WYOJ.35PFW44XMAKP@gmail.com \
--to=alexei.starovoitov@gmail.com \
--cc=andrii@kernel.org \
--cc=bpf@vger.kernel.org \
--cc=daniel@iogearbox.net \
--cc=eddyz87@gmail.com \
--cc=martin.lau@linux.dev \
--cc=rahadbhuiya2021@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.