double_checking: avoid more false positives
[smatch.git] / smatch_data / 
treea5a8deca8604bf6132c7496e15caab5dcb8fa5f1
drwxr-xr-x   ..
drwxr-xr-x - db
-rw-r--r-- 23756 kernel.allocation_funcs
-rw-r--r-- 0 kernel.allocation_funcs.remove
-rw-r--r-- 14825 kernel.allocation_funcs_gfp
-rw-r--r-- 146 kernel.balanced_funcs
-rw-r--r-- 103092 kernel.bit_shifters
-rw-r--r-- 230 kernel.bit_shifters.remove
-rw-r--r-- 159 kernel.clears_argument
-rw-r--r-- 972 kernel.common_functions
-rw-r--r-- 765 kernel.dev_queue_xmit
-rw-r--r-- 809 kernel.dma_funcs
-rw-r--r-- 1308 kernel.expects_err_ptr
-rw-r--r-- 10619 kernel.frees_argument
-rw-r--r-- 82 kernel.frees_argument.remove
-rw-r--r-- 4851 kernel.gfp_flags
-rw-r--r-- 86 kernel.ignore_macro_indenting
-rw-r--r-- 930 kernel.ignore_side_effects
-rw-r--r-- 304 kernel.ignored_macros
-rw-r--r-- 3604 kernel.ioctls
-rw-r--r-- 73 kernel.macro_takes_sizeof_argument
-rw-r--r-- 47 kernel.must_check_funcs
-rw-r--r-- 97 kernel.no_inline_functions
-rw-r--r-- 1849 kernel.no_return_funcs
-rw-r--r-- 9 kernel.no_return_funcs.remove
-rw-r--r-- 560 kernel.parameter_implications.add
-rw-r--r-- 269 kernel.puts_argument
-rw-r--r-- 29413 kernel.returns_err_ptr
-rw-r--r-- 45 kernel.returns_err_ptr.remove
-rw-r--r-- 430 kernel.returns_held_funcs
-rw-r--r-- 1575 kernel.rosenberg_funcs
-rw-r--r-- 267 kernel.silenced_functions
-rw-r--r-- 9892 kernel.sizeof_param
-rw-r--r-- 154 kernel.sizeof_param.remove
-rw-r--r-- 157 kernel.unconstant_macros
-rw-r--r-- 514 kernel.unreachable.ignore
-rw-r--r-- 22 kernel.unreachable.turn_off
-rw-r--r-- 10205 kernel.unwind_functions
-rw-r--r-- 41 no_return_funcs
-rw-r--r-- 82 no_return_funcs.remove
-rw-r--r-- 230 wine.no_return_funcs