diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c index 787d384c3b53d899a3912138369dd8e8c01dfadd..1b7e855962b858f29b0244b71f482b3a4f22d9e4 100644 --- a/kernel/bpf/verifier.c +++ b/kernel/bpf/verifier.c @@ -6090,6 +6090,10 @@ static int adjust_ptr_min_max_vals(struct bpf_verifier_env *env, } switch (base_type(ptr_reg->type)) { + case PTR_TO_FLOW_KEYS: + if (known) + break; + fallthrough; case CONST_PTR_TO_MAP: /* smin_val represents the known value */ if (known && smin_val == 0 && opcode == BPF_ADD)