Hello:
This series was applied to bpf/bpf-next.git (refs/heads/master):
On Tue, 10 Nov 2020 19:12:10 -0800 you wrote:
> From: Alexei Starovoitov
>
> v1->v2:
> - removed set-but-unused variable.
> - added Jiri's Tested-by.
>
> In some cases LLVM uses the knowledge that branch is taken to optimz
From: Alexei Starovoitov
v1->v2:
- removed set-but-unused variable.
- added Jiri's Tested-by.
In some cases LLVM uses the knowledge that branch is taken to optimze the code
which causes the verifier to reject valid programs.
Teach the verifier to recognize that
r1 = skb->data;
r1 += 10;
r2 = skb
