diff options
author | Jakub Kicinski <jakub.kicinski@netronome.com> | 2018-12-19 22:13:04 -0800 |
---|---|---|
committer | Daniel Borkmann <daniel@iogearbox.net> | 2018-12-20 17:28:28 +0100 |
commit | 960ea056561a08e2b837b2f02d22c53226414a84 (patch) | |
tree | 3359d4a96bb494e1a92c16f0ec44f86cc796a257 /tools/testing | |
parent | selftests: bpf: add trivial JSET tests (diff) | |
download | wireguard-linux-960ea056561a08e2b837b2f02d22c53226414a84.tar.xz wireguard-linux-960ea056561a08e2b837b2f02d22c53226414a84.zip |
bpf: verifier: teach the verifier to reason about the BPF_JSET instruction
Some JITs (nfp) try to optimize code on their own. It could make
sense in case of BPF_JSET instruction which is currently not interpreted
by the verifier, meaning for instance that dead could would not be
detected if it was under BPF_JSET branch.
Teach the verifier basics of BPF_JSET, JIT optimizations will be
removed shortly.
Signed-off-by: Jakub Kicinski <jakub.kicinski@netronome.com>
Reviewed-by: Jiong Wang <jiong.wang@netronome.com>
Acked-by: Edward Cree <ecree@solarflare.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Diffstat (limited to 'tools/testing')
0 files changed, 0 insertions, 0 deletions