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 
78b08807dSDmitrii Banshchikov struct S {
88b08807dSDmitrii Banshchikov 	int x;
98b08807dSDmitrii Banshchikov };
108b08807dSDmitrii Banshchikov 
foo(const struct S * s)118b08807dSDmitrii Banshchikov __noinline int foo(const struct S *s)
128b08807dSDmitrii Banshchikov {
138b08807dSDmitrii Banshchikov 	return bpf_get_prandom_u32() < s->x;
148b08807dSDmitrii Banshchikov }
158b08807dSDmitrii Banshchikov 
168b08807dSDmitrii Banshchikov SEC("cgroup_skb/ingress")
17*95ebb376SAndrii Nakryiko __failure __msg("invalid mem access 'mem_or_null'")
global_func12(struct __sk_buff * skb)18*95ebb376SAndrii Nakryiko int global_func12(struct __sk_buff *skb)
198b08807dSDmitrii Banshchikov {
208b08807dSDmitrii Banshchikov 	const struct S s = {.x = skb->len };
218b08807dSDmitrii Banshchikov 
228b08807dSDmitrii Banshchikov 	return foo(&s);
238b08807dSDmitrii Banshchikov }
24