Hello:
This patch was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Mon, 24 Apr 2023 16:51:28 -0700 you wrote:
> iter_pass_iter_ptr_to_subprog subtest is relying on actual array size
> being passed as subprog parameter. This combined with recent fixes to
> precision tracking in conditional jumps ([0]) is now causing verifier to
> backtrack all the way to the point where sum() and fill() subprogs are
> called, at which point precision backtrack bails out and forces all the
> states to have precise SCALAR registers. This in turn causes each
> possible value of i within fill() and sum() subprogs to cause
> a different non-equivalent state, preventing iterator code to converge.
>
> [...]
Here is the summary with links:
- [bpf-next] selftests/bpf: avoid mark_all_scalars_precise() trigger in one of iter tests
https://git.kernel.org/bpf/bpf-next/c/be7dbd275dc6
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
