1 // SPDX-License-Identifier: GPL-2.0-only
2 /* Copyright (c) 2020 Facebook */
3 #include <stddef.h>
4 #include <linux/bpf.h>
5 #include <bpf/bpf_helpers.h>
6 #include "bpf_misc.h"
7
8 __attribute__ ((noinline))
9 int f1(struct __sk_buff *skb)
10 {
11 return skb->len;
12 }
13
14 int f3(int, struct __sk_buff *skb);
15
16 __attribute__ ((noinline))
17 int f2(int val, struct __sk_buff *skb)
18 {
19 return f1(skb) + f3(val, skb + 1); /* type mismatch */
20 }
21
22 __attribute__ ((noinline))
23 int f3(int val, struct __sk_buff *skb)
24 {
25 return skb->ifindex * val;
26 }
27
28 SEC("tc")
29 __failure __msg("modified ctx ptr R2")
30 int global_func6(struct __sk_buff *skb)
31 {
32 return f1(skb) + f2(2, skb) + f3(3, skb);
33 }
34
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.