1// SPDX-License-Identifier: GPL-2.0-only 2#include <vmlinux.h> 3#include <bpf/bpf_helpers.h> 4#include "bpf_misc.h" 5 6__noinline int foo(int *p) 7{ 8 barrier_var(p); 9 return p ? (*p = 42) : 0; 10} 11 12const volatile int i; 13 14SEC("tc") 15__failure __msg("Caller passes invalid args into func#1") 16int global_func17(struct __sk_buff *skb) 17{ 18 return foo((int *)&i); 19} 20