Re: [PATCH bpf-next 1/2] bpf: Compare iterator types during state pruning

[Eduard Zingerman]

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 <dingning04@xxxxxxxxx>
> ---

Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx>

...