diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2026-08-26 11:18:45 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2026-08-26 18:45:32 -0700 |
| commit | ce6dcd0aed185432d02cafc82b738318af257ccd (patch) | |
| tree | c2865fd5dcfd40b065bb3af011aa50c939ad56f7 /scripts/Makefile.thinlto | |
| parent | d3ef6c097ba078e1f8c7239d76a0ce8b61e75095 (diff) | |
| download | linux-ce6dcd0aed185432d02cafc82b738318af257ccd.tar.gz linux-ce6dcd0aed185432d02cafc82b738318af257ccd.zip | |
selftests/bpf: a demo for check_cond_jmp_op() non-null inference bug
A comparison between PTR_TO_MEM | MEM_RDONLY | PTR_UNTRUSTED and
PTR_TO_MAP_VALUE_OR_NULL should not infer that map pointer is not null.
A bug in check_cond_jmp_op() made such inference possible.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20260826-bug-029-bad-non-null-inference-v2-2-136789ace9e9@localhost
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'scripts/Makefile.thinlto')
0 files changed, 0 insertions, 0 deletions