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. Signed-off-by: David S. Miller <da...@davemloft.net>
