diff options
| author | Alexei Starovoitov <ast@kernel.org> | 2020-09-17 19:09:18 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2020-09-17 19:56:07 -0700 |
| commit | 09b28d76eac48e922dc293da1aa2b2b85c32aeee (patch) | |
| tree | 2be3e375d9a88923b63ac9c3fda927d25073483a /tools/testing/selftests/bpf/prog_tests/sk_assign.c | |
| parent | e411901c0b775a3ae7f3e2505f8d2d90ac696178 (diff) | |
| download | linux-09b28d76eac48e922dc293da1aa2b2b85c32aeee.tar.gz linux-09b28d76eac48e922dc293da1aa2b2b85c32aeee.tar.bz2 linux-09b28d76eac48e922dc293da1aa2b2b85c32aeee.zip | |
bpf: Add abnormal return checks.
LD_[ABS|IND] instructions may return from the function early. bpf_tail_call
pseudo instruction is either fallthrough or return. Allow them in the
subprograms only when subprograms are BTF annotated and have scalar return
types. Allow ld_abs and tail_call in the main program even if it calls into
subprograms. In the past that was not ok to do for ld_abs, since it was JITed
with special exit sequence. Since bpf_gen_ld_abs() was introduced the ld_abs
looks like normal exit insn from JIT point of view, so it's safe to allow them
in the main program.
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'tools/testing/selftests/bpf/prog_tests/sk_assign.c')
0 files changed, 0 insertions, 0 deletions