Patch Series

Subject Fix invariant violation for single-value tnums
Author paul.chaignon@gmail.com
Date 2026-02-27 21:32:21 +0000 UTC
Version
Cc andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com harishankar.vishwanathan@gmail.com paul.chaignon@gmail.com santosh.nagarakatte@rutgers.edu srinivas.narayana@rutgers.edu

Patches (4)

Name Content [All]
[PATCH v3 bpf 1/4] bpf: Introduce tnum_step to step through tnum's members [Body]
[PATCH v3 bpf 2/4] bpf: Improve bounds when tnum has a single possible value [Body]
[PATCH v3 bpf 3/4] selftests/bpf: Test refinement of single-value tnum [Body]
[PATCH v3 bpf 4/4] selftests/bpf: Avoid simplification of crafted bounds test [Body]

Session 2026-02-27

ID (for dev) 4628fd06-edcd-4dae-ae81-18b8442e9e48
Status finished
Triaged OK [Log]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 8c0d9e178d4a91ae596b2780d9b0a77f9d4186ad [Config] passed [Log]
[KASAN] Boot test: Base 8c0d9e178d4a91ae596b2780d9b0a77f9d4186ad [Config] passed [Log]
[KASAN] Build Patched 8c0d9e178d4a91ae596b2780d9b0a77f9d4186ad [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 8c0d9e178d4a91ae596b2780d9b0a77f9d4186ad [Config] [patched] passed [Log]
[KASAN] Fuzz 8c0d9e178d4a91ae596b2780d9b0a77f9d4186ad [Config] 8c0d9e178d4a91ae596b2780d9b0a77f9d4186ad [Config] [patched] passed [Log] [Artifacts]