Syzbot CI

Subject	bpf: Find linked registers by scalar evolution, remove scalar ids
Author	alexei.starovoitov@gmail.com
Date	2026-11-11 16:45:24 +0000 UTC
Version
Cc	alexei.starovoitov@gmail.com andrii@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com memxor@gmail.com

Name	Content [All]
[PATCH bpf-next v3 01/29] bpf: Keep the 32-bit range across a no-op sign extension	[Body]
[PATCH bpf-next v3 02/29] bpf: Model 32-bit shifts and divisions exactly in scalar evolution	[Body]
[PATCH bpf-next v3 03/29] bpf: Construct scalar evolution expressions without allocations	[Body]
[PATCH bpf-next v3 04/29] bpf: Don't join dead registers in scalar evolution	[Body]
[PATCH bpf-next v3 05/29] bpf: Simplify scalar evolution expressions at construction	[Body]
[PATCH bpf-next v3 06/29] bpf: Give SSA names to the values that scalar evolution does not track	[Body]
[PATCH bpf-next v3 07/29] bpf: Compute scalar evolution expressions for whole subprogs	[Body]
[PATCH bpf-next v3 08/29] bpf: Mark the attr argument of bpf_sys_bpf() as MEM_WRITE	[Body]
[PATCH bpf-next v3 09/29] bpf: Include older frames in a fill through an imprecise stack pointer	[Body]
[PATCH bpf-next v3 10/29] bpf: Detect a dead branch when a range and var_off don't overlap	[Body]
[PATCH bpf-next v3 11/29] bpf: Don't treat half of a 64-bit spill as a 32-bit spill on big endian	[Body]
[PATCH bpf-next v3 12/29] bpf: Refine registers linked by scalar evolution at conditional jumps	[Body]
[PATCH bpf-next v3 13/29] bpf: Value number the phis of scalar evolution	[Body]
[PATCH bpf-next v3 14/29] selftests/bpf: Test registers linked by scalar evolution	[Body]
[PATCH bpf-next v3 15/29] selftests/bpf: Test sign extensions of a range and of a linked register	[Body]
[PATCH bpf-next v3 16/29] bpf: Recompute a pointer after the jump that bounds its index	[Body]
[PATCH bpf-next v3 17/29] selftests/bpf: Test a pointer computed before its index is bounded	[Body]
[PATCH bpf-next v3 18/29] bpf: Promote memory behind a pointer to SCEV registers	[Body]
[PATCH bpf-next v3 19/29] selftests/bpf: Test the memory of a caller that a jump tests	[Body]
[PATCH bpf-next v3 20/29] bpf: Find a copy of an induction variable without scalar ids	[Body]
[PATCH bpf-next v3 21/29] bpf: Compute scalar evolution expressions in irreducible loops	[Body]
[PATCH bpf-next v3 22/29] bpf: Remove sync_linked_regs(), refine by scalar evolution only	[Body]
[PATCH bpf-next v3 23/29] bpf: Recognize copies of a scalar by their ranges in flow_join_makes_up()	[Body]
[PATCH bpf-next v3 24/29] bpf: Stop assigning ids to scalars	[Body]
[PATCH bpf-next v3 25/29] bpf: Remove scalar ids from regsafe()	[Body]
[PATCH bpf-next v3 26/29] bpf: Remove scalar ids from the join of states	[Body]
[PATCH bpf-next v3 27/29] bpf: Remove scalar ids from the log and from bpf_verifier.h	[Body]
[PATCH bpf-next v3 28/29] bpf: Support sign-extended 32-bit linear scalar evolution	[Body]
[PATCH bpf-next v3 29/29] selftests/bpf: Test loops with a sign-extended 32-bit induction variable	[Body]

Session 2026-11-11

waiting

ID (for dev)	bc1df434-d93f-4d24-b564-9087b8777242
Status	waiting

Test	Base	Patched	Verdict

Patches (29)

Series Summary

Sessions

Session 2026-11-11