bpf: verifier: mark patched-insn with sub-register zext flag

Browse source

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>

...

This commit is contained in:

Jiong Wang 2019-05-24 23:25:13 +01:00 • committed by Alexei Starovoitov

parent 5327ed3d44

commit b325fbca4b

1 changed files with 33 additions and 4 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

37

kernel/bpf/verifier.c

View file