Hello:
This patch was applied to bpf/bpf.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Mon, 18 Sep 2023 14:01:10 -0700 you wrote:
> In mark_chain_precision() logic, when we reach the entry to a global
> func, it is expected that R1-R5 might be still requested to be marked
> precise. This would correspond to some integer input arguments being
> tracked as precise. This is all expected and handled as a special case.
>
> What's not expected is that we'll leave backtrack_state structure with
> some register bits set. This is because for subsequent precision
> propagations backtrack_state is reused without clearing masks, as all
> code paths are carefully written in a way to leave empty backtrack_state
> with zeroed out masks, for speed.
>
> [...]
Here is the summary with links:
- [bpf] bpf: unconditionally reset backtrack_state masks on global func exit
https://git.kernel.org/bpf/bpf/c/81335f90e8a8
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
