Re: [PATCH bpf v1 2/2] selftests/bpf: Test pointer bpf_loop iteration count rejection

[Eduard Zingerman <eddyz87@gmail.com>]

On Sat, 2026-09-05 at 03:47 +0200, Kumar Kartikeya Dwivedi wrote:
> Add a verifier test that leaves the raw tracepoint context pointer in R1
> when calling bpf_loop(). This is the smallest trigger for the incorrect
> precision backtracking: it reuses an existing callback and needs no maps or
> userspace setup.
> 
> Expect an ordinary scalar-type rejection. Without the verifier fix, the
> test instead reaches precision backtracking and reports an internal
> "backtracking misuse" error.
> 
> Signed-off-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>
> ---

Acked-by: Eduard Zingerman <eddyz87@gmail.com>

...

> @@ -168,6 +168,23 @@ static int iter_limit_cb(__u32 idx, struct num_context *ctx)
>  	return 0;
>  }
>  
> +SEC("?raw_tp")
> +__failure __msg("R1 type=ctx expected=scalar")

I switched to matching new and shiny error messages (:

...