diff options
| author | Andrii Nakryiko <[email protected]> | 2023-12-02 09:56:57 -0800 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2023-12-02 11:36:50 -0800 |
| commit | 0acd03a5bd188b0c501d285d938439618bd855c4 (patch) | |
| tree | 2922aa43c9b81c4f7925db4abf022cd041f1dcc0 /tools/testing/selftests/bpf/progs/test_autoload.c | |
| parent | 5fad52bee30414270104525e3a0266327a6e9d11 (diff) | |
bpf: enforce precision of R0 on callback return
Given verifier checks actual value, r0 has to be precise, so we need to
propagate precision properly. r0 also has to be marked as read,
otherwise subsequent state comparisons will ignore such register as
unimportant and precision won't really help here.
Fixes: 69c087ba6225 ("bpf: Add bpf_for_each_map_elem() helper")
Acked-by: Eduard Zingerman <[email protected]>
Acked-by: Shung-Hsi Yu <[email protected]>
Signed-off-by: Andrii Nakryiko <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Alexei Starovoitov <[email protected]>
Diffstat (limited to 'tools/testing/selftests/bpf/progs/test_autoload.c')
0 files changed, 0 insertions, 0 deletions