Subject Fix invariant violation for single-value tnums
Author paul.chaignon@gmail.com
Date 2026-02-20 13:56:08 +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 v2 bpf 1/4] bpf: Introduce tnum_step to step through tnum's members [Body]
[PATCH v2 bpf 2/4] bpf: Improve bounds when tnum has a single possible value [Body]
[PATCH v2 bpf 3/4] selftests/bpf: Test refinement of single-value tnum [Body]
[PATCH v2 bpf 4/4] selftests/bpf: Avoid simplification of crafted bounds test [Body]
Series Summary
Passed
✓ All tests passed. No findings.
Sessions
Session 2026-02-20
Passed
ID (for dev) defe12b6-6f72-4fb5-b2c6-17349747f8ea
Status finished
Triaged OK [Log]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 8bf22c33e7a172fbc72464f4cc484d23a6b412ba [Config] passed [Log]
[KASAN] Boot test: Base 8bf22c33e7a172fbc72464f4cc484d23a6b412ba [Config] passed [Log]
[KASAN] Build Patched 8bf22c33e7a172fbc72464f4cc484d23a6b412ba [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 8bf22c33e7a172fbc72464f4cc484d23a6b412ba [Config] [patched] passed [Log]
[KASAN] Fuzzing 8bf22c33e7a172fbc72464f4cc484d23a6b412ba [Config] 8bf22c33e7a172fbc72464f4cc484d23a6b412ba [Config] [patched] passed [Log] [Artifacts]