[PATCH v2 0/3] bpf: Track MAP pointer alignment

[PATCH v2 0/3] bpf: Track MAP pointer alignment

[David Miller]

This patch series updates the BPF verifier to properly track MAP
access alignment, just as we already do for packet pointers.

The two main elements of the implementation are putting the register
offset into a shared rather than reg type specific area of the
verifier register tracking strcutre, and also eliding packet pointer
specific checks when managing MAP pointer alignment.

More details of the implementation are in the commit message for patch
#2.

Patch #3 removes alignment restrictions from various test_verifier.c
tests which are no longer necessary with this MAP alignment
infrastructure in place.  Further improvements are possible, but
I didn't want to be overly ambitious here.

In the future we can add some MAP tests to test_align.c as well.

changes since v1:
 - Enforce offset limits just like for packet pointers
 - Handle "CONST_IMM += MAP_VALUE_ADJ"
 - Document effects on state pruning in commit message of patch #2

Signed-off-by: David S. Miller <davem@davemloft.net>