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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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@xxxxxxxxxxxxx/
v2 -> v3: Make sure that the test fails in absence of the fix.

v1: https://lore.kernel.org/bpf/20210812111220.181824-1-iii@xxxxxxxxxxxxx/
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




[Index of Archives]     [Linux Samsung SoC]     [Linux Rockchip SoC]     [Linux Actions SoC]     [Linux for Synopsys ARC Processors]     [Linux NFS]     [Linux NILFS]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]


  Powered by Linux