kernel: fix xfs false positives
[smatch.git] / check_list.h
blob6fcbb1df04c142d11f1e83c4b9753b8f891db6e2
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(check_debug)
12 CK(check_assigned_expr)
14 CK(check_null_deref)
15 CK(check_deref)
16 CK(check_overflow)
17 CK(register_check_overflow_again)
18 CK(check_memory)
19 CK(check_type)
20 CK(check_allocation_funcs)
21 CK(check_leaks)
22 CK(check_frees_argument)
23 CK(check_balanced)
24 CK(check_deref_check)
25 CK(check_redundant_null_check)
26 CK(check_signed)
27 CK(check_precedence)
28 CK(check_format_string)
29 CK(check_unused_ret)
30 CK(check_dma_on_stack)
31 CK(check_param_mapper)
32 CK(check_call_tree)
33 CK(check_dev_queue_xmit)
34 CK(check_stack)
36 /* <- your test goes here */
37 /* CK(register_template) */
39 /* kernel specific */
40 CK(check_locking)
41 CK(check_puts_argument)
42 CK(check_err_ptr)
43 CK(check_err_ptr_deref)
44 CK(check_hold_dev)
46 /* wine specific stuff */
47 CK(check_wine)
48 CK(check_wine_filehandles)
49 CK(check_wine_WtoA)
51 CK(register_implications) /* implications always has to be last */
53 #ifdef __undo_CK_def
54 #undef CK
55 #undef __undo_CK_def
56 #endif