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	if (s)
14		return bpf_get_prandom_u32() < s->x;
15
16	return 0;
17}
18
19SEC("cgroup_skb/ingress")
20__failure __msg("Caller passes invalid args into func#1")
21int global_func13(struct __sk_buff *skb)
22{
23	const struct S *s = (const struct S *)(0xbedabeda);
24
25	return foo(s);
26}

 1// SPDX-License-Identifier: GPL-2.0-only
 2#include <stddef.h>
 3#include <linux/bpf.h>
 4#include <bpf/bpf_helpers.h>
 
 5
 6struct S {
 7	int x;
 8};
 9
10__noinline int foo(const struct S *s)
11{
12	if (s)
13		return bpf_get_prandom_u32() < s->x;
14
15	return 0;
16}
17
18SEC("cgroup_skb/ingress")
19int test_cls(struct __sk_buff *skb)
 
20{
21	const struct S *s = (const struct S *)(0xbedabeda);
22
23	return foo(s);
24}