1 // SPDX-License-Identifier: GPL-2.0-only
2 #include <stddef.h>
3 #include <linux/bpf.h>
4 #include <bpf/bpf_helpers.h>
5 #include "bpf_misc.h"
6 
7 __noinline int foo(unsigned int *v)
8 {
9 	if (v)
10 		*v = bpf_get_prandom_u32();
11 
12 	return 0;
13 }
14 
15 SEC("cgroup_skb/ingress")
16 __failure __msg("At program exit the register R0 has value")
17 int global_func15(struct __sk_buff *skb)
18 {
19 	unsigned int v = 1;
20 
21 	foo(&v);
22 
23 	return v;
24 }
25