Subject bpf: implement __reg_deduce_bounds() using wrapped intervals
Author eddyz87@gmail.com
Date 2026-03-18 16:28:58 +0000 UTC
Version
Cc andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com harishankar.vishwanathan@gmail.com kernel-team@fb.com martin.lau@linux.dev paul.chaignon@gmail.com shung-hsi.yu@suse.com yonghong.song@linux.dev
Patches (4)
Name Content [All]
[PATCH RFC bpf-next v1 1/4] bpf: representation and basic operations on circular numbers [Body]
[PATCH RFC bpf-next v1 2/4] bpf: cnum for 32->32, 64->64, 64->32 deductions in reg_bounds_sync [Body]
[PATCH RFC bpf-next v1 3/4] bpf: cnum 32->64 deductions in reg_bounds_sync [Body]
[PATCH RFC bpf-next v1 4/4] selftests/bpf: new cases handled by 32->64 range refinements [Body]
Series Summary
Passed
✓ All tests passed. No findings.
Sessions
Session 2026-03-18
Passed
ID (for dev) 42a8b130-46ce-417a-9abc-d7847fa7a0e2
Status finished
Triaged OK [Log]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 77378dabb50f593c756d393d8eacb0b91b758863 [Config] passed [Log]
[KASAN] Boot test: Base 77378dabb50f593c756d393d8eacb0b91b758863 [Config] passed [Log]
[KASAN] Build Patched 77378dabb50f593c756d393d8eacb0b91b758863 [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 77378dabb50f593c756d393d8eacb0b91b758863 [Config] [patched] passed [Log]
[KASAN] Fuzz 77378dabb50f593c756d393d8eacb0b91b758863 [Config] 77378dabb50f593c756d393d8eacb0b91b758863 [Config] [patched] passed [Log] [Artifacts]