]> git.baikalelectronics.ru Git - kernel.git/commit
bpf: Handle multiple variable additions into packet pointers in verifier.
authorDavid S. Miller <davem@davemloft.net>
Fri, 12 May 2017 02:30:02 +0000 (19:30 -0700)
committerDavid S. Miller <davem@davemloft.net>
Fri, 12 May 2017 02:48:58 +0000 (19:48 -0700)
commit50edb232c1346138c3eaa43a4f41ac29991a33c8
tree61befd17c5dbb8c91c1e5593a56f82b97da752c3
parent705530a906bf4541d4e286355fb6f5ab43d6672e
bpf: Handle multiple variable additions into packet pointers in verifier.

We must accumulate into reg->aux_off rather than use a plain assignment.

Add a test for this situation to test_align.

Reported-by: Alexei Starovoitov <ast@fb.com>
Signed-off-by: David S. Miller <davem@davemloft.net>
kernel/bpf/verifier.c
tools/testing/selftests/bpf/test_align.c