diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2026-09-04 01:33:19 -0700 |
|---|---|---|
| committer | Kumar Kartikeya Dwivedi <memxor@gmail.com> | 2026-09-04 12:58:02 +0200 |
| commit | 6752b90ccfb378e311e428932facf37c8625abae (patch) | |
| tree | 3a0bee174e08b3b2f5bc3e46bd85d278b8c5a160 /scripts/Makefile.thinlto | |
| parent | 67b529f521a6676cdfc78b91b0217d7eaa84216b (diff) | |
| download | linux-6752b90ccfb378e311e428932facf37c8625abae.tar.gz linux-6752b90ccfb378e311e428932facf37c8625abae.zip | |
selftests/bpf: No non-NULL inference from unbounded offset pointers
Check that a comparison against a pointer whose offset is not bounded
from above does not make the verifier infer that a nullable pointer is
not NULL, and that a bounded offset still does. W/o the previous patch
the first test 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-2-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