mbox series

[bpf-next,0/2] fix a verifier failure with xor

Message ID 20200825064608.2017878-1-yhs@fb.com
Headers show
Series fix a verifier failure with xor | expand

Message

Yonghong Song Aug. 25, 2020, 6:46 a.m. UTC 
The bpf selftest test_progs/test_sk_assign failed with llvm11 and llvm12.
The reason is that the verifier did not handle xor operation and generate
very conservative register bound. Patch #1 tries to fix the verifier
issue and Patch #2 added additional tests in selftest test_verifier.

Yonghong Song (2):
  bpf: fix a verifier failure with xor
  selftests/bpf: add verifier tests for xor operation

 kernel/bpf/verifier.c                         |  66 ++++++++
 tools/testing/selftests/bpf/verifier/bounds.c | 146 ++++++++++++++++++
 2 files changed, 212 insertions(+)