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
9__noinline int foo(const struct S *s)
10{
11	if (s)
12		return bpf_get_prandom_u32() < *(const int *) s;
13
14	return 0;
15}
16
17SEC("cgroup_skb/ingress")
18__failure __msg("reference type('FWD S') size cannot be determined")
19int global_func14(struct __sk_buff *skb)
20{
21
22	return foo(NULL);
23}
24