diff --git a/kernel/bpf/verifier.c b/kernel/bpf/verifier.c index 096fdac701654f7e23a9766ba47115debb0ef7b1..30c6eebce14617bf51d85907ccd0e61e5be2e174 100644 --- a/kernel/bpf/verifier.c +++ b/kernel/bpf/verifier.c @@ -6066,6 +6066,9 @@ static int check_func_arg(struct bpf_verifier_env *env, u32 arg, return -EACCES; } meta->mem_size = reg->var_off.value; + err = mark_chain_precision(env, regno); + if (err) + return err; break; case ARG_PTR_TO_INT: case ARG_PTR_TO_LONG: