]> 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)
commit806be8004a7a49dd6a5ac16c94adce891a42a5ce
tree445b8ff9d0822ef5a84da6a62d76ed04c1583541
parenta30208ede390e5ad211afd3e958dc7af1d8bae50
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