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, (void *)&val); /* 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("expects pointer to ctx") 30 int global_func5(struct __sk_buff *skb) 31 { 32 return f1(skb) + f2(2, skb) + f3(3, skb); 33 } 34