1 // SPDX-License-Identifier: GPL-2.0-only 2 #include <stddef.h> 3 #include <linux/bpf.h> 4 #include <bpf/bpf_helpers.h> 5 #include "bpf_misc.h" 6 7 struct S { 8 int x; 9 }; 10 11 struct C { 12 int x; 13 int y; 14 }; 15 16 struct { 17 __uint(type, BPF_MAP_TYPE_ARRAY); 18 __uint(max_entries, 1); 19 __type(key, __u32); 20 __type(value, struct S); 21 } map SEC(".maps"); 22 23 enum E { 24 E_ITEM 25 }; 26 27 static int global_data_x = 100; 28 static int volatile global_data_y = 500; 29 foo(const struct S * s)30__noinline int foo(const struct S *s) 31 { 32 if (s) 33 return bpf_get_prandom_u32() < s->x; 34 35 return 0; 36 } 37 bar(int * x)38__noinline int bar(int *x) 39 { 40 if (x) 41 *x &= bpf_get_prandom_u32(); 42 43 return 0; 44 } baz(volatile int * x)45__noinline int baz(volatile int *x) 46 { 47 if (x) 48 *x &= bpf_get_prandom_u32(); 49 50 return 0; 51 } 52 qux(enum E * e)53__noinline int qux(enum E *e) 54 { 55 if (e) 56 return *e; 57 58 return 0; 59 } 60 quux(int (* arr)[10])61__noinline int quux(int (*arr)[10]) 62 { 63 if (arr) 64 return (*arr)[9]; 65 66 return 0; 67 } 68 quuz(int ** p)69__noinline int quuz(int **p) 70 { 71 if (p) 72 *p = NULL; 73 74 return 0; 75 } 76 77 SEC("cgroup_skb/ingress") 78 __success global_func9(struct __sk_buff * skb)79int global_func9(struct __sk_buff *skb) 80 { 81 int result = 0; 82 83 { 84 const struct S s = {.x = skb->len }; 85 86 result |= foo(&s); 87 } 88 89 { 90 const __u32 key = 1; 91 const struct S *s = bpf_map_lookup_elem(&map, &key); 92 93 result |= foo(s); 94 } 95 96 { 97 const struct C c = {.x = skb->len, .y = skb->family }; 98 99 result |= foo((const struct S *)&c); 100 } 101 102 { 103 result |= foo(NULL); 104 } 105 106 { 107 bar(&result); 108 bar(&global_data_x); 109 } 110 111 { 112 result |= baz(&global_data_y); 113 } 114 115 { 116 enum E e = E_ITEM; 117 118 result |= qux(&e); 119 } 120 121 { 122 int array[10] = {0}; 123 124 result |= quux(&array); 125 } 126 127 { 128 int *p; 129 130 result |= quuz(&p); 131 } 132 133 return result ? 1 : 0; 134 } 135