tree 3359d4a96bb494e1a92c16f0ec44f86cc796a257
parent 5a8d5209ac0228c9cf8f335dfdfffa71c54b3201
author Jakub Kicinski <jakub.kicinski@netronome.com> 1545286384 -0800
committer Daniel Borkmann <daniel@iogearbox.net> 1545323308 +0100

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>