diff options
| author | Daniel Borkmann <daniel@iogearbox.net> | 2017-05-25 01:05:06 +0200 |
|---|---|---|
| committer | David S. Miller <davem@davemloft.net> | 2017-05-25 19:44:27 +0200 |
| commit | a9789ef9afcb4fb0193f8dd94f2665ba3ad71e79 (patch) | |
| tree | f2709d8120df7b4368ca173096b7260625965021 /Documentation/cachetlb.txt | |
| parent | bpf: fix incorrect pruning decision when alignment must be tracked (diff) | |
| download | linux-a9789ef9afcb4fb0193f8dd94f2665ba3ad71e79.tar.xz linux-a9789ef9afcb4fb0193f8dd94f2665ba3ad71e79.zip | |
bpf: properly reset caller saved regs after helper call and ld_abs/ind
Currently, after performing helper calls, we clear all caller saved
registers, that is r0 - r5 and fill r0 depending on struct bpf_func_proto
specification. The way we reset these regs can affect pruning decisions
in later paths, since we only reset register's imm to 0 and type to
NOT_INIT. However, we leave out clearing of other variables such as id,
min_value, max_value, etc, which can later on lead to pruning mismatches
due to stale data.
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: David S. Miller <davem@davemloft.net>
Diffstat (limited to 'Documentation/cachetlb.txt')
0 files changed, 0 insertions, 0 deletions