diff options
| author | Andrii Nakryiko <[email protected]> | 2023-03-02 15:50:08 -0800 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2023-03-04 11:14:32 -0800 |
| commit | d5271c5b1950b887def1663b75e2d710cc16535f (patch) | |
| tree | f780d35578a46d886d53fdd12359f6f43f582ec0 /rust/helpers.c | |
| parent | d0e1ac227945c6af616c003365c6feb986dc0839 (diff) | |
bpf: mark PTR_TO_MEM as non-null register type
PTR_TO_MEM register without PTR_MAYBE_NULL is indeed non-null. This is
important for BPF verifier to be able to prune guaranteed not to be
taken branches. This is always the case with open-coded iterators.
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 'rust/helpers.c')
0 files changed, 0 insertions, 0 deletions