diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2026-09-04 01:33:25 -0700 |
|---|---|---|
| committer | Kumar Kartikeya Dwivedi <memxor@gmail.com> | 2026-09-04 12:58:05 +0200 |
| commit | 6b31560c6bc1a8a7a70792c7b3ca4c1ea322063b (patch) | |
| tree | af5c5d378e2ad3bc187ab0556cbdd51985d43450 /scripts/Makefile.thinlto | |
| parent | 6aed0134d3cda6382385a734ae0158eb7df6b142 (diff) | |
| download | linux-6b31560c6bc1a8a7a70792c7b3ca4c1ea322063b.tar.gz linux-6b31560c6bc1a8a7a70792c7b3ca4c1ea322063b.zip | |
selftests/bpf: No non-NULL inference from an imprecise zero register
Check that a register-form NULL check does not lift PTR_MAYBE_NULL on
a path where the compared register is non-zero. W/o the previous patch
the program is accepted.
Reported-by: Nicholas Carlini <npc@anthropic.com>
Suggested-by: Nicholas Carlini <npc@anthropic.com>
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/bpf/20260904083325.2083493-8-eddyz87@gmail.com
Signed-off-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>
Diffstat (limited to 'scripts/Makefile.thinlto')
0 files changed, 0 insertions, 0 deletions