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 if (s) 148b08807dSDmitrii Banshchikov return bpf_get_prandom_u32() < s->x; 158b08807dSDmitrii Banshchikov 168b08807dSDmitrii Banshchikov return 0; 178b08807dSDmitrii Banshchikov } 188b08807dSDmitrii Banshchikov 198b08807dSDmitrii Banshchikov SEC("cgroup_skb/ingress") 20*95ebb376SAndrii Nakryiko __failure __msg("Caller passes invalid args into func#1") global_func13(struct __sk_buff * skb)21*95ebb376SAndrii Nakryikoint global_func13(struct __sk_buff *skb) 228b08807dSDmitrii Banshchikov { 238b08807dSDmitrii Banshchikov const struct S *s = (const struct S *)(0xbedabeda); 248b08807dSDmitrii Banshchikov 258b08807dSDmitrii Banshchikov return foo(s); 268b08807dSDmitrii Banshchikov } 27