diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c index 2b8fbdc1a1134..e215413c79a52 100644 --- a/kernel/bpf/verifier.c +++ b/kernel/bpf/verifier.c @@ -12854,6 +12854,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)