flow: fix a debug statement
[smatch.git] / check_list.h
blob5a19e19a62792cd98945aed13ae11ceb78758093
1 #ifndef CK
2 #define CK(_x) void _x(int id);
3 #define __undo_CK_def
4 #endif
6 CK(register_smatch_extra) /* smatch_extra always has to be first */
7 CK(register_modification_hooks)
8 CK(register_definition_db_callbacks)
9 CK(register_project)
11 CK(register_smatch_ignore)
12 CK(register_buf_size)
13 CK(register_strlen)
14 CK(register_capped)
15 CK(register_parse_call_math)
16 CK(register_param_limit)
17 CK(register_param_filter)
18 CK(register_param_set)
19 CK(register_comparison)
20 CK(register_comparison_links)
21 CK(register_local_values)
22 CK(register_function_ptrs)
24 CK(check_debug)
25 CK(check_assigned_expr)
26 CK(check_user_data)
28 CK(check_bogus_loop)
30 CK(check_deref)
31 CK(check_check_deref)
32 CK(check_dereferences_param)
33 CK(check_overflow)
34 CK(check_leaks)
35 CK(check_type)
36 CK(check_allocation_funcs)
37 CK(check_frees_argument)
38 CK(check_balanced)
39 CK(check_deref_check)
40 CK(check_redundant_null_check)
41 CK(check_signed)
42 CK(check_precedence)
43 CK(check_format_string)
44 CK(check_unused_ret)
45 CK(check_dma_on_stack)
46 CK(check_param_mapper)
47 CK(check_db_info)
48 CK(check_call_tree)
49 CK(check_dev_queue_xmit)
50 CK(check_stack)
51 CK(check_no_return)
52 CK(check_mod_timer)
53 CK(check_return)
54 CK(check_resource_size)
55 CK(check_release_resource)
56 CK(check_proc_create)
57 CK(check_freeing_null)
58 CK(check_free)
59 CK(check_no_effect)
60 CK(check_kunmap)
61 CK(check_snprintf)
62 CK(check_macros)
63 CK(check_propagate)
64 CK(check_return_efault)
65 CK(check_gfp_dma)
66 CK(check_unwind)
67 CK(check_kmalloc_to_bugon)
68 CK(check_platform_device_put)
69 CK(check_info_leak)
70 CK(check_return_enomem)
71 CK(check_get_user_overflow)
72 CK(check_get_user_overflow2)
73 CK(check_access_ok_math)
74 CK(check_container_of)
75 CK(check_input_free_device)
76 CK(check_select)
77 CK(check_memset)
78 CK(check_logical_instead_of_bitwise)
79 CK(check_kmalloc_wrong_size)
80 CK(check_pointer_math)
81 CK(check_bit_shift)
82 CK(check_macro_side_effects)
83 CK(check_sizeof)
84 CK(check_or_vs_and)
85 CK(check_passes_sizeof)
86 CK(check_assign_vs_compare)
87 CK(check_missing_break)
88 CK(check_struct_type)
90 /* <- your test goes here */
91 /* CK(register_template) */
93 /* kernel specific */
94 CK(check_kernel)
95 CK(check_locking)
96 CK(check_puts_argument)
97 CK(check_err_ptr)
98 CK(check_err_ptr_deref)
99 CK(check_expects_err_ptr)
100 CK(check_hold_dev)
101 CK(check_return_negative_var)
102 CK(check_rosenberg)
103 CK(check_wait_for_common)
104 CK(check_bogus_irqrestore)
106 /* wine specific stuff */
107 CK(check_wine_filehandles)
108 CK(check_wine_WtoA)
110 #include "check_list_local.h"
112 CK(register_sval)
113 CK(register_buf_size_late)
114 CK(register_modification_hooks_late)
115 CK(register_smatch_extra_late)
116 CK(register_function_hooks)
117 CK(register_returns)
118 CK(register_db_call_marker) /* always second last */
119 CK(register_implications) /* implications always has to be last */
121 #ifdef __undo_CK_def
122 #undef CK
123 #undef __undo_CK_def
124 #endif