From: Alexei Starovoitov <alexei.starovoitov@gmail.com>Date: Fri, 4 Dec 2015 11:10:15 -0800> just don't generate random bpf programs with such shifts.Agreed, it is exactly the same as if the compiler emitted real cpushift instructions with undefined behavior.The creator of the BPF code in question is what should be fixed.