kernel/bpf/verifier.c in the Linux kernel through 4.14.8 allows local users to cause a denial of service (memory corruption) or possibly have unspecified other impact by leveraging incorrect BPF_RSH signed bounds calculations.
https://github.com/torvalds/linux/commit/4374f256ce8182019353c0c639bb8d0695b4c941