[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <befb819f-abc4-c7a1-1f82-9559542f9138@linux.dev>
Date: Thu, 26 Jan 2023 23:58:24 -0800
From: Martin KaFai Lau <martin.lau@...ux.dev>
To: Joanne Koong <joannelkoong@...il.com>
Cc: daniel@...earbox.net, andrii@...nel.org, martin.lau@...nel.org,
ast@...nel.org, netdev@...r.kernel.org, memxor@...il.com,
kernel-team@...com, bpf <bpf@...r.kernel.org>
Subject: Re: [PATCH v8 bpf-next 3/5] bpf: Add skb dynptrs
On 1/26/23 3:34 PM, Joanne Koong wrote:
> +static enum bpf_dynptr_type dynptr_get_type(struct bpf_verifier_env *env,
> + struct bpf_reg_state *reg)
> +{
> + struct bpf_func_state *state = func(env, reg);
> + int spi = __get_spi(reg->off);
> +
> + if (spi < 0) {
> + verbose(env, "verifier internal error: invalid spi when querying dynptr type\n");
> + return BPF_DYNPTR_TYPE_INVALID;
> + }
> +
> + return state->stack[spi].spilled_ptr.dynptr.type;
> +}
CI fails:
https://github.com/kernel-patches/bpf/actions/runs/4020275998/jobs/6908210555
My local KASAN also reports the error.
Powered by blists - more mailing lists