]> git.baikalelectronics.ru Git - kernel.git/commit
bpf: verifier: mark patched-insn with sub-register zext flag
authorJiong Wang <jiong.wang@netronome.com>
Fri, 24 May 2019 22:25:13 +0000 (23:25 +0100)
committerAlexei Starovoitov <ast@kernel.org>
Sat, 25 May 2019 01:58:37 +0000 (18:58 -0700)
commit347283718ebf9b596ba58a207c0958c4dfa8144b
tree445b8ff9d0822ef5a84da6a62d76ed04c1583541
parentf424ab965f1b10f886cc6e8efbf4f6158246e0d4
bpf: verifier: mark patched-insn with sub-register zext flag

Patched insns do not go through generic verification, therefore doesn't has
zero extension information collected during insn walking.

We don't bother analyze them at the moment, for any sub-register def comes
from them, just conservatively mark it as needing zero extension.

Signed-off-by: Jiong Wang <jiong.wang@netronome.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
kernel/bpf/verifier.c