diff options
| author | Paul Chaignon <paul.chaignon@gmail.com> | 2026-02-27 22:36:30 +0100 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2026-02-27 16:11:50 -0800 |
| commit | e6ad477d1bf8829973cddd9accbafa9d1a6cd15a (patch) | |
| tree | 7fd0eeb18eb7146315c451a03b94623e771dcc0f /tools/perf/lib/Documentation/tutorial/git@git.tavy.me:linux.git | |
| parent | efc11a667878a1d655ff034a93a539debbfedb12 (diff) | |
selftests/bpf: Test refinement of single-value tnum
This patch introduces selftests to cover the new bounds refinement
logic introduced in the previous patch. Without the previous patch,
the first two tests fail because of the invariant violation they
trigger. The last test fails because the R10 access is not detected as
dead code. In addition, all three tests fail because of R0 having a
non-constant value in the verifier logs.
In addition, the last two cases are covering the negative cases: when we
shouldn't refine the bounds because the u64 and tnum overlap in at least
two values.
Signed-off-by: Paul Chaignon <paul.chaignon@gmail.com>
Link: https://lore.kernel.org/r/90d880c8cf587b9f7dc715d8961cd1b8111d01a8.1772225741.git.paul.chaignon@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'tools/perf/lib/Documentation/tutorial/git@git.tavy.me:linux.git')
0 files changed, 0 insertions, 0 deletions