Patch Series

Subject bpf: Improve 64bits bounds refinement
Author paul.chaignon@gmail.com
Date 2025-07-19 14:22:05 +0000 UTC
Version 1
Cc andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com paul.chaignon@gmail.com yonghong.song@linux.dev

Patches (4)

Name Content
[PATCH bpf-next 1/4] bpf: Improve bounds when s64 crosses sign boundary [Body]
[PATCH bpf-next 2/4] selftests/bpf: Update reg_bound range refinement logic [Body]
[PATCH bpf-next 3/4] selftests/bpf: Test cross-sign 64bits range refinement [Body]
[PATCH bpf-next 4/4] selftests/bpf: Test invariants on JSLT crossing sign [Body]

Session 2025-07-24

ID (for dev) e50a5d84-255d-4b35-a975-75baeb2460b2
Status finished
Execution Log [Link]
Test Base Patched Verdict