Messages in this thread Patch in this message | | | From | xiakaixu1987@gmail ... | Subject | [PATCH] bpf: Fix unsigned 'datasec_id' compared with zero in check_pseudo_btf_id | Date | Tue, 10 Nov 2020 19:50:19 +0800 |
| |
From: Kaixu Xia <kaixuxia@tencent.com>
The unsigned variable datasec_id is assigned a return value from the call to check_pseudo_btf_id(), which may return negative error code.
Fixes coccicheck warning:
./kernel/bpf/verifier.c:9616:5-15: WARNING: Unsigned expression compared with zero: datasec_id > 0
Reported-by: Tosk Robot <tencent_os_robot@tencent.com> Signed-off-by: Kaixu Xia <kaixuxia@tencent.com> --- kernel/bpf/verifier.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c index 6200519582a6..e9d8d4309bb4 100644 --- a/kernel/bpf/verifier.c +++ b/kernel/bpf/verifier.c @@ -9572,7 +9572,7 @@ static int check_pseudo_btf_id(struct bpf_verifier_env *env, struct bpf_insn *insn, struct bpf_insn_aux_data *aux) { - u32 datasec_id, type, id = insn->imm; + s32 datasec_id, type, id = insn->imm; const struct btf_var_secinfo *vsi; const struct btf_type *datasec; const struct btf_type *t; -- 2.20.0
| |