OSDN Git Service

(root) / android-x86 / kernel.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 849fa50) | patch
bpf: remove never-hit branches in verifier adjust_scalar_min_max_vals
authorYonghong Song <yhs@fb.com>
Sun, 29 Apr 2018 05:28:10 +0000 (22:28 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Sun, 29 Apr 2018 15:45:53 +0000 (08:45 -0700)
commitafbe1a5b79cd18f0ace9107e6b4cd7aa193e5e52
tree42800c7f2cf511669b95fc393d398e0c107eb016tree | snapshot
parent849fa50662fbc8b476d652f8a4e6bdda17b37859commit | diff
bpf: remove never-hit branches in verifier adjust_scalar_min_max_vals

In verifier function adjust_scalar_min_max_vals,
when src_known is false and the opcode is BPF_LSH/BPF_RSH,
early return will happen in the function. So remove
the branch in handling BPF_LSH/BPF_RSH when src_known is false.

Acked-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Yonghong Song <yhs@fb.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
kernel/bpf/verifier.c diff | blob | history
kernel
About OSDN
Find Software
Develop Software
Help