Syzbot CI

Subject	bpf: Fix reg_bounds' slow mode and improve verifier refinement
Author	paul.chaignon@gmail.com
Date	2026-04-16 13:11:36 +0000 UTC
Version
Cc	andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com harishankar.vishwanathan@gmail.com koike@igalia.com paul.chaignon@gmail.com yonghong.song@linux.dev

Subject

Author

paul.chaignon@gmail.com

Date

2026-04-16 13:11:36 +0000 UTC

Version

andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com harishankar.vishwanathan@gmail.com koike@igalia.com paul.chaignon@gmail.com yonghong.song@linux.dev

Name	Content [All]
[PATCH RFC bpf-next 1/7] bpf/verifier: Use intersection checks when simulating to detect dead branches	[Body]
[PATCH RFC bpf-next 2/7] selftests/bpf: Test for empty intersection of tnum and u64	[Body]
[PATCH RFC bpf-next 3/7] selftests/bpf: Fix reg_bounds to prune on range violations	[Body]
[PATCH RFC bpf-next 4/7] bpf: Improve 64bits bounds refinement from u32 bounds	[Body]
[PATCH RFC bpf-next 5/7] bpf: Remove dead code from u32->*64 refinement logic	[Body]
[PATCH RFC bpf-next 6/7] selftests/bpf: Hardcode insteresting 32->64 refinement cases	[Body]
[PATCH RFC bpf-next 7/7] selftests/bpf: new cases handled by 32->64 range refinements	[Body]

Name

Content [All]

Passed

Test	Base	Patched	Verdict
[KASAN] Build Base	1f5ffc672165ff851063a5fd044b727ab2517ae3 [Config]		passed [Log]
[KASAN] Boot test: Base	1f5ffc672165ff851063a5fd044b727ab2517ae3 [Config]		passed [Log]
[KASAN] Build Patched		1f5ffc672165ff851063a5fd044b727ab2517ae3 [Config] [patched]	passed [Log]
[KASAN] Boot test: Patched		1f5ffc672165ff851063a5fd044b727ab2517ae3 [Config] [patched]	passed [Log]
[KASAN] Fuzz	1f5ffc672165ff851063a5fd044b727ab2517ae3 [Config]	1f5ffc672165ff851063a5fd044b727ab2517ae3 [Config] [patched]	passed [Log] [Artifacts]