diff options
| author | Yonghong Song <yhs@fb.com> | 2018-04-28 22:28:10 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2018-04-29 08:45:53 -0700 |
| commit | afbe1a5b79cd18f0ace9107e6b4cd7aa193e5e52 (patch) | |
| tree | 42800c7f2cf511669b95fc393d398e0c107eb016 /kernel/bpf/tnum.c | |
| parent | 849fa50662fbc8b476d652f8a4e6bdda17b37859 (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>
Diffstat (limited to 'kernel/bpf/tnum.c')
0 files changed, 0 insertions, 0 deletions