diff options
| author |   Andrii Nakryiko <andriin@fb.com> | 2019-10-09 13:14:58 -0700 |
|---|---|---|
| committer |   Daniel Borkmann <daniel@iogearbox.net> | 2019-10-11 01:49:15 +0200 |
| commit | 666b2c10ee9d51f14d04c416a14b1cb6fd0846e4 (patch) | |
| tree | 59d859c0324f8da7eea026033a3ccd8ffec63b05 /tools/perf/scripts/python/export-to-sqlite.py | |
| parent | bpf: Track contents of read-only maps as scalars (diff) | |
| download | linux-dev-666b2c10ee9d51f14d04c416a14b1cb6fd0846e4.tar.xz linux-dev-666b2c10ee9d51f14d04c416a14b1cb6fd0846e4.zip | |
selftests/bpf: Add read-only map values propagation tests
Add tests checking that verifier does proper constant propagation for
read-only maps. If constant propagation didn't work, skipp_loop and
part_loop BPF programs would be rejected due to BPF verifier otherwise
not being able to prove they ever complete. With constant propagation,
though, they are succesfully validated as properly terminating loops.
Signed-off-by: Andrii Nakryiko <andriin@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Link: https://lore.kernel.org/bpf/20191009201458.2679171-3-andriin@fb.com
Diffstat (limited to 'tools/perf/scripts/python/export-to-sqlite.py')
0 files changed, 0 insertions, 0 deletions