mbox series

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

Message ID 20210812151811.184086-1-iii@linux.ibm.com (mailing list archive)
Headers show
Series selftests: bpf: test that dead ldx_w insns are accepted | expand

Message

Ilya Leoshkevich Aug. 12, 2021, 3:18 p.m. UTC 
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(+)

Comments

patchwork-bot+netdevbpf@kernel.org Aug. 13, 2021, 3:50 p.m. UTC | #1 
Hello:

This series was applied to bpf/bpf.git (refs/heads/master):

On Thu, 12 Aug 2021 17:18:09 +0200 you wrote:
> 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.
> 
> [...]

Here is the summary with links:
  - [bpf,v3,1/2] bpf: clear zext_dst of dead insns
    https://git.kernel.org/bpf/bpf/c/45c709f8c71b
  - [bpf,v3,2/2] selftests: bpf: test that dead ldx_w insns are accepted
    https://git.kernel.org/bpf/bpf/c/3776f3517ed9

You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html