Patch Series

Subject	bpf: dont report verifier bug for missing bpf_scc_visit on speculative path
Author	eddyz87@gmail.com
Date	2025-09-16 21:22:50 +0000 UTC
Version	1
Cc	andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com kernel-team@fb.com martin.lau@linux.dev syzbot@syzkaller.appspotmail.com yonghong.song@linux.dev

Patches (2)

Name	Content
[PATCH bpf-next v1 1/2] bpf: dont report verifier bug for missing bpf_scc_visit on speculative path	[Body]
[PATCH bpf-next v1 2/2] selftests/bpf: trigger verifier.c:maybe_exit_scc() for a speculative state	[Body]

Session 2025-09-16

ID (for dev)	b5d8e6a5-391a-4133-b1de-9384991c8fa7
Status	finished
Triaged	OK [Log]
Execution Log	[Link]

Test	Base	Patched	Verdict
Build Base	a578b54a8ad282dd739e4d1f4e8352fc8ac1c4a0 [Config]		passed [Log]
Build Patched		a578b54a8ad282dd739e4d1f4e8352fc8ac1c4a0 [Config] [patched]	passed [Log]
Boot test: Base	a578b54a8ad282dd739e4d1f4e8352fc8ac1c4a0 [Config]		passed
Boot test: Patched		a578b54a8ad282dd739e4d1f4e8352fc8ac1c4a0 [Config] [patched]	passed
Fuzzing	a578b54a8ad282dd739e4d1f4e8352fc8ac1c4a0 [Config]	a578b54a8ad282dd739e4d1f4e8352fc8ac1c4a0 [Config] [patched]	passed [Log] [Artifacts]