unwind: add more unwind functions
[smatch.git] / check_list.h
blobc939916a7230afe0ca89fda52af58adf36d88706
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_project)
10 CK(register_smatch_ignore)
11 CK(register_buf_size)
12 CK(register_strlen)
14 CK(check_debug)
15 CK(check_assigned_expr)
17 CK(check_deref)
18 CK(check_check_deref)
19 CK(check_overflow)
20 CK(check_leaks)
21 CK(check_type)
22 CK(check_allocation_funcs)
23 CK(check_frees_argument)
24 CK(check_balanced)
25 CK(check_deref_check)
26 CK(check_redundant_null_check)
27 CK(check_signed)
28 CK(check_precedence)
29 CK(check_format_string)
30 CK(check_unused_ret)
31 CK(check_dma_on_stack)
32 CK(check_param_mapper)
33 CK(check_db_info)
34 CK(check_call_tree)
35 CK(check_dev_queue_xmit)
36 CK(check_stack)
37 CK(check_no_return)
38 CK(check_mod_timer)
39 CK(check_return)
40 CK(check_resource_size)
41 CK(check_release_resource)
42 CK(check_proc_create)
43 CK(check_freeing_null)
44 CK(check_free)
45 CK(check_no_effect)
46 CK(check_kunmap)
47 CK(check_snprintf)
48 CK(check_macros)
49 CK(check_propagate)
50 CK(check_return_efault)
51 CK(check_gfp_dma)
52 CK(check_unwind)
53 CK(check_kmalloc_to_bugon)
54 CK(check_platform_device_put)
55 CK(check_info_leak)
56 CK(check_return_enomem)
58 /* <- your test goes here */
59 /* CK(register_template) */
61 /* kernel specific */
62 CK(check_kernel)
63 CK(check_locking)
64 CK(check_puts_argument)
65 CK(check_err_ptr)
66 CK(check_err_ptr_deref)
67 CK(check_hold_dev)
69 /* wine specific stuff */
70 CK(check_wine_filehandles)
71 CK(check_wine_WtoA)
73 CK(register_implications) /* implications always has to be last */
75 #ifdef __undo_CK_def
76 #undef CK
77 #undef __undo_CK_def
78 #endif