1 // SPDX-License-Identifier: GPL-2.0-only
2 #include <vmlinux.h>
3 #include <bpf/bpf_helpers.h>
4 #include "bpf_misc.h"
5
6 __noinline int foo(int *p)
7 {
8 barrier_var(p);
9 return p ? (*p = 42) : 0;
10 }
11
12 const volatile int i;
13
14 SEC("tc")
15 __failure __msg("Caller passes invalid args into func#1")
16 int global_func17(struct __sk_buff *skb)
17 {
18 return foo((int *)&i);
19 }
20
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.