]> git.baikalelectronics.ru Git - kernel.git/commit
projects / kernel.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d055298) | 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)
commit1d78e247a5406b19144b955884a3c99167a465c1
tree42800c7f2cf511669b95fc393d398e0c107eb016tree | snapshot
parentd055298bb70d943eec8b0dacb27755899ef2a351commit | 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
Linux Kernel Source Tree.