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 [All]
[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