Skip to content

selftests: bpf: test that dead ldx_w insns are accepted

Ilya Leoshkevich bpf 2 versions Applied

Status from this message: This series was applied to bpf/bpf.git (refs/heads/master):

Get series with b4
b4 am [email protected]

Versions newest first · linked by author and title

  1. v3 Latest2 patches 0 repliesApplied 2/2
  2. v12 patches 1 replySuperseded

Patches in v3 All 2 applied

#Subject and filesSizeRepliesApplied
1/2bpf: clear zext_dst of dead insnskernel/bpf/verifier.c+1 -00 repliesApplied
2/2selftests: bpf: test that dead ldx_w insns are acceptedtools/testing/selftests/bpf/verifier/dead_code.c+12 -00 repliesApplied

Reviews trailers per patch

No Reviewed-by, Acked-by or Tested-by trailers for v3 yet.

Read the v3 thread

Cover letter [PATCH bpf v3 0/2] selftests: bpf: test that dead ldx_w insns are accepted

Fix the "verifier bug. zext_dst is set, but no reg is defined" failure in the "access skb fields ok" test on s390.

Patch 1 is the fix, patch 2 adds a test.

v2: https://lore.kernel.org/bpf/[email protected]/
v2 -> v3: Make sure that the test fails in absence of the fix.

v1: https://lore.kernel.org/bpf/[email protected]/
v1 -> v2: Rebase to bpf branch, add Fixes:, add a test (Daniel).

Ilya Leoshkevich (2):
bpf: clear zext_dst of dead insns
selftests: bpf: test that dead ldx_w insns are accepted

 kernel/bpf/verifier.c                            |  1 +
 tools/testing/selftests/bpf/verifier/dead_code.c | 12 ++++++++++++
 2 files changed, 13 insertions(+)
Signature · 1 line
2.31.1

Read the cover letter in its thread