// SPDX-License-Identifier: GPL-2.0-only #include <stddef.h> #include <linux/bpf.h> #include <bpf/bpf_helpers.h> #include "bpf_misc.h" struct S { int x; }; struct C { int x; int y; }; struct { __uint(type, BPF_MAP_TYPE_ARRAY); __uint(max_entries, 1); __type(key, __u32); __type(value, struct S); } map SEC(".maps"); enum E { E_ITEM }; static int global_data_x = 100; static int volatile global_data_y = 500; __noinline int foo(const struct S *s) { if (s) return bpf_get_prandom_u32() < s->x; return 0; } __noinline int bar(int *x) { if (x) *x &= bpf_get_prandom_u32(); return 0; } __noinline int baz(volatile int *x) { if (x) *x &= bpf_get_prandom_u32(); return 0; } __noinline int qux(enum E *e) { if (e) return *e; return 0; } __noinline int quux(int (*arr)[10]) { if (arr) return (*arr)[9]; return 0; } __noinline int quuz(int **p) { if (p) *p = NULL; return 0; } SEC("cgroup_skb/ingress") __success int global_func9(struct __sk_buff *skb) { int result = 0; { const struct S s = {.x = skb->len }; result |= foo(&s); } { const __u32 key = 1; const struct S *s = bpf_map_lookup_elem(&map, &key); result |= foo(s); } { const struct C c = {.x = skb->len, .y = skb->family }; result |= foo((const struct S *)&c); } { result |= foo(NULL); } { bar(&result); bar(&global_data_x); } { result |= baz(&global_data_y); } { enum E e = E_ITEM; result |= qux(&e); } { int array[10] = {0}; result |= quux(&array); } { int *p; result |= quuz(&p); } return result ? 1 : 0; }