Files
cubelinux-kernel/tools/testing/selftests/bpf/progs/tailcall_fail.c
T
Greg Kroah-Hartman 598cf27219 Linux 6.19.3
Link: https://lore.kernel.org/r/20260217200002.683975158@linuxfoundation.org
Tested-by: Florian Fainelli <florian.fainelli@broadcom.com>
Tested-by: Takeshi Ogasawara <takeshi.ogasawara@futuring-girl.com>
Tested-by: Peter Schneider <pschneider1968@googlemail.com>
Tested-by: Jon Hunter <jonathanh@nvidia.com>
Tested-by: Salvatore Bonaccorso <carnil@debian.org>
Tested-by: Brett A C Sheffield <bacs@librecast.net>
Tested-by: Mark Brown <broonie@kernel.org>
Tested-by: Luna Jernberg <droidbittin@gmail.com>
Tested-by: Ronald Warsow <rwarsow@gmx.de>
Tested-by: Justin M. Forbes <jforbes@fedoraproject.org>
Tested-by: Ron Economos <re@w6rz.net>
Tested-by: Miguel Ojeda <ojeda@kernel.org>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
2026-02-19 16:33:27 +01:00

65 lines
1.6 KiB
C

// SPDX-License-Identifier: GPL-2.0
/* Copyright (c) 2024 Meta Platforms, Inc. and affiliates. */
#include <vmlinux.h>
#include <bpf/bpf_tracing.h>
#include <bpf/bpf_helpers.h>
#include <bpf/bpf_core_read.h>
#include "bpf_misc.h"
#include "bpf_experimental.h"
extern void bpf_rcu_read_lock(void) __ksym;
extern void bpf_rcu_read_unlock(void) __ksym;
#define private(name) SEC(".bss." #name) __hidden __attribute__((aligned(8)))
private(A) struct bpf_spin_lock lock;
struct {
__uint(type, BPF_MAP_TYPE_PROG_ARRAY);
__uint(max_entries, 3);
__uint(key_size, sizeof(__u32));
__uint(value_size, sizeof(__u32));
} jmp_table SEC(".maps");
SEC("?tc")
__failure __msg("function calls are not allowed while holding a lock")
int reject_tail_call_spin_lock(struct __sk_buff *ctx)
{
bpf_spin_lock(&lock);
bpf_tail_call_static(ctx, &jmp_table, 0);
return 0;
}
SEC("?tc")
__failure __msg("tail_call cannot be used inside bpf_rcu_read_lock-ed region")
int reject_tail_call_rcu_lock(struct __sk_buff *ctx)
{
bpf_rcu_read_lock();
bpf_tail_call_static(ctx, &jmp_table, 0);
bpf_rcu_read_unlock();
return 0;
}
SEC("?tc")
__failure __msg("tail_call cannot be used inside bpf_preempt_disable-ed region")
int reject_tail_call_preempt_lock(struct __sk_buff *ctx)
{
bpf_guard_preempt();
bpf_tail_call_static(ctx, &jmp_table, 0);
return 0;
}
SEC("?tc")
__failure __msg("tail_call would lead to reference leak")
int reject_tail_call_ref(struct __sk_buff *ctx)
{
struct foo { int i; } *p;
p = bpf_obj_new(typeof(*p));
bpf_tail_call_static(ctx, &jmp_table, 0);
return 0;
}
char _license[] SEC("license") = "GPL";