25 lines
403 B
C
25 lines
403 B
C
// SPDX-License-Identifier: GPL-2.0-only
|
|
#include <stddef.h>
|
|
#include <linux/bpf.h>
|
|
#include <bpf/bpf_helpers.h>
|
|
#include "bpf_misc.h"
|
|
|
|
__noinline int foo(unsigned int *v)
|
|
{
|
|
if (v)
|
|
*v = bpf_get_prandom_u32();
|
|
|
|
return 0;
|
|
}
|
|
|
|
SEC("cgroup_skb/ingress")
|
|
__failure __msg("At program exit the register R0 has value")
|
|
int global_func15(struct __sk_buff *skb)
|
|
{
|
|
unsigned int v = 1;
|
|
|
|
foo(&v);
|
|
|
|
return v;
|
|
}
|