Re: [PATCH bpf-next 1/2] bpf: Compare iterator types during state pruning
Eduard Zingerman <[email protected]>
| Newsgroups | org.kernel.vger.linux-kselftest,org.kernel.vger.bpf,org.kernel.vger.linux-kernel |
|---|---|
| Message-ID | <[email protected]> |
On Thu, 2026-08-06 at 17:43 -0700, Ning Ding wrote:
> An iterator stack slot can be MEM_RCU or PTR_UNTRUSTED. These states
> must not be equal, or the verifier can prune an unsafe path.
>
> Compare the pointer type for STACK_ITER slots.
>
> Fixes: dfab99df147b ("bpf: teach the verifier to enforce css_iter and task_iter in RCU CS")
> Signed-off-by: Ning Ding <[email protected]>
> ---
Acked-by: Eduard Zingerman <[email protected]>
...