bpf: factor out reg and stack slot propagation into "propagate_liveness_reg"
authorJiong Wang <jiong.wang@netronome.com>
Fri, 12 Apr 2019 21:59:36 +0000 (22:59 +0100)
committerAlexei Starovoitov <ast@kernel.org>
Sat, 13 Apr 2019 00:06:33 +0000 (17:06 -0700)
commit55e7f3b5ac94a8c9f2e35961a45e9aa526a9e41d
treee9cd98b8ca3044e8783ac98db6525b651e4a5192
parent3f8cafa4131f67d47c8de326c7dcd561cc65fb38
bpf: factor out reg and stack slot propagation into "propagate_liveness_reg"

After code refactor in previous patches, the propagation logic inside the
for loop in "propagate_liveness" becomes clear that they are good enough to
be factored out into a common function "propagate_liveness_reg".

Reviewed-by: Jakub Kicinski <jakub.kicinski@netronome.com>
Signed-off-by: Jiong Wang <jiong.wang@netronome.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
kernel/bpf/verifier.c