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 s ? bpf_get_prandom_u32() < s->x : 0;
14}
15
16SEC("cgroup_skb/ingress")
17__failure __msg("Caller passes invalid args into func#1")
18int global_func11(struct __sk_buff *skb)
19{
20	return foo((const void *)skb);
21}