18b08807dSDmitrii Banshchikov // SPDX-License-Identifier: GPL-2.0-only
28b08807dSDmitrii Banshchikov #include <stddef.h>
38b08807dSDmitrii Banshchikov #include <linux/bpf.h>
48b08807dSDmitrii Banshchikov #include <bpf/bpf_helpers.h>
5*95ebb376SAndrii Nakryiko #include "bpf_misc.h"
68b08807dSDmitrii Banshchikov 
foo(unsigned int * v)78b08807dSDmitrii Banshchikov __noinline int foo(unsigned int *v)
88b08807dSDmitrii Banshchikov {
98b08807dSDmitrii Banshchikov 	if (v)
108b08807dSDmitrii Banshchikov 		*v = bpf_get_prandom_u32();
118b08807dSDmitrii Banshchikov 
128b08807dSDmitrii Banshchikov 	return 0;
138b08807dSDmitrii Banshchikov }
148b08807dSDmitrii Banshchikov 
158b08807dSDmitrii Banshchikov SEC("cgroup_skb/ingress")
16*95ebb376SAndrii Nakryiko __failure __msg("At program exit the register R0 has value")
global_func15(struct __sk_buff * skb)17*95ebb376SAndrii Nakryiko int global_func15(struct __sk_buff *skb)
188b08807dSDmitrii Banshchikov {
198b08807dSDmitrii Banshchikov 	unsigned int v = 1;
208b08807dSDmitrii Banshchikov 
218b08807dSDmitrii Banshchikov 	foo(&v);
228b08807dSDmitrii Banshchikov 
238b08807dSDmitrii Banshchikov 	return v;
248b08807dSDmitrii Banshchikov }
25