summaryrefslogtreecommitdiff
path: root/include/linux
diff options
context:
space:
mode:
authorKumar Kartikeya Dwivedi <memxor@gmail.com>2026-09-24 18:57:12 +0200
committerAlexei Starovoitov <ast@kernel.org>2026-09-24 18:04:46 +0000
commit10e9fa2b0b20e96ed68a1c210461bf1b1c69244c (patch)
tree8b13d8bab88a40805f4e7646f9e22f0c6cb11dd9 /include/linux
parent76ab55b452440e1620ad837d4d23fe73aea40f2f (diff)
selftests/bpf: Check liveness merge of masks with different widths
The liveness masks of a function instance are as wide as the deepest half-slot the instance was seen to access. When the same instance is analyzed again through another call site, the new pass may have settled on a different width, and merge_instances() has to widen the original before combining the two. Add a test where the first pass of a callee reads through a pointer 248 bytes into the main frame and the second one through a pointer of unknown offset, which reads the whole frame, and check that the merged result keeps the whole-frame read. The precise read stays within the first mask word on 64-bit, so the whole-frame pass is wider under every stack budget and the merge has to widen the masks; a deeper read would need two words already, which is all a 512-byte whole-frame read needs on 64-bit, and the widening would go untested there. Signed-off-by: Kumar Kartikeya Dwivedi <memxor@gmail.com> Signed-off-by: Alexei Starovoitov <ast@kernel.org> Link: https://patch.msgid.link/20260924165740.2146806-12-memxor@gmail.com
Diffstat (limited to 'include/linux')
0 files changed, 0 insertions, 0 deletions