Syzbot CI

Subject	bpf: Find linked registers by scalar evolution, remove scalar ids
Author	alexei.starovoitov@gmail.com
Date	2026-11-09 06:46:45 +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 01/26] bpf: Keep the 32-bit range across a no-op sign extension	[Body]
[PATCH bpf-next 02/26] bpf: Model 32-bit shifts and divisions exactly in scalar evolution	[Body]
[PATCH bpf-next 03/26] bpf: Construct scalar evolution expressions without allocations	[Body]
[PATCH bpf-next 04/26] bpf: Don't join dead registers in scalar evolution	[Body]
[PATCH bpf-next 05/26] bpf: Simplify scalar evolution expressions at construction	[Body]
[PATCH bpf-next 06/26] bpf: Give SSA names to the values that scalar evolution does not track	[Body]
[PATCH bpf-next 07/26] bpf: Compute scalar evolution expressions for whole subprogs	[Body]
[PATCH bpf-next 08/26] bpf: Mark the attr argument of bpf_sys_bpf() as MEM_WRITE	[Body]
[PATCH bpf-next 09/26] bpf: Check writes to the stack against bpf_may_write_mask()	[Body]
[PATCH bpf-next 10/26] bpf: Detect a dead branch when a range and var_off don't overlap	[Body]
[PATCH bpf-next 11/26] bpf: Don't treat half of a 64-bit spill as a 32-bit spill on big endian	[Body]
[PATCH bpf-next 12/26] bpf: Refine registers linked by scalar evolution at conditional jumps	[Body]
[PATCH bpf-next 13/26] selftests/bpf: Test registers linked by scalar evolution	[Body]
[PATCH bpf-next 14/26] selftests/bpf: Test sign extensions of a range and of a linked register	[Body]
[PATCH bpf-next 15/26] bpf: Recompute a pointer after the jump that bounds its index	[Body]
[PATCH bpf-next 16/26] selftests/bpf: Test a pointer computed before its index is bounded	[Body]
[PATCH bpf-next 17/26] bpf: Find a copy of an induction variable without scalar ids	[Body]
[PATCH bpf-next 18/26] bpf: Find linked registers in the basic blocks of irreducible loops	[Body]
[PATCH bpf-next 19/26] bpf: Remove sync_linked_regs(), refine by scalar evolution only	[Body]
[PATCH bpf-next 20/26] bpf: Recognize copies of a scalar by their ranges in flow_join_makes_up()	[Body]
[PATCH bpf-next 21/26] bpf: Stop assigning ids to scalars	[Body]
[PATCH bpf-next 22/26] bpf: Remove scalar ids from regsafe()	[Body]
[PATCH bpf-next 23/26] bpf: Remove scalar ids from the join of states	[Body]
[PATCH bpf-next 24/26] bpf: Remove scalar ids from the log and from bpf_verifier.h	[Body]
[PATCH bpf-next 25/26] bpf: Support sign-extended 32-bit linear scalar evolution	[Body]
[PATCH bpf-next 26/26] selftests/bpf: Test loops with a sign-extended 32-bit induction variable	[Body]

Session 2026-11-09

waiting

ID (for dev)	d1afdfcc-29fd-4320-9128-8de8c8396a68
Status	waiting

Test	Base	Patched	Verdict

Patches (26)

Series Summary

Sessions

Session 2026-11-09