tree 0a67a1a9769f3c704cb6024960fd09a18a5a4616
parent 7fa2fdf9f19e3b4bc71051c115271741369b5e7f
author John Fastabend <john.fastabend@gmail.com> 1498954410 +0200
committer Greg Kroah-Hartman <gregkh@linuxfoundation.org> 1504081303 +0200

bpf, verifier: add additional patterns to evaluate_reg_imm_alu


[ Upstream commit 43188702b3d98d2792969a3377a30957f05695e6 ]

Currently the verifier does not track imm across alu operations when
the source register is of unknown type. This adds additional pattern
matching to catch this and track imm. We've seen LLVM generating this
pattern while working on cilium.

Signed-off-by: John Fastabend <john.fastabend@gmail.com>
Acked-by: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: David S. Miller <davem@davemloft.net>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>