diff options
| author | Daniel Borkmann <daniel@iogearbox.net> | 2018-10-31 19:05:53 -0400 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2018-10-31 19:53:17 -0400 |
| commit | 4d31f30148cea6e97e42616231eed55295117fe7 (patch) | |
| tree | 75b922a4d276ff5c53fe51680af54113f7b4f48e /scripts/gcc-plugins/structleak_plugin.c | |
| parent | 0962590e553331db2cc0aef2dc35c57f6300dbbe (diff) | |
bpf: don't set id on after map lookup with ptr_to_map_val return
In the verifier there is no such semantics where registers with
PTR_TO_MAP_VALUE type have an id assigned to them. This is only
used in PTR_TO_MAP_VALUE_OR_NULL and later on nullified once the
test against NULL has been pattern matched and type transformed
into PTR_TO_MAP_VALUE.
Fixes: 3e6a4b3e0289 ("bpf/verifier: introduce BPF_PTR_TO_MAP_VALUE")
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Cc: Roman Gushchin <guro@fb.com>
Acked-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'scripts/gcc-plugins/structleak_plugin.c')
0 files changed, 0 insertions, 0 deletions