133 #define RUN(skel) run_tests_aux(#skel, skel##__elf_bytes, NULL)  macro
135 void test_verifier_and(void)                  { RUN(verifier_and); }  in test_verifier_and()
136 void test_verifier_arena(void)                { RUN(verifier_arena); }  in test_verifier_arena()
137 void test_verifier_arena_large(void)          { RUN(verifier_arena_large); }  in test_verifier_arena_large()
138 void test_verifier_basic_stack(void)          { RUN(verifier_basic_stack); }  in test_verifier_basic_stack()
139 void test_verifier_bitfield_write(void)       { RUN(verifier_bitfield_write); }  in test_verifier_bitfield_write()
140 void test_verifier_bounds(void)               { RUN(verifier_bounds); }  in test_verifier_bounds()
141 void test_verifier_bounds_deduction(void)     { RUN(verifier_bounds_deduction); }  in test_verifier_bounds_deduction()
142 void test_verifier_bounds_deduction_non_const(void)     { RUN(verifier_bounds_deduction_non_const);…  in test_verifier_bounds_deduction_non_const()
143 void test_verifier_bounds_mix_sign_unsign(void) { RUN(verifier_bounds_mix_sign_unsign); }  in test_verifier_bounds_mix_sign_unsign()
144 void test_verifier_bpf_get_stack(void)        { RUN(verifier_bpf_get_stack); }  in test_verifier_bpf_get_stack()
145 void test_verifier_bswap(void)                { RUN(verifier_bswap); }  in test_verifier_bswap()
146 void test_verifier_btf_ctx_access(void)       { RUN(verifier_btf_ctx_access); }  in test_verifier_btf_ctx_access()
147 void test_verifier_btf_unreliable_prog(void)  { RUN(verifier_btf_unreliable_prog); }  in test_verifier_btf_unreliable_prog()
148 void test_verifier_cfg(void)                  { RUN(verifier_cfg); }  in test_verifier_cfg()
149 void test_verifier_cgroup_inv_retcode(void)   { RUN(verifier_cgroup_inv_retcode); }  in test_verifier_cgroup_inv_retcode()
150 void test_verifier_cgroup_skb(void)           { RUN(verifier_cgroup_skb); }  in test_verifier_cgroup_skb()
151 void test_verifier_cgroup_storage(void)       { RUN(verifier_cgroup_storage); }  in test_verifier_cgroup_storage()
152 void test_verifier_const(void)                { RUN(verifier_const); }  in test_verifier_const()
153 void test_verifier_const_or(void)             { RUN(verifier_const_or); }  in test_verifier_const_or()
154 void test_verifier_ctx(void)                  { RUN(verifier_ctx); }  in test_verifier_ctx()
155 void test_verifier_ctx_sk_msg(void)           { RUN(verifier_ctx_sk_msg); }  in test_verifier_ctx_sk_msg()
156 void test_verifier_d_path(void)               { RUN(verifier_d_path); }  in test_verifier_d_path()
157 void test_verifier_direct_packet_access(void) { RUN(verifier_direct_packet_access); }  in test_verifier_direct_packet_access()
158 void test_verifier_direct_stack_access_wraparound(void) { RUN(verifier_direct_stack_access_wraparou…  in test_verifier_direct_stack_access_wraparound()
159 void test_verifier_div0(void)                 { RUN(verifier_div0); }  in test_verifier_div0()
160 void test_verifier_div_overflow(void)         { RUN(verifier_div_overflow); }  in test_verifier_div_overflow()
161 void test_verifier_global_subprogs(void)      { RUN(verifier_global_subprogs); }  in test_verifier_global_subprogs()
162 void test_verifier_global_ptr_args(void)      { RUN(verifier_global_ptr_args); }  in test_verifier_global_ptr_args()
163 void test_verifier_gotol(void)                { RUN(verifier_gotol); }  in test_verifier_gotol()
164 void test_verifier_helper_access_var_len(void) { RUN(verifier_helper_access_var_len); }  in test_verifier_helper_access_var_len()
165 void test_verifier_helper_packet_access(void) { RUN(verifier_helper_packet_access); }  in test_verifier_helper_packet_access()
166 void test_verifier_helper_restricted(void)    { RUN(verifier_helper_restricted); }  in test_verifier_helper_restricted()
167 void test_verifier_helper_value_access(void)  { RUN(verifier_helper_value_access); }  in test_verifier_helper_value_access()
168 void test_verifier_int_ptr(void)              { RUN(verifier_int_ptr); }  in test_verifier_int_ptr()
169 void test_verifier_iterating_callbacks(void)  { RUN(verifier_iterating_callbacks); }  in test_verifier_iterating_callbacks()
170 void test_verifier_jeq_infer_not_null(void)   { RUN(verifier_jeq_infer_not_null); }  in test_verifier_jeq_infer_not_null()
171 void test_verifier_jit_convergence(void)      { RUN(verifier_jit_convergence); }  in test_verifier_jit_convergence()
172 void test_verifier_ld_ind(void)               { RUN(verifier_ld_ind); }  in test_verifier_ld_ind()
173 void test_verifier_ldsx(void)                  { RUN(verifier_ldsx); }  in test_verifier_ldsx()
174 void test_verifier_leak_ptr(void)             { RUN(verifier_leak_ptr); }  in test_verifier_leak_ptr()
175 void test_verifier_linked_scalars(void)       { RUN(verifier_linked_scalars); }  in test_verifier_linked_scalars()
176 void test_verifier_loops1(void)               { RUN(verifier_loops1); }  in test_verifier_loops1()
177 void test_verifier_lwt(void)                  { RUN(verifier_lwt); }  in test_verifier_lwt()
178 void test_verifier_map_in_map(void)           { RUN(verifier_map_in_map); }  in test_verifier_map_in_map()
179 void test_verifier_map_ptr(void)              { RUN(verifier_map_ptr); }  in test_verifier_map_ptr()
180 void test_verifier_map_ptr_mixing(void)       { RUN(verifier_map_ptr_mixing); }  in test_verifier_map_ptr_mixing()
181 void test_verifier_map_ret_val(void)          { RUN(verifier_map_ret_val); }  in test_verifier_map_ret_val()
182 void test_verifier_masking(void)              { RUN(verifier_masking); }  in test_verifier_masking()
183 void test_verifier_meta_access(void)          { RUN(verifier_meta_access); }  in test_verifier_meta_access()
184 void test_verifier_movsx(void)                 { RUN(verifier_movsx); }  in test_verifier_movsx()
185 void test_verifier_netfilter_ctx(void)        { RUN(verifier_netfilter_ctx); }  in test_verifier_netfilter_ctx()
186 void test_verifier_netfilter_retcode(void)    { RUN(verifier_netfilter_retcode); }  in test_verifier_netfilter_retcode()
187 void test_verifier_bpf_fastcall(void)         { RUN(verifier_bpf_fastcall); }  in test_verifier_bpf_fastcall()
188 void test_verifier_or_jmp32_k(void)           { RUN(verifier_or_jmp32_k); }  in test_verifier_or_jmp32_k()
189 void test_verifier_precision(void)            { RUN(verifier_precision); }  in test_verifier_precision()
190 void test_verifier_prevent_map_lookup(void)   { RUN(verifier_prevent_map_lookup); }  in test_verifier_prevent_map_lookup()
191 void test_verifier_raw_stack(void)            { RUN(verifier_raw_stack); }  in test_verifier_raw_stack()
192 void test_verifier_raw_tp_writable(void)      { RUN(verifier_raw_tp_writable); }  in test_verifier_raw_tp_writable()
193 void test_verifier_reg_equal(void)            { RUN(verifier_reg_equal); }  in test_verifier_reg_equal()
194 void test_verifier_ref_tracking(void)         { RUN(verifier_ref_tracking); }  in test_verifier_ref_tracking()
195 void test_verifier_regalloc(void)             { RUN(verifier_regalloc); }  in test_verifier_regalloc()
196 void test_verifier_ringbuf(void)              { RUN(verifier_ringbuf); }  in test_verifier_ringbuf()
197 void test_verifier_runtime_jit(void)          { RUN(verifier_runtime_jit); }  in test_verifier_runtime_jit()
198 void test_verifier_scalar_ids(void)           { RUN(verifier_scalar_ids); }  in test_verifier_scalar_ids()
199 void test_verifier_sdiv(void)                 { RUN(verifier_sdiv); }  in test_verifier_sdiv()
200 void test_verifier_search_pruning(void)       { RUN(verifier_search_pruning); }  in test_verifier_search_pruning()
201 void test_verifier_sock(void)                 { RUN(verifier_sock); }  in test_verifier_sock()
202 void test_verifier_sock_addr(void)            { RUN(verifier_sock_addr); }  in test_verifier_sock_addr()
203 void test_verifier_sockmap_mutate(void)       { RUN(verifier_sockmap_mutate); }  in test_verifier_sockmap_mutate()
204 void test_verifier_spill_fill(void)           { RUN(verifier_spill_fill); }  in test_verifier_spill_fill()
205 void test_verifier_spin_lock(void)            { RUN(verifier_spin_lock); }  in test_verifier_spin_lock()
206 void test_verifier_stack_ptr(void)            { RUN(verifier_stack_ptr); }  in test_verifier_stack_ptr()
207 void test_verifier_subprog_precision(void)    { RUN(verifier_subprog_precision); }  in test_verifier_subprog_precision()
208 void test_verifier_subreg(void)               { RUN(verifier_subreg); }  in test_verifier_subreg()
209 void test_verifier_tailcall_jit(void)         { RUN(verifier_tailcall_jit); }  in test_verifier_tailcall_jit()
210 void test_verifier_typedef(void)              { RUN(verifier_typedef); }  in test_verifier_typedef()
211 void test_verifier_uninit(void)               { RUN(verifier_uninit); }  in test_verifier_uninit()
212 void test_verifier_unpriv(void)               { RUN(verifier_unpriv); }  in test_verifier_unpriv()
213 void test_verifier_unpriv_perf(void)          { RUN(verifier_unpriv_perf); }  in test_verifier_unpriv_perf()
214 void test_verifier_value_adj_spill(void)      { RUN(verifier_value_adj_spill); }  in test_verifier_value_adj_spill()
215 void test_verifier_value(void)                { RUN(verifier_value); }  in test_verifier_value()
216 void test_verifier_value_illegal_alu(void)    { RUN(verifier_value_illegal_alu); }  in test_verifier_value_illegal_alu()
217 void test_verifier_value_or_null(void)        { RUN(verifier_value_or_null); }  in test_verifier_value_or_null()
218 void test_verifier_var_off(void)              { RUN(verifier_var_off); }  in test_verifier_var_off()
219 void test_verifier_vfs_accept(void)	      { RUN(verifier_vfs_accept); }  in test_verifier_vfs_accept()
220 void test_verifier_vfs_reject(void)	      { RUN(verifier_vfs_reject); }  in test_verifier_vfs_reject()
221 void test_verifier_xadd(void)                 { RUN(verifier_xadd); }  in test_verifier_xadd()
222 void test_verifier_xdp(void)                  { RUN(verifier_xdp); }  in test_verifier_xdp()
223 void test_verifier_xdp_direct_packet_access(void) { RUN(verifier_xdp_direct_packet_access); }  in test_verifier_xdp_direct_packet_access()
224 void test_verifier_bits_iter(void) { RUN(verifier_bits_iter); }  in test_verifier_bits_iter()
225 void test_verifier_lsm(void)                  { RUN(verifier_lsm); }  in test_verifier_lsm()
239 	RUN(verifier_mtu);  in test_verifier_mtu()