Re: [Bug Report] bpf: incorrectly pruning runtime execution path

[Eduard Zingerman]

On Thu, 2023-12-14 at 16:06 -0800, Andrii Nakryiko wrote:
[...]
> If you agree with the analysis, we can start discussing what's the
> best way to fix this.

Ok, yeap, I agree with you. 
Backtracker marks both registers in 'if' statement if one of them is
tracked, but r8 is not marked at block entry and we miss r0.