/Linux-v6.6/tools/testing/selftests/bpf/progs/ |
D | verifier_sdiv.c | 19 " ::: __clobber_all); in sdiv32_non_zero_imm_1() 31 " ::: __clobber_all); in sdiv32_non_zero_imm_2() 43 " ::: __clobber_all); in sdiv32_non_zero_imm_3() 55 " ::: __clobber_all); in sdiv32_non_zero_imm_4() 67 " ::: __clobber_all); in sdiv32_non_zero_imm_5() 79 " ::: __clobber_all); in sdiv32_non_zero_imm_6() 91 " ::: __clobber_all); in sdiv32_non_zero_imm_7() 103 " ::: __clobber_all); in sdiv32_non_zero_imm_8() 116 " ::: __clobber_all); in sdiv32_non_zero_reg_1() 129 " ::: __clobber_all); in sdiv32_non_zero_reg_2() [all …]
|
D | verifier_bounds_deduction_non_const.c | 25 : __clobber_all); in deducing_bounds_from_non_const_1() 46 : __clobber_all); in deducing_bounds_from_non_const_2() 68 : __clobber_all); in deducing_bounds_from_non_const_3() 90 : __clobber_all); in deducing_bounds_from_non_const_4() 111 : __clobber_all); in deducing_bounds_from_non_const_5() 132 : __clobber_all); in deducing_bounds_from_non_const_6() 154 : __clobber_all); in deducing_bounds_from_non_const_7() 176 : __clobber_all); in deducing_bounds_from_non_const_8() 195 : __clobber_all); in deducing_bounds_from_non_const_9() 216 : __clobber_all); in deducing_bounds_from_non_const_10() [all …]
|
D | verifier_subreg.c | 35 : __clobber_all); in add32_reg_zero_extend_check() 65 : __clobber_all); in add32_imm_zero_extend_check() 82 : __clobber_all); in sub32_reg_zero_extend_check() 106 : __clobber_all); in sub32_imm_zero_extend_check() 123 : __clobber_all); in mul32_reg_zero_extend_check() 147 : __clobber_all); in mul32_imm_zero_extend_check() 164 : __clobber_all); in div32_reg_zero_extend_check() 188 : __clobber_all); in div32_imm_zero_extend_check() 205 : __clobber_all); in or32_reg_zero_extend_check() 229 : __clobber_all); in or32_imm_zero_extend_check() [all …]
|
D | verifier_unpriv.c | 77 : __clobber_all); in dummy_prog_loop1_socket() 89 " ::: __clobber_all); in __retval() 101 " ::: __clobber_all); in unpriv_add_const_to_pointer() 114 " ::: __clobber_all); in unpriv_add_pointer_to_pointer() 127 " ::: __clobber_all); in unpriv_neg_pointer() 140 " ::: __clobber_all); in unpriv_cmp_pointer_with_const() 153 " ::: __clobber_all); in unpriv_cmp_pointer_with_pointer() 173 : __clobber_all); in check_that_printk_is_disallowed() 196 : __clobber_all); in pass_pointer_to_helper_function() 217 : __clobber_all); in on_stack_to_helper_function() [all …]
|
D | verifier_value_ptr_arith.c | 77 : __clobber_all); in value_ptr_unknown_vs_const() 115 : __clobber_all); in value_ptr_const_vs_unknown() 151 : __clobber_all); in ptr_const_vs_const_ne() 185 : __clobber_all); in ptr_const_vs_const_eq() 223 : __clobber_all); in ptr_unknown_vs_unknown_eq() 263 : __clobber_all); in ptr_unknown_vs_unknown_lt() 303 : __clobber_all); in ptr_unknown_vs_unknown_gt() 333 : __clobber_all); in value_ptr_from_different_maps() 366 : __clobber_all); in known_scalar_from_different_maps() 396 : __clobber_all); in maps_but_same_value_properties() [all …]
|
D | verifier_stack_ptr.c | 35 " ::: __clobber_all); in ptr_to_stack_store_load() 51 " ::: __clobber_all); in load_bad_alignment_on_off() 67 " ::: __clobber_all); in load_bad_alignment_on_reg() 83 " ::: __clobber_all); in load_out_of_bounds_low() 99 " ::: __clobber_all); in load_out_of_bounds_high() 114 " ::: __clobber_all); in to_stack_check_high_1() 128 " ::: __clobber_all); in to_stack_check_high_2() 145 " ::: __clobber_all); in to_stack_check_high_3() 161 " ::: __clobber_all); in to_stack_check_high_4() 179 : __clobber_all); in to_stack_check_high_5() [all …]
|
D | verifier_loops1.c | 18 " ::: __clobber_all); in bounded_loop_count_to_4() 31 " ::: __clobber_all); in bounded_loop_count_to_20() 47 : __clobber_all); in from_positive_unknown_to_4() 62 : __clobber_all); in from_totally_unknown_to_4() 75 " ::: __clobber_all); in count_to_4_with_equality() 89 " ::: __clobber_all); in loop_start_in_the_middle() 103 " ::: __clobber_all); in loop_containing_a_forward_jump() 120 : __clobber_all); in jumps_out_rather_than_in() 134 " ::: __clobber_all); in loop_after_a_conditional_jump() 146 " ::: __clobber_all); in bounded_recursion() [all …]
|
D | verifier_bounds.c | 43 : __clobber_all); in bounds_map_value_variant_1() 74 : __clobber_all); in bounds_map_value_variant_2() 107 : __clobber_all); in subtraction_on_pointers_for_unpriv() 137 : __clobber_all); in based_on_zero_extended_mov() 168 : __clobber_all); in on_sign_extended_mov_test1() 199 : __clobber_all); in on_sign_extended_mov_test2() 228 : __clobber_all); in var_off_insn_off_test1() 258 : __clobber_all); in var_off_insn_off_test2() 297 : __clobber_all); in of_non_boundary_crossing_range() 339 : __clobber_all); in of_boundary_crossing_range_1() [all …]
|
D | verifier_ref_tracking.c | 107 : __clobber_all); in dummy_prog_loop1_tc() 122 : __clobber_all); in reference_tracking_leak_potential_reference() 137 : __clobber_all); in potential_reference_to_sock_common_1() 155 : __clobber_all); in leak_potential_reference_on_stack() 175 : __clobber_all); in potential_reference_on_stack_2() 190 : __clobber_all); in reference_tracking_zero_potential_reference() 205 : __clobber_all); in potential_reference_to_sock_common_2() 222 : __clobber_all); in copy_and_zero_potential_references() 242 : __clobber_all); in acquire_release_user_key_reference() 261 : __clobber_all); in acquire_release_system_key_reference() [all …]
|
D | verifier_helper_access_var_len.c | 63 : __clobber_all); in bitwise_and_jmp_correct_bounds() 98 : __clobber_all); in stack_bitwise_and_zero_included() 121 : __clobber_all); in bitwise_and_jmp_wrong_max() 153 : __clobber_all); in memory_stack_jmp_correct_bounds() 185 : __clobber_all); in stack_jmp_signed_correct_bounds() 209 : __clobber_all); in memory_stack_jmp_bounds_offset() 232 : __clobber_all); in memory_stack_jmp_wrong_max() 256 : __clobber_all); in stack_jmp_no_max_check() 292 : __clobber_all); in stack_jmp_no_min_check() 313 : __clobber_all); in jmp_signed_no_min_check() [all …]
|
D | verifier_xdp_direct_packet_access.c | 26 : __clobber_all); in end_mangling_bad_access_1() 47 : __clobber_all); in end_mangling_bad_access_2() 67 : __clobber_all); in __flag() 88 : __clobber_all); in __flag() 109 : __clobber_all); in __flag() 129 : __clobber_all); in __flag() 150 : __clobber_all); in __flag() 171 : __clobber_all); in __flag() 193 : __clobber_all); in __flag() 214 : __clobber_all); in __flag() [all …]
|
D | verifier_helper_value_access.c | 64 : __clobber_all); in access_to_map_full_range() 89 : __clobber_all); in access_to_map_partial_range() 113 : __clobber_all); in access_to_map_empty_range() 139 : __clobber_all); in map_out_of_bound_range() 164 : __clobber_all); in access_to_map_negative_range() 192 : __clobber_all); in via_const_imm_full_range() 219 : __clobber_all); in via_const_imm_partial_range() 245 : __clobber_all); in via_const_imm_empty_range() 273 : __clobber_all); in imm_out_of_bound_range() 300 : __clobber_all); in const_imm_negative_range_adjustment_1() [all …]
|
D | verifier_masking.c | 25 : __clobber_all); in test_out_of_bounds_1() 45 : __clobber_all); in test_out_of_bounds_2() 65 : __clobber_all); in test_out_of_bounds_3() 85 : __clobber_all); in test_out_of_bounds_4() 105 : __clobber_all); in test_out_of_bounds_5() 125 : __clobber_all); in test_out_of_bounds_6() 145 : __clobber_all); in test_out_of_bounds_7() 165 : __clobber_all); in test_out_of_bounds_8() 185 : __clobber_all); in test_out_of_bounds_9() 205 : __clobber_all); in test_out_of_bounds_10() [all …]
|
D | verifier_div0.c | 19 " ::: __clobber_all); in by_0_zero_check_1_1() 33 " ::: __clobber_all); in by_0_zero_check_2_1() 47 " ::: __clobber_all); in div64_by_0_zero_check() 61 " ::: __clobber_all); in by_0_zero_check_1_2() 75 " ::: __clobber_all); in by_0_zero_check_2_2() 89 " ::: __clobber_all); in mod64_by_0_zero_check() 104 " ::: __clobber_all); in _0_zero_check_ok_cls_1() 117 " ::: __clobber_all); in _0_zero_check_1_cls_1() 130 " ::: __clobber_all); in _0_zero_check_2_cls_1() 143 " ::: __clobber_all); in by_0_zero_check_cls() [all …]
|
D | verifier_direct_packet_access.c | 21 : __clobber_all); in __retval() 41 : __clobber_all); in direct_packet_access_test1() 76 : __clobber_all); in direct_packet_access_test2() 91 : __clobber_all); in direct_packet_access_test3() 111 : __clobber_all); in direct_packet_access_test4_write() 133 : __clobber_all); in pkt_end_reg_good_access() 155 : __clobber_all); in pkt_end_reg_bad_access() 178 : __clobber_all); in pkt_end_reg_both_accesses() 202 : __clobber_all); in test8_double_test_variant_1() 226 : __clobber_all); in test9_double_test_variant_2() [all …]
|
D | verifier_sock.c | 66 : __clobber_all); in skb_sk_no_null_check() 85 : __clobber_all); in sk_family_non_fullsock_field_1() 105 : __clobber_all); in sk_sk_type_fullsock_field_1() 122 : __clobber_all); in sk_no_skb_sk_check_1() 144 : __clobber_all); in no_null_check_on_ret_1() 168 : __clobber_all); in sk_sk_type_fullsock_field_2() 191 : __clobber_all); in sk_family_non_fullsock_field_2() 215 : __clobber_all); in sk_sk_state_narrow_load() 239 : __clobber_all); in port_word_load_backward_compatibility() 263 : __clobber_all); in sk_dst_port_half_load() [all …]
|
D | verifier_raw_stack.c | 22 " ::: __clobber_all); in stack_no_skb_load_bytes() 41 : __clobber_all); in skb_load_bytes_negative_len() 61 : __clobber_all); in load_bytes_negative_len_2() 80 : __clobber_all); in skb_load_bytes_zero_len() 99 : __clobber_all); in skb_load_bytes_no_init() 120 : __clobber_all); in stack_skb_load_bytes_init() 147 : __clobber_all); in bytes_spilled_regs_around_bounds() 170 : __clobber_all); in __flag() 203 : __clobber_all); in __flag() 233 : __clobber_all); in load_bytes_spilled_regs_data() [all …]
|
D | verifier_ctx.c | 19 : __clobber_all); in context_stores_via_bpf_atomic() 35 : __clobber_all); in make_ptr_to_ctx_unusable() 50 : __clobber_all); in unmodified_ctx_pointer_to_helper() 66 : __clobber_all); in ctx_pointer_to_helper_1() 82 : __clobber_all); in ctx_pointer_to_helper_2() 100 : __clobber_all); in ctx_pointer_to_helper_3() 114 : __clobber_all); in or_null_check_1_ctx() 129 : __clobber_all); in or_null_check_2_null() 144 : __clobber_all); in or_null_check_3_1() 159 : __clobber_all); in null_check_4_ctx_const() [all …]
|
D | verifier_spill_fill.c | 28 " ::: __clobber_all); in __retval() 44 : __clobber_all); in valid_spill_fill_skb_mark() 81 : __clobber_all); in spill_fill_ptr_to_mem() 117 : __clobber_all); in with_invalid_reg_offset_0() 140 " ::: __clobber_all); in __flag() 155 " ::: __clobber_all); in __retval() 170 " ::: __clobber_all); in __retval() 196 : __clobber_all); in scalar_offset_to_skb_data_1() 214 " ::: __clobber_all); in uninit_u32_from_the_stack() 240 : __clobber_all); in u16_offset_to_skb_data() [all …]
|
D | verifier_scalar_ids.c | 37 : __clobber_all); in __flag() 75 : __clobber_all); in __flag() 112 : __clobber_all); in __flag() 158 : __clobber_all); in __flag() 212 : __clobber_all); in __flag() 226 ::: __clobber_all); in precision_many_frames__foo() 242 ::: __clobber_all); in precision_many_frames__bar() 274 : __clobber_all); in __flag() 293 ::: __clobber_all); in precision_stack__foo() 341 : __clobber_all); in __flag() [all …]
|
D | verifier_bounds_mix_sign_unsign.c | 44 : __clobber_all); in signed_and_unsigned_positive_bounds() 76 : __clobber_all); in checks_mixing_signed_and_unsigned() 110 : __clobber_all); in signed_and_unsigned_variant_2() 143 : __clobber_all); in signed_and_unsigned_variant_3() 174 : __clobber_all); in signed_and_unsigned_variant_4() 207 : __clobber_all); in signed_and_unsigned_variant_5() 238 : __clobber_all); in signed_and_unsigned_variant_6() 270 : __clobber_all); in signed_and_unsigned_variant_7() 304 : __clobber_all); in signed_and_unsigned_variant_8() 337 : __clobber_all); in signed_and_unsigned_variant_9() [all …]
|
D | verifier_movsx.c | 19 " ::: __clobber_all); in mov32sx_s8() 31 " ::: __clobber_all); in mov32sx_s16() 43 " ::: __clobber_all); in mov64sx_s8() 55 " ::: __clobber_all); in mov64sx_s16() 68 " ::: __clobber_all); in mov64sx_s32() 90 : __clobber_all); in mov32sx_s8_range() 112 : __clobber_all); in mov32sx_s16_range() 133 : __clobber_all); in mov32sx_s16_range_2() 155 : __clobber_all); in mov64sx_s8_range() 177 : __clobber_all); in mov64sx_s16_range() [all …]
|
D | verifier_helper_packet_access.c | 37 : __clobber_all); in test1_valid_packet_ptr_range() 55 : __clobber_all); in packet_test2_unchecked_packet_ptr() 85 : __clobber_all); in to_packet_test3_variable_add() 110 : __clobber_all); in packet_ptr_with_bad_range_1() 134 : __clobber_all); in ptr_with_too_short_range_1() 159 : __clobber_all); in cls_valid_packet_ptr_range() 177 : __clobber_all); in test7_cls_unchecked_packet_ptr() 207 : __clobber_all); in packet_test8_cls_variable_add() 232 : __clobber_all); in packet_ptr_with_bad_range_2() 256 : __clobber_all); in ptr_with_too_short_range_2() [all …]
|
D | verifier_ctx_sk_msg.c | 18 : __clobber_all); in access_family_in_sk_msg() 31 : __clobber_all); in remote_ip4_in_sk_msg() 44 : __clobber_all); in local_ip4_in_sk_msg() 57 : __clobber_all); in remote_port_in_sk_msg() 70 : __clobber_all); in local_port_in_sk_msg() 89 : __clobber_all); in remote_ip6_in_sk_msg() 108 : __clobber_all); in local_ip6_in_sk_msg() 121 : __clobber_all); in access_size_in_sk_msg() 135 : __clobber_all); in __flag() 148 : __clobber_all); in past_end_of_sk_msg() [all …]
|
D | verifier_var_off.c | 32 " ::: __clobber_all); in variable_offset_ctx_access() 59 " ::: __clobber_all); in stack_read_priv_vs_unpriv() 81 " ::: __clobber_all); in variable_offset_stack_read_uninitialized() 115 " ::: __clobber_all); in stack_write_priv_vs_unpriv() 162 : __clobber_all); in stack_write_clobbers_spilled_regs() 195 : __clobber_all); in variable_offset_stack_access_unbounded() 224 : __clobber_all); in access_max_out_of_bound() 253 : __clobber_all); in access_min_out_of_bound() 282 : __clobber_all); in access_min_off_min_initialized() 315 : __clobber_all); in stack_access_priv_vs_unpriv() [all …]
|