From: Shung-Hsi Yu <shung-hsi.yu@suse.com>
To: Sasha Levin <sashal@kernel.org>
Cc: stable@vger.kernel.org, Puranjay Mohan <puranjay@kernel.org>
Subject: Re: [PATCH stable 6.18 0/6] bpf: verifier: linked register tests and fixes
Date: Tue, 21 Jul 2026 14:45:15 +0800 [thread overview]
Message-ID: <al7zWrJAeYdQ2ytz@u94a> (raw)
In-Reply-To: <20260718192718.0008-stable-reply@kernel.org>
On Sun, Jul 19, 2026 at 11:00:22AM -0400, Sasha Levin wrote:
> > This patchset mainly aims to backport upstream commit 1b327732c846
> > ("bpf: Clear delta when clearing reg id for non-{add,sub} ops") (patch
> > 4), and its selftests patch in commit cac16ce1e378 ("selftests/bpf: Add
> > tests for stale delta leaking through id reassignment") (patch 6).
>
> Queued the series for 6.18, thanks.
Hi Sasha,
I realized that we have commit b0388bafa494 ("verifier: Relax scalar id
equivalence for state pruning"), but not the preceeding commits in the
same patchset[1]. I not certain that b0388bafa494 is expected to work in
isolation without the two previous one:
- 3cd5c890652b bpf: verifier: Assign ids on stack fills
- b2a0aa3a8739 bpf: verifier: Clear singular ids for scalars
I going with the conservative approach of reverting b0388bafa494.
However that also means that commit 1b327732c846 "bpf: Clear delta when
clearing reg id for non-{add,sub} ops" will no longer apply cleanly. Let
me send a v2 to address this whole thing.
1: https://lore.kernel.org/all/20260203165102.2302462-1-puranjay@kernel.org/
next prev parent reply other threads:[~2026-07-21 6:45 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-07-17 4:47 [PATCH stable 6.18 0/6] bpf: verifier: linked register tests and fixes Shung-Hsi Yu
2026-07-17 4:47 ` [PATCH stable 6.18 1/6] selftests: bpf: Add test for multiple syncs from linked register Shung-Hsi Yu
2026-07-17 4:47 ` [PATCH stable 6.18 2/6] selftests/bpf: Add tests for improved linked register tracking Shung-Hsi Yu
2026-07-17 4:47 ` [PATCH stable 6.18 3/6] selftests/bpf: Add a test cases for sync_linked_regs regarding zext propagation Shung-Hsi Yu
2026-07-17 4:47 ` [PATCH stable 6.18 4/6] bpf: Clear delta when clearing reg id for non-{add,sub} ops Shung-Hsi Yu
2026-07-17 4:47 ` [PATCH stable 6.18 5/6] selftests/bpf: Add tests for delta tracking when src_reg == dst_reg Shung-Hsi Yu
2026-07-17 4:47 ` [PATCH stable 6.18 6/6] selftests/bpf: Add tests for stale delta leaking through id reassignment Shung-Hsi Yu
2026-07-19 15:00 ` [PATCH stable 6.18 0/6] bpf: verifier: linked register tests and fixes Sasha Levin
2026-07-21 6:45 ` Shung-Hsi Yu [this message]
2026-07-21 8:03 ` Shung-Hsi Yu
2026-07-21 10:18 ` Greg KH
2026-07-23 2:42 ` Shung-Hsi Yu
-- strict thread matches above, loose matches on Subject: below --
2026-07-17 4:39 Shung-Hsi Yu
2026-07-17 4:46 ` Shung-Hsi Yu
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=al7zWrJAeYdQ2ytz@u94a \
--to=shung-hsi.yu@suse.com \
--cc=puranjay@kernel.org \
--cc=sashal@kernel.org \
--cc=stable@vger.kernel.org \
/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.