23 CK(register_buf_comparison_links)
  24 CK(register_param_compare_limit)
  25 CK(register_param_compare_limit_links)
  26 CK(register_returns_early)
  27 
  28 CK(register_smatch_ignore)
  29 CK(register_buf_size)
  30 CK(register_strlen)
  31 CK(register_strlen_equiv)
  32 CK(register_capped)
  33 CK(register_parse_call_math)
  34 CK(register_param_limit)
  35 CK(register_param_filter)
  36 CK(register_param_set)
  37 CK(register_param_cleared)
  38 CK(register_struct_assignment)
  39 CK(register_comparison)
  40 CK(register_comparison_links)
  41 CK(register_comparison_inc_dec)
  42 CK(register_comparison_inc_dec_links)
  43 CK(register_local_values)
  44 CK(register_function_ptrs)
  45 CK(register_annotate)
  46 CK(register_start_states)
  47 CK(register_type_val)
  48 CK(register_data_source)
  49 CK(register_common_functions)
  50 CK(register_function_info)
  51 CK(register_auto_copy)
  52 CK(register_type_links)
  53 CK(register_impossible)
  54 CK(register_impossible_return)
  55 CK(register_strings)
  56 CK(register_integer_overflow)
  57 CK(register_integer_overflow_links)
  58 CK(register_real_absolute)
  59 CK(register_imaginary_absolute)
  60 CK(register_bits)
  61 CK(register_fn_arg_link)
  62 CK(register_parameter_names)
  63 CK(register_return_to_param)
  64 CK(register_return_to_param_links)
  65 CK(register_constraints)
  66 CK(register_constraints_required)
  67 CK(register_about_fn_ptr_arg)
  68 CK(register_mtag)
  69 CK(register_mtag_map)
  70 CK(register_mtag_data)
  71 CK(register_param_to_mtag_data)

 161 CK(check_signed_integer_overflow_check)
 162 CK(check_continue_vs_break)
 163 CK(check_impossible_mask)
 164 CK(check_syscall_arg_type)
 165 CK(check_trinity_generator)
 166 
 167 /* <- your test goes here */
 168 /* CK(register_template) */
 169 
 170 /* kernel specific */
 171 CK(check_kernel_printf)
 172 CK(check_locking)
 173 CK(check_puts_argument)
 174 CK(check_err_ptr)
 175 CK(check_err_ptr_deref)
 176 CK(check_expects_err_ptr)
 177 CK(check_held_dev)
 178 CK(check_return_negative_var)
 179 CK(check_rosenberg)
 180 CK(check_rosenberg2)

 181 CK(check_wait_for_common)
 182 CK(check_bogus_irqrestore)
 183 CK(check_zero_to_err_ptr)
 184 CK(check_freeing_devm)
 185 CK(check_off_by_one_relative)
 186 CK(check_capable)
 187 CK(check_ns_capable)
 188 CK(check_test_bit)
 189 CK(check_dma_mapping_error)
 190 CK(check_nospec)
 191 CK(check_nospec_barrier)
 192 CK(check_spectre)
 193 CK(check_spectre_second_half)
 194 CK(check_implicit_dependencies)
 195 
 196 /* wine specific stuff */
 197 CK(check_wine_filehandles)
 198 CK(check_wine_WtoA)
 199 


 200 /* illumos specific */
 201 CK(check_all_func_returns)
 202 CK(check_cmn_err)
 203 
 204 #include "check_list_local.h"
 205 
 206 CK(register_scope)
 207 CK(register_stored_conditions)
 208 CK(register_stored_conditions_links)
 209 CK(register_sval)
 210 CK(register_buf_size_late)
 211 CK(register_smatch_extra_late)
 212 CK(register_assigned_expr) /* This is used by smatch_extra.c so it has to come really late */
 213 CK(register_assigned_expr_links)
 214 CK(register_modification_hooks_late)  /* has to come after smatch_extra */
 215 CK(register_comparison_late) /* has to come after modification_hooks_late */
 216 CK(register_function_hooks)
 217 CK(check_kernel)  /* this is overwriting stuff from smatch_extra_late */
 218 CK(check_wine)
 219 CK(register_returns)

  23 CK(register_buf_comparison_links)
  24 CK(register_param_compare_limit)
  25 CK(register_param_compare_limit_links)
  26 CK(register_returns_early)
  27 
  28 CK(register_smatch_ignore)
  29 CK(register_buf_size)
  30 CK(register_strlen)
  31 CK(register_strlen_equiv)
  32 CK(register_capped)
  33 CK(register_parse_call_math)
  34 CK(register_param_limit)
  35 CK(register_param_filter)
  36 CK(register_param_set)
  37 CK(register_param_cleared)
  38 CK(register_struct_assignment)
  39 CK(register_comparison)
  40 CK(register_comparison_links)
  41 CK(register_comparison_inc_dec)
  42 CK(register_comparison_inc_dec_links)

  43 CK(register_function_ptrs)
  44 CK(register_annotate)
  45 CK(register_start_states)
  46 CK(register_type_val)
  47 CK(register_data_source)
  48 CK(register_common_functions)
  49 CK(register_function_info)

  50 CK(register_type_links)
  51 CK(register_impossible)
  52 CK(register_impossible_return)
  53 CK(register_strings)
  54 CK(register_integer_overflow)
  55 CK(register_integer_overflow_links)
  56 CK(register_real_absolute)
  57 CK(register_imaginary_absolute)
  58 CK(register_bits)
  59 CK(register_fn_arg_link)
  60 CK(register_parameter_names)
  61 CK(register_return_to_param)
  62 CK(register_return_to_param_links)
  63 CK(register_constraints)
  64 CK(register_constraints_required)
  65 CK(register_about_fn_ptr_arg)
  66 CK(register_mtag)
  67 CK(register_mtag_map)
  68 CK(register_mtag_data)
  69 CK(register_param_to_mtag_data)

 159 CK(check_signed_integer_overflow_check)
 160 CK(check_continue_vs_break)
 161 CK(check_impossible_mask)
 162 CK(check_syscall_arg_type)
 163 CK(check_trinity_generator)
 164 
 165 /* <- your test goes here */
 166 /* CK(register_template) */
 167 
 168 /* kernel specific */
 169 CK(check_kernel_printf)
 170 CK(check_locking)
 171 CK(check_puts_argument)
 172 CK(check_err_ptr)
 173 CK(check_err_ptr_deref)
 174 CK(check_expects_err_ptr)
 175 CK(check_held_dev)
 176 CK(check_return_negative_var)
 177 CK(check_rosenberg)
 178 CK(check_rosenberg2)
 179 CK(check_rosenberg3)
 180 CK(check_wait_for_common)
 181 CK(check_bogus_irqrestore)
 182 CK(check_zero_to_err_ptr)
 183 CK(check_freeing_devm)
 184 CK(check_off_by_one_relative)
 185 CK(check_capable)
 186 CK(check_ns_capable)
 187 CK(check_test_bit)
 188 CK(check_dma_mapping_error)
 189 CK(check_nospec)
 190 CK(check_nospec_barrier)
 191 CK(check_spectre)
 192 CK(check_spectre_second_half)
 193 CK(check_implicit_dependencies)
 194 
 195 /* wine specific stuff */
 196 CK(check_wine_filehandles)
 197 CK(check_wine_WtoA)
 198 
 199 CK(check_arm64_tagged)
 200 
 201 /* illumos specific */
 202 CK(check_all_func_returns)
 203 CK(check_cmn_err)
 204 
 205 #include "check_list_local.h"
 206 
 207 CK(register_scope)
 208 CK(register_stored_conditions)
 209 CK(register_stored_conditions_links)
 210 CK(register_sval)
 211 CK(register_buf_size_late)
 212 CK(register_smatch_extra_late)
 213 CK(register_assigned_expr) /* This is used by smatch_extra.c so it has to come really late */
 214 CK(register_assigned_expr_links)
 215 CK(register_modification_hooks_late)  /* has to come after smatch_extra */
 216 CK(register_comparison_late) /* has to come after modification_hooks_late */
 217 CK(register_function_hooks)
 218 CK(check_kernel)  /* this is overwriting stuff from smatch_extra_late */
 219 CK(check_wine)
 220 CK(register_returns)