bpf.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* [PATCH bpf v3 0/2] selftests: bpf: test that dead ldx_w insns are accepted
@ 2021-08-12 15:18 Ilya Leoshkevich
  2021-08-12 15:18 ` [PATCH bpf v3 1/2] bpf: clear zext_dst of dead insns Ilya Leoshkevich
                   ` (2 more replies)
  0 siblings, 3 replies; 4+ messages in thread
From: Ilya Leoshkevich @ 2021-08-12 15:18 UTC (permalink / raw)
  To: Alexei Starovoitov, Daniel Borkmann
  Cc: bpf, Heiko Carstens, Vasily Gorbik, Ilya Leoshkevich

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/20210812140518.183178-1-iii@linux.ibm.com/
v2 -> v3: Make sure that the test fails in absence of the fix.

v1: https://lore.kernel.org/bpf/20210812111220.181824-1-iii@linux.ibm.com/
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(+)

-- 
2.31.1


^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2021-08-13 15:50 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-08-12 15:18 [PATCH bpf v3 0/2] selftests: bpf: test that dead ldx_w insns are accepted Ilya Leoshkevich
2021-08-12 15:18 ` [PATCH bpf v3 1/2] bpf: clear zext_dst of dead insns Ilya Leoshkevich
2021-08-12 15:18 ` [PATCH bpf v3 2/2] selftests: bpf: test that dead ldx_w insns are accepted Ilya Leoshkevich
2021-08-13 15:50 ` [PATCH bpf v3 0/2] " patchwork-bot+netdevbpf

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).