[PATCH 4.10 110/129] bpf: enhance verifier to understand stack pointer arithmetic

4.10-stable review patch. If anyone has any objections, please let me know. -- From: Yonghong Song [ Upstream commit 332270fdc8b6fba07d059a9ad44df9e1a2ad4529 ] llvm 4.0 and above generates the code like below: 440: (b7) r1 = 15 441: (05) goto pc+73 515:

[PATCH 4.10 110/129] bpf: enhance verifier to understand stack pointer arithmetic

4.10-stable review patch. If anyone has any objections, please let me know. -- From: Yonghong Song [ Upstream commit 332270fdc8b6fba07d059a9ad44df9e1a2ad4529 ] llvm 4.0 and above generates the code like below: 440: (b7) r1 = 15 441: (05) goto pc+73 515: (79) r6 = *(u64