| // SPDX-License-Identifier: GPL-2.0-only | |
| #include <vmlinux.h> | |
| #include <bpf/bpf_helpers.h> | |
| #include "bpf_misc.h" | |
| __noinline int foo(int *p) | |
| { | |
| barrier_var(p); | |
| return p ? (*p = 42) : 0; | |
| } | |
| const volatile int i; | |
| SEC("tc") | |
| __failure __msg("Caller passes invalid args into func#1") | |
| int global_func17(struct __sk_buff *skb) | |
| { | |
| return foo((int *)&i); | |
| } |