diff options
| author | Andrii Nakryiko <[email protected]> | 2019-07-08 20:32:44 -0700 |
|---|---|---|
| committer | Daniel Borkmann <[email protected]> | 2019-07-12 14:48:52 +0200 |
| commit | b3b50f05dc501cc2cd90349a7bbfd932af0ceb31 (patch) | |
| tree | 2c74195e178483c0d55ee60b1544073e7edf1d9c /net/lapb/lapb_timer.c | |
| parent | 327835fb1e838c7098731899ec76aba912edddf1 (diff) | |
bpf: fix precision bit propagation for BPF_ST instructions
When backtracking instructions to propagate precision bit for registers
and stack slots, one class of instructions (BPF_ST) weren't handled
causing extra stack slots to be propagated into parent state. Parent
state might not have that much stack allocated, though, which causes
warning on invalid stack slot usage.
This patch adds handling of BPF_ST instructions:
BPF_MEM | <size> | BPF_ST: *(size *) (dst_reg + off) = imm32
Reported-by: [email protected]
Fixes: b5dc0163d8fd ("bpf: precise scalar_value tracking")
Cc: Alexei Starovoitov <[email protected]>
Signed-off-by: Andrii Nakryiko <[email protected]>
Signed-off-by: Daniel Borkmann <[email protected]>
Diffstat (limited to 'net/lapb/lapb_timer.c')
0 files changed, 0 insertions, 0 deletions