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]> ...
