]> asedeno.scripts.mit.edu Git - linux.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)
commitb325fbca4b136886885e51f4d36e2adab76596e3
tree445b8ff9d0822ef5a84da6a62d76ed04c1583541
parent5327ed3d44b754f5cc51d5b3f18e442eaebacff5
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