| // SPDX-License-Identifier: GPL-2.0-only | |
| #include <stddef.h> | |
| #include <linux/bpf.h> | |
| #include <bpf/bpf_helpers.h> | |
| #include "bpf_misc.h" | |
| __noinline int foo(unsigned int *v) | |
| { | |
| if (v) | |
| *v = bpf_get_prandom_u32(); | |
| return 0; | |
| } | |
| SEC("cgroup_skb/ingress") | |
| __failure __msg("At program exit the register R0 has value") | |
| int global_func15(struct __sk_buff *skb) | |
| { | |
| unsigned int v = 1; | |
| foo(&v); | |
| return v; | |
| } |