diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c index 4d81be2d07390bc71f7d479fc19c4f7d5176879e..bcb42aaf1b3ae5ce4a3845a626c42854e236a3e9 100644 --- a/kernel/bpf/verifier.c +++ b/kernel/bpf/verifier.c @@ -6035,7 +6035,8 @@ static int fixup_bpf_calls(struct bpf_verifier_env *env) u32 off_reg; aux = &env->insn_aux_data[i + delta]; - if (!aux->alu_state) + if (!aux->alu_state || + aux->alu_state == BPF_ALU_NON_POINTER) continue; isneg = aux->alu_state & BPF_ALU_NEG_VALUE;