Patch Series

Subject Detect and prune dead branches using intersection checks
Author harishankar.vishwanathan@gmail.com
Date 2026-04-15 16:07:27 +0000 UTC
Version
Cc andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com harishankar.vishwanathan@gmail.com paul.chaignon@gmail.com santosh.nagarakatte@rutgers.edu shung-hsi.yu@suse.com srinivas.narayana@rutgers.edu

Patches (2)

Name Content [All]
[PATCH bpf-next 1/2] bpf/verifier: Use intersection checks when simulating to detect dead branches [Body]
[PATCH bpf-next 2/2] selftests/bpf: Test for empty intersection of tnum and u64 [Body]
Session 2026-04-15
ID (for dev) 7319870c-4394-4b6f-9eff-9dbb7a0f03bf
Status finished
Triaged OK [Log]
Execution Log [Link]
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]