Subject Fix invariant violation for single-value tnums
Author paul.chaignon@gmail.com
Date 2026-02-17 08:59:31 +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 bpf 1/4] bpf: Introduce tnum_step to step through tnum's members [Body]
[PATCH bpf 2/4] bpf: Improve bounds when tnum has a single possible value [Body]
[PATCH bpf 3/4] selftests/bpf: Test refinement of single-value tnum [Body]
[PATCH bpf 4/4] selftests/bpf: Avoid simplification of crafted bounds test [Body]
Series Summary
Passed
✓ All tests passed. No findings.
Sessions
Session 2026-02-17
Passed
ID (for dev) b7591419-72a7-490c-82cf-1d07ca2d4e63
Status finished
Triaged OK [Log]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 886bf921ecfc30f8f31341bc26560d8bf08b937b [Config] passed [Log]
[KASAN] Boot test: Base 886bf921ecfc30f8f31341bc26560d8bf08b937b [Config] passed [Log]
[KASAN] Build Patched 886bf921ecfc30f8f31341bc26560d8bf08b937b [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 886bf921ecfc30f8f31341bc26560d8bf08b937b [Config] [patched] passed [Log]
[KASAN] Fuzzing 886bf921ecfc30f8f31341bc26560d8bf08b937b [Config] 886bf921ecfc30f8f31341bc26560d8bf08b937b [Config] [patched] passed [Log] [Artifacts]