Hello:
This patch was applied to bpf/bpf.git (master)
by Daniel Borkmann [off-list ref]:
On Thu, 11 Nov 2021 16:14:52 +0000 you wrote:
Ensure that two registers with a map_value loaded from a nested
map are considered equivalent for the purpose of state pruning
and don't cause the verifier to revisit a pruning point.
This uses a rather crude match on the number of insns visited by
the verifier, which might change in the future. I've therefore
tried to keep the code as "unpruneable" as possible by having
the code paths only converge on the second to last instruction.
[...]
Here is the summary with links:
- [bpf] selftests: bpf: check map in map pruning
https://git.kernel.org/bpf/bpf/c/a583309d968b
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html