Re: [PATCH bpf] selftests: bpf: check map in map pruning

Hello:

This patch was applied to bpf/bpf.git (master) by Daniel Borkmann daniel@iogearbox.net:

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!