selftests/bpf: Add regression test for pruning fix
authorKumar Kartikeya Dwivedi <memxor@gmail.com>
Tue, 23 Aug 2022 18:55:00 +0000 (20:55 +0200)
committerAlexei Starovoitov <ast@kernel.org>
Thu, 25 Aug 2022 19:07:45 +0000 (12:07 -0700)
commit1800b2ac96d8bc4ccdddc2ea9e83ecaffd54d3f2
tree4378792c74ba8be5089a033d1891196f388c887d
parent2fc31465c5373b5ca4edf2e5238558cb62902311
selftests/bpf: Add regression test for pruning fix

Add a test to ensure we do mark_chain_precision for the argument type
ARG_CONST_ALLOC_SIZE_OR_ZERO. For other argument types, this was already
done, but propagation for missing for this case. Without the fix, this
test case loads successfully.

Signed-off-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>
Link: https://lore.kernel.org/r/20220823185500.467-1-memxor@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/verifier/precise.c