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
7struct S {
8	int x;
9};
10
11__noinline int foo(const struct S *s)
12{
13	return bpf_get_prandom_u32() < s->x;
14}
15
16SEC("cgroup_skb/ingress")
17__failure __msg("invalid mem access 'mem_or_null'")
18int global_func12(struct __sk_buff *skb)
19{
20	const struct S s = {.x = skb->len };
21
22	foo(&s);
23
24	return 1;
25}
26